pith. sign in

arxiv: 1409.3819 · v1 · pith:WXF5OSSWnew · submitted 2014-09-12 · 💻 cs.LO

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics

Damien Doligez (INRIA Paris-Rocquencourt) , Jael Kriener (MSR - INRIA) , Leslie Lamport , Tomer Libal (MSR - INRIA) , Stephan Merz (INRIA Nancy - Grand Est / LORIA) This is my paper
classification 💻 cs.LO
keywords first-ordermodalabstractionlogiclogicssyntacticcoalescingmethod
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.