The Gentzen-Kripke construction of the intermediate logic LQ.
Seiki AkamaPublished in: Notre Dame J. Formal Log. (1992)
Keyphrases
- image sequences
- modal logic
- sequent calculus
- inference rules
- cut elimination
- linear time temporal logic
- temporal logic
- horn clauses
- classical logic
- model checking
- natural deduction
- desirable properties
- automated reasoning
- optimal control
- real time
- construction process
- epistemic logic
- website
- artificial intelligence
- theorem proving
- sufficient conditions
- nonmonotonic logics
- abductive reasoning
- deontic logic
- asynchronous circuits
- linear logic
- search algorithm
- databases