Algebraic Kripke-Style Semantics for Relevance Logics.
Eunsuk YangPublished in: J. Philos. Log. (2014)
Keyphrases
- modal logic
- kripke models
- nonmonotonic logics
- epistemic logic
- conditional logic
- inference rules
- propositional dynamic logic
- proof theory
- modal operators
- temporal logic
- model checking
- algebraic structure
- decision procedures
- autoepistemic logic
- default logic
- proof theoretic
- valued semantics
- dynamic logic
- higher order logic
- proof procedures
- expressive power
- classical logic
- intuitionistic logic
- logical framework
- semantic information
- formal semantics
- relevance feedback
- computational properties
- mathematical theory
- grounded semantics
- desirable properties
- belief revision
- action theories
- propositional logic
- default reasoning
- situation calculus
- model theoretic
- database
- default theories
- information retrieval