Keyphrases
- modal logic
- epistemic logic
- modal operators
- temporal logic
- inference rules
- decision procedures
- kripke models
- classical logic
- conditional logic
- nonmonotonic logics
- three dimensional
- image reconstruction
- default logic
- prime implicates
- multi agent systems
- reconstruction method
- logical framework
- reconstruction process
- situation calculus
- high resolution
- discrete tomography
- explanation based generalization