A judgmental reconstruction of modal logic.
Frank PfenningRowan DaviesPublished in: Math. Struct. Comput. Sci. (2001)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- epistemic logic
- image reconstruction
- classical logic
- conditional logic
- reconstruction process
- situation calculus
- three dimensional
- default logic
- dynamic logic
- discrete tomography
- prime implicates
- modal operators
- cooperative
- reconstruction method
- database design
- higher order
- object oriented
- high resolution
- sequent calculus
- explanation based generalization