Paper Info
Title
Completeness by Modal Definitions.
Abstract
In this paper, we develop a framework for obtaining completeness results for extensions of modal logics. A modal language is extended by fresh modalities, which are then specified using definitions formulated in the original logic. When adding the modal definitions to the axiom system, completeness of the extended logic is guaranteed by the main result of the paper. We demonstrate the technique by applying it to extensions of the modal logic S5.
Year
DOI
Venue
2018
10.1007/978-3-030-03928-8_6
ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2018
Field
DocType
Volume
Modalities,Axiom,Computer science,Completeness (statistics),Calculus,Modal,S5
Conference
11238
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
5
2
Name
Order
Citations
PageRank
Levan Uridia184.62
Dirk Walther201.69