Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum.

Ana Paula Maldonado Luís Monteiro Markus Roggenbach

Published in: WADT (2010)

Keyphrases

epistemic logic
temporal logic
worst case
logic programming
model checking
database
information systems
formal semantics
logical framework
temporal reasoning
semantic representation
logical language
proof theory
temporal relations
frequency domain
domain knowledge
video sequences
neural network