On the Weak Adequacy of Branching-Time Remporal Logic.

Philippe Schnoebelen Sophie Pinchinat

Published in: ESOP (1990)

Keyphrases

epistemic logic
modal logic
temporal logic
model checking
classical logic
multi valued
temporal reasoning
databases
logic programming
logical framework
digital circuits
delay insensitive
linear temporal logic
database systems
automated reasoning
knowledge base
machine learning
database
deontic logic