Categorical and algebraic aspects of the intuitionistic modal logic IEL - and its predicate extensions.
Daniel RogozinPublished in: J. Log. Comput. (2021)
Keyphrases
- modal logic
- classical logic
- default logic
- temporal logic
- decision procedures
- inference rules
- default theories
- epistemic logic
- conditional logic
- nonmonotonic logics
- dynamic logic
- situation calculus
- first order logic
- theorem prover
- default reasoning
- horn clauses
- categorical data
- modal operators
- logical framework
- nonmonotonic reasoning
- artificial intelligence
- desirable properties
- real valued
- attribute values
- higher order
- knowledge representation