Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Completeness by Modal Definitions

: Uridia, Levan; Walther, Dirk


Simari, G.R.:
Advances in artificial intelligence - IBERAMIA 2018. Proceedings : 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018
Cham: Springer International Publishing, 2018 (Lecture Notes in Artificial Intelligence 11238)
ISBN: 978-3-030-03927-1 (Print)
ISBN: 978-3-030-03928-8 (Online)
ISBN: 978-3-030-03929-5
ISBN: 3-030-03927-7
Ibero-American Conference on Artificial Intelligence (IBERAMIA) <16, 2018, Trujillo/Peru>
Conference Paper
Fraunhofer IVI ()

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.