Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.

Dov M. Gabbay Valentin B. Shehtman

Published in: Stud Logica (2002)

Keyphrases

modal logic
temporal logic
model checking
inference rules
decision procedures
epistemic logic
classical logic
nonmonotonic logics
default logic
satisfiability problem
linear temporal logic
sequent calculus
autoepistemic logic
mazurkiewicz traces
expert systems
concurrent systems
constraint satisfaction problems