A complete deductive-system for since-until branching-time logic.

Alberto Zanardo

Published in: J. Philos. Log. (1991)

Keyphrases

epistemic logic
deductive reasoning
temporal reasoning
database
temporal logic
modal logic
classical logic
knowledge representation
model checking
propositional variables
databases
multi agent systems
logical framework
multi faceted
functional programs