Modal and temporal extensions of non-distributive propositional logics.
Chrysafis HartonasPublished in: Log. J. IGPL (2016)
Keyphrases
- default logic
- modal logic
- nonmonotonic logics
- default theories
- propositional variables
- propositional logic
- autoepistemic logic
- default reasoning
- nonmonotonic reasoning
- knowledge representation formalisms
- logic programming
- temporal information
- coalition logic
- truth maintenance systems
- classical logic
- spatial and temporal
- expressive power
- decision procedures
- temporal databases
- inference rules
- spatio temporal
- cl pc
- temporal constraints
- temporal evolution
- temporal patterns
- temporal dimension
- classical first order logic
- epistemic logic
- fixed point
- temporal logic
- dynamic logic
- linearly ordered
- kripke models
- minimal models
- conditional logic
- temporal relations
- multi valued
- temporal data
- temporal reasoning
- space time