Cut-free sequent systems for temporal logic.

Kai Brünnler Martin Lange

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

temporal logic
modal logic
model checking
reactive systems
dynamic constraints
satisfiability problem
concurrent systems
complex systems
model checker
distributed systems
verification method
expert systems
integrity constraints
artificial intelligence
inference rules
reverse engineering
temporal knowledge