Canonical Extensions and Kripke-Galois Semantics for Non-distributive Logics.
Chrysafis HartonasPublished in: Logica Universalis (2018)
Keyphrases
- modal logic
- kripke models
- default logic
- nonmonotonic logics
- epistemic logic
- inference rules
- conditional logic
- default theories
- propositional dynamic logic
- autoepistemic logic
- grounded semantics
- valued semantics
- proof theory
- argumentation semantics
- knowledge representation formalisms
- temporal logic
- default reasoning
- model checking
- logic programming
- nonmonotonic reasoning
- classical logic
- higher order logic
- logical framework
- dynamic logic
- proof theoretic
- proof procedures
- modal operators
- general theory
- multi agent
- decision procedures
- desirable properties
- expressive power
- formal concepts
- argumentation frameworks
- formal semantics
- formal concept analysis
- situation calculus
- distributive lattices
- knowledge representation
- aggregate functions
- intuitionistic logic
- belief revision
- conceptual model