An application of Rieger-Nishimura formulas to the intuitionistic modal logics.
Dimiter VakarelovPublished in: Stud Logica (1985)
Keyphrases
- modal logic
- classical logic
- modal operators
- decision procedures
- temporal logic
- inference rules
- theorem prover
- epistemic logic
- fuzzy set theory
- nonmonotonic logics
- natural deduction
- autoepistemic logic
- situation calculus
- interval valued
- default logic
- fuzzy information
- action theories
- linear logic
- horn clauses
- automated reasoning
- bayesian networks
- fuzzy numbers