Alternative Semantics for Visser's Propositional Logics.
Katsuhiko SanoMinghui MaPublished in: TbiLLC (2013)
Keyphrases
- nonmonotonic logics
- propositional logic
- default logic
- autoepistemic logic
- conditional logic
- propositional dynamic logic
- logic programming
- modal logic
- epistemic logic
- proof procedures
- coalition logic
- proof theory
- logical framework
- belief revision
- valued semantics
- proof procedure
- sound and complete axiomatization
- first order logic
- classical first order logic
- default theories
- default reasoning
- nonmonotonic reasoning
- model theoretic
- proof theoretic
- classical logic
- propositional variables
- valued logic
- epistemic states
- strong equivalence
- higher order logic
- expressive power
- formal semantics
- knowledge representation formalisms
- truth maintenance systems
- logical theories
- intuitionistic logic
- operational semantics
- description logics
- multi valued
- temporal logic