An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.
Nobu-Yuki SuzukiPublished in: Stud Logica (1989)
Keyphrases
- modal logic
- classical logic
- inference rules
- temporal logic
- decision procedures
- epistemic logic
- nonmonotonic logics
- theorem prover
- linear logic
- first order logic
- natural deduction
- default logic
- fuzzy set theory
- model checking
- modal operators
- autoepistemic logic
- conditional logic
- situation calculus
- interval valued
- logical framework
- fuzzy numbers
- dynamic logic
- algebraic operations