Login / Signup
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