Products of modal logics. Part 2: Relativised quantifiers in classical logic.

Dov M. Gabbay Valentin B. Shehtman

Published in: Log. J. IGPL (2000)

Keyphrases

classical logic
modal logic
inference rules
decision procedures
temporal logic
epistemic logic
nonmonotonic logics
default logic
natural language
autoepistemic logic
valued logic
intuitionistic logic
situation calculus
default theories
first order logic
multi agent systems
multi agent