Display to Labeled Proofs and Back Again for Tense Logics.
Agata CiabattoniTim S. LyonRevantha RamanayakeAlwen TiuPublished 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