Analytic Tableau Calculi for KLM Rational Logic R.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: JELIA (2006)
Keyphrases
- sequent calculi
- propositional logic
- proof procedure
- proof search
- automated theorem proving
- description logics
- decision making
- logic programming
- multi valued
- modal logic
- nonmonotonic logics
- cut elimination
- predicate logic
- computational properties
- theorem proving
- formal theory
- conditional logic
- classical logic
- theorem prover
- sound and complete axiomatization