Work

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

Year: 2014

Type: article

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.

DOI: 10.48550/arxiv.1409.3819

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

Institutions: Institut national de recherche en sciences et technologies du numérique, Microsoft (United States), Laboratoire Lorrain de Recherche en Informatique et ses Applications, Centre Inria de l'Université de Lorraine

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Funders: Microsoft Research, European Commission

Award: Mobility between Europe and Argentina applying Logics to Systems

OpenAlex ID: W2949414405

FWCI:

Cites: 4

Cited by: 2

Related to: 10