Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40262
Titel: Semantics Based Translation Methods for Modal Logics
VerfasserIn: Ohlbach, Hans Jürgen
Sprache: Englisch
Erscheinungsjahr: 1990
Erscheinungsort: Kaiserslautern
Freie Schlagwörter: Modal Logic
Translation of Logics
Logic Calculi
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: A general framework for translating logical formulae from one logic into another logic is presented. The framework is instantiated with two different approaches to translating modal logic formulae into predicate logic. The first one, the well known “relational” translation makes the modal logic’s possible worlds structure explicit by introducing a distinguished predicate symbol to represent the accessibility relation. In the second approach, the “functional” translation method, paths in the possible worlds structure are represented by compositions of functions which map worlds to accessible worlds. On the syntactic level this means that every flexible symbol is parametrized with particular terms denoting whole paths from the initial world to the actual world. The “target logic” for the translation is a first order many sorted logic with built in equality. Therefore the “source logic” may also be first order many sorted with built in equality. Furthermore flexible function symbols are allowed. The modal operators may be parametrized with arbitrary terms and particular properties of the accessibility relation may be specified within the logic itself.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-402623
hdl:20.500.11880/36268
http://dx.doi.org/10.22028/D291-40262
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 90,11
Datum des Eintrags: 14-Aug-2023
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-90-11_Ohlbach_Semantics-Based-Translation-Methods-for-Modal-Logics.pdf3,64 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.