Natural Deduction for Hybrid Logic.

Torben Braüner

Published in: J. Log. Comput. (2004)

Keyphrases

natural deduction
cut elimination
inference rules
theorem prover
intuitionistic logic
sequent calculus
theorem proving
linear time temporal logic
linear logic
proof procedure
active learning
modal logic
supervised learning
automated reasoning
semi supervised
data points
natural language
high level