From Display to Labelled Proofs for Tense Logics.

Agata Ciabattoni Tim Lyon Revantha Ramanayake

Published in: LFCS (2018)

Keyphrases

decision procedures
expressive power
modal logic
real time
inference rules
artificial intelligence
theorem prover
formal proofs
equational theories
automated theorem provers
genetic algorithm
learning algorithm
temporal relations
multi touch
natural deduction