Natural Deduction for First-Order Hybrid Logic.
Torben BraünerPublished in: J. Log. Lang. Inf. (2005)
Keyphrases
- natural deduction
- inference rules
- cut elimination
- theorem prover
- intuitionistic logic
- first order logic
- sequent calculus
- theorem proving
- logical theories
- linear time temporal logic
- higher order
- linear logic
- horn clauses
- conditional logic
- general logic programs
- predicate calculus
- linear temporal logic
- proof theoretic
- logical framework
- sufficient conditions