Algebraic semantics for modal and superintuitionistic non-monotonic logics.
David PearceLevan UridiaPublished in: J. Appl. Non Class. Logics (2013)
Keyphrases
- nonmonotonic logics
- modal logic
- kripke models
- conditional logic
- epistemic logic
- modal operators
- proof theory
- logic programming
- propositional variables
- proof theoretic
- dynamic logic
- nonmonotonic reasoning
- propositional dynamic logic
- propositional logic
- algebraic structure
- temporal logic
- default logic
- inference rules
- default theories
- autoepistemic logic
- tableau calculus
- formal semantics
- default reasoning
- valued semantics
- knowledge representation
- higher order logic
- defeasible logic
- predicate logic
- operational semantics
- database
- classical logic
- belief revision
- expressive power
- semantic information
- knowledge base
- databases