Nearby in the stack

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

1409.3819Sep 12, 2014appears in Automated Reasoning in Quantified Non-Classical Logics (2014)

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

Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

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.

Briefing

What this paper is actually doing

This is a heuristic sketch from the abstract. Sign in for a live briefing.

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.

GraduateNovelty 3/5

Researchers working in cs.LO and adjacent areas.

Claims

The paper addresses: Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics.
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.

Methods

Method details are not extracted without an AI key — open the PDF or HTML version.
Author comment: appears in Automated Reasoning in Quantified Non-Classical Logics (2014)