Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction.
Benjamin G. RinSean WalshPublished in: Rev. Symb. Log. (2016)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- modal operators
- kripke models
- dynamic logic
- inference rules
- autoepistemic logic
- temporal logic
- decision procedures
- description logic alc
- situation calculus
- classical logic
- default logic
- model theoretic
- sequent calculus
- expert systems
- default theories
- action theories
- semantic information
- higher order