13 citations · 19 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 13 cited
Advanced Proof Viewing in ProofTool
Tomer Libal, Martin Riener, Mikheil Rukhaia
Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impos…
cs.LO2014
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Damien Doligez, Jael Kriener, Leslie Lamport +2
We present a syntactic abstraction method to reason about first-order modal logics by using theorem provers for standard first-order logic and for propositional modal logic.