74 citations · 173 across the 9 of their papers we have counts for
1 paper · 2 filters
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.