On polynomial semantics for propositional logics.
Juan Carlos Agudelo AgudeloCarlos A. Agudelo-GonzálezOscar E. García-QuinteroPublished in: J. Appl. Non Class. Logics (2016)
Keyphrases
- nonmonotonic logics
- default logic
- autoepistemic logic
- propositional dynamic logic
- propositional logic
- logic programming
- proof theory
- valued semantics
- disjunctive logic programming
- conditional logic
- epistemic logic
- polynomial hierarchy
- propositional variables
- sound and complete axiomatization
- proof procedures
- valued logic
- proof procedure
- classical logic
- classical first order logic
- first order logic
- modal logic
- expressive power
- proof theoretic
- default reasoning
- nonmonotonic reasoning
- computational properties
- probabilistic logic
- default theories
- truth maintenance systems
- formal semantics
- higher order logic
- minimal models
- dynamic logic
- modal operators
- intuitionistic logic
- np complete
- model theoretic
- inference rules
- deductive databases
- strong equivalence
- logic programs
- reasoning about actions