A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4.
Yosuke FukudaAkira YoshimizuPublished in: FSCD (2019)
Keyphrases
- modal logic
- classical logic
- inference rules
- dynamic logic
- temporal logic
- decision procedures
- logical framework
- situation calculus
- theorem prover
- epistemic logic
- nonmonotonic logics
- conditional logic
- three dimensional
- default logic
- image reconstruction
- fuzzy set theory
- explanation based generalization
- reconstruction method
- fuzzy numbers
- high resolution
- autoepistemic logic
- linear logic
- higher order
- natural deduction