A Proof System and a Decision Procedure for Equality Logic.
Olga TveretinaHans ZantemaPublished in: LATIN (2004)
Keyphrases
- modal logic
- intuitionistic logic
- model checker
- temporal logic
- classical logic
- decision makers
- proof search
- inference rules
- search procedure
- decision making
- cut elimination
- epistemic logic
- model checking
- decision model
- nonmonotonic logics
- linear logic
- decision rules
- logic programming
- proof theoretic
- linear time temporal logic
- decision process
- predicate logic
- decision problems
- proof procedure
- proof theory
- sequent calculus
- artificial intelligence