Display to Labeled Proofs and Back Again for Tense Logics.

Agata Ciabattoni Tim S. Lyon Revantha Ramanayake Alwen Tiu

Published in: ACM Trans. Comput. Log. (2021)

Keyphrases

decision procedures
expressive power
modal logic
training data
theorem prover
theorem proving

real time
formal proofs
display devices
inference rules
temporal relations

horn logic
propositional calculus
multi touch
epistemic logic
model checking

proof theory
manual labeling
augmented reality
expert systems
feature selection