Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics.
Felipe SasdelliMaycon AmaroElton M. CardosoSamuel da Silva FeitosaRodrigo Geraldo RibeiroPublished in: SBLP (2020)
Keyphrases
- predicate calculus
- default logic
- minimal models
- autoepistemic logic
- theorem proving
- nonmonotonic logics
- propositional logic
- logic programming
- decision procedures
- first order logic
- valued semantics
- conditional logic
- classical first order logic
- model theoretic
- propositional dynamic logic
- modal logic
- default theories
- operational semantics
- expressive power
- inference rules
- sound and complete axiomatization
- epistemic logic
- proof theory
- theorem prover
- default reasoning
- proof procedure
- dynamic logic
- coalition logic
- propositional variables
- proof theoretic
- valued logic
- logical framework
- belief revision
- definition language
- rule language
- proof procedures
- disjunctive logic programming
- formal semantics
- computational properties
- automated reasoning
- nonmonotonic reasoning
- temporal logic
- linearly ordered
- tableau calculus
- classical logic
- context free grammars
- situation calculus
- truth maintenance systems
- natural deduction
- modal operators