Basic modal congruent and monotonic multilattice logics.
Oleg GrigorievYaroslav I. PetrukhinPublished in: J. Log. Comput. (2023)
Keyphrases
- modal logic
- nonmonotonic logics
- decision procedures
- temporal logic
- inference rules
- classical logic
- epistemic logic
- kripke models
- propositional variables
- conditional logic
- expressive power
- propositional logic
- modal operators
- default logic
- situation calculus
- propositional calculus
- model checking
- fuzzy logic
- intuitionistic logic
- coalition logic
- artificial intelligence
- database
- higher order
- pairwise
- decision making
- information systems
- inheritance reasoning