Display to Labelled Proofs and Back Again for Tense Logics.

Agata Ciabattoni Tim Lyon Revantha Ramanayake Alwen Tiu

Published in: CoRR (2019)

Keyphrases

decision procedures
theorem proving
real time
modal logic
expressive power
inference rules
temporal relations
touch screen
mobile devices
higher order
expert systems
theorem prover
genetic algorithm
default logic
automated reasoning
database
nonmonotonic logics
live video
formal proof
automated theorem provers