Optimizing the Presentation of Modal Natural Deduction Proofs.

Erika F. de Lima Christoph Lingenfelder

Published in: ECAI (1996)

Keyphrases

natural deduction
inference rules
modal logic
theorem prover
cut elimination
sequent calculus
theorem proving
intuitionistic logic
multimedia
linear time temporal logic
probabilistic model
nonmonotonic logics
high level
expert systems