A Constraint Logic Approach to Modal Deduction.
Alan M. FrischRichard B. ScherlPublished in: JELIA (1990)
Keyphrases
- modal logic
- inference rules
- intuitionistic logic
- nonmonotonic logics
- computer algebra
- deductive reasoning
- theorem proving
- classical logic
- automated theorem proving
- modal operators
- constraint language
- dynamic logic
- linear constraints
- natural deduction
- asynchronous circuits
- epistemic logic
- logic programming
- databases
- computational properties
- constraint networks
- constraint solving
- logical framework
- multi valued
- proof search
- transition systems
- temporal logic
- pairwise