Modal Metatheory for Quantified Modal Logic, With and Without the Barcan Formulas.
Andrew Joseph McCarthyPublished in: Notre Dame J. Formal Log. (2021)
Keyphrases
- modal logic
- modal operators
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- classical logic
- epistemic logic
- knowledge base
- explanation based generalization
- dynamic logic
- horn clauses
- autoepistemic logic
- kripke models
- sequent calculus
- prime implicates
- situation calculus
- model checking
- probability distribution