(Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics.
Eunsuk YangPublished in: Log. J. IGPL (2012)
Keyphrases
- nonmonotonic logics
- modal logic
- inference rules
- epistemic logic
- valued semantics
- kripke models
- proof procedures
- temporal logic
- decision procedures
- conditional logic
- default logic
- model checking
- logical framework
- propositional logic
- propositional dynamic logic
- modal operators
- proof theory
- consistent query answering
- real valued data
- classical logic
- real valued
- dynamic logic
- situation calculus
- semantic information
- boolean functions
- higher order logic
- knowledge representation formalisms
- star shaped
- first order logic
- model theoretic
- default theories