The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic.
Meiying SunShaobo DengYuefei SuiPublished in: Intelligent Information Processing (2014)
Keyphrases
- modal logic
- propositional logic
- classical logic
- prime implicates
- temporal logic
- belief revision
- inference rules
- first order logic
- possibilistic logic
- quantified boolean formulae
- decision procedures
- nonmonotonic logics
- autoepistemic logic
- situation calculus
- default logic
- satisfiability testing
- proof procedure
- theorem proving
- dynamic logic
- strong equivalence
- model checking
- horn logic
- propositional satisfiability
- propositional formulas
- minimal models
- satisfiability problem
- incomplete information
- domain knowledge
- knowledge base