A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.
Peter NiebertBarbara SprickPublished in: TABLEAUX (1997)
Keyphrases
- proof search
- modal logic
- theorem prover
- linear logic
- intuitionistic logic
- theorem proving
- inference rules
- classical logic
- sequent calculus
- logic programs
- autoepistemic logic
- logic programming
- search procedure
- cut elimination
- automated theorem proving
- default logic
- temporal logic
- description logics
- nonmonotonic reasoning
- deductive databases
- nonmonotonic logics
- linear time temporal logic
- proof procedure
- epistemic logic
- automated reasoning
- proof theory
- decision procedures
- defeasible logic
- proof theoretic
- first order logic