2000 character limit reached
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics (1409.3819v1)
Published 12 Sep 2014 in cs.LO
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.