A Note on Relativised Products of Modal Logics.

Ágnes Kurucz Michael Zakharyaschev

Published in: Advances in Modal Logic (2002)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
nonmonotonic logics
epistemic logic
dynamic logic
situation calculus
conditional logic
autoepistemic logic
default logic
model checking
logical framework