Presentation of proofs in modal natural deduction.

Erika F. de Lima Christoph Lingenfelder

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

Keyphrases

natural deduction
inference rules
theorem prover
cut elimination
modal logic
theorem proving
sequent calculus
intuitionistic logic
multimedia
linear logic
first order logic
learning algorithm
probabilistic model
knowledge representation
logic programs
propositional logic