• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Completeness by Modal Definitions
 
  • Details
  • Full
Options
2018
Conference Paper
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.
Author(s)
Uridia, Levan
Razmadze Institute of Mathematics Tbilisi, Georgia
Walther, Dirk
Fraunhofer-Institut für Verkehrs- und Infrastruktursysteme IVI  
Mainwork
Advances in artificial intelligence - IBERAMIA 2018. Proceedings  
Conference
Ibero-American Conference on Artificial Intelligence (IBERAMIA) 2018  
DOI
10.1007/978-3-030-03928-8_6
Language
English
Fraunhofer-Institut für Verkehrs- und Infrastruktursysteme IVI  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024