<div class="csl-bib-body">
<div class="csl-entry">Marinkovic, V. (2019). <i>On reductions for multi-modal logics</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.63112</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2019.63112
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/14878
-
dc.description.abstract
In dieser Arbeit werden mehrere Reduktionen im Zusammenhang mit multimodalen Erweiterungen der wohlbekannten Modallogik K betrachtet, wobei unter einer Reduktion eine Transformation im üblichen komplexitätstheoretischen Sinn verstanden wird. Insbesondere werden Reduktionen zwischen Erfüllbarkeitsproblemen einiger bekannter Logiken besprochen. Ein wesentliches Resultat dieser Arbeit ist eine Transformation von multimodalem K ins herkömmliche K, welche eine Verallgemeinerung einer bestehenden Transformation von bimodalem K ins gewöhnliche K darstellt. Durch die Verknüpfung dieser neuen Reduktion mit einer weiteren bestehenden von K in quantifizierte Aussagenlogik wird eine weitere Übersetzung von multimodalem K in quantifizierte Aussagenlogik erhalten. Umgekehrt wird auf Basis eines klassischen Resultats auch eine Reduktion von quantifizierter Aussagenlogik nach K untersucht. Darüber hinaus wird eine Übersetzung von der prototypischen Beschreibungslogik ALC, die mit multimodalem K nahe verwandt ist, ins herkömmliche K betrachtet. Die vorliegende Arbeit bringt diese unterschiedlichen Ergebnisse in einen einheitlichen Rahmen und eine einheitliche Notation, stellt Details und Beweise bereit, von denen in den ursprünglichen Resultaten viele übersprungen werden, und stellt damit im Wesentlichen eine in sich geschlossene Erörterung dar. Unterstützende Ergebnisse, die für die wesentlichen Resultate relevant sind, aber vor dem Hintergrund der Modallogik gewiss auch für sich genommen von Interesse sind, umfassen eine korrekte und vollständige Axiomatisierung von multimodalem K sowie die endliche Baummodelleigenschaft von K.
de
dc.description.abstract
In this thesis, several reductions associated with multi-modal extensions of the well-known modal logic K are considered, where by a reduction is understood a transformation in the usual complexity-theoretical sense. In particular, reductions between satisfiability problems of some well-known logics are discussed. Generalizing an existing translation from bimodal K to standard K, a central result of this thesis is a reduction from arbitrary multi-modal K to standard K. Combining this new reduction with another existing one from K to quantified propositional logic, a further translation from multi-modal K to quantified propositional logic is obtained. Conversely, based on a classical result, also a reduction from quantified propositional logic to K is examined. Moreover, a transformation from the prototypical description logic ALC, which is closely related to multi-modal K, to standard K is considered. The present thesis brings these different considered outcomes into a uniform setting and notation, provides details and proofs many of which are omitted in the original results, and thus constitutes an essentially self-contained exposition. Auxiliary outcomes which are relevant for the central results, but are certainly also of interest in their own right, in the light of modal logic, include a sound and complete axiomatization for multi-modal K, and the finite-tree model property of K.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
reduction
en
dc.subject
modal logic
en
dc.subject
quantified propositional logic
en
dc.title
On reductions for multi-modal logics
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2019.63112
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Vedran Marinkovic
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC15367922
-
dc.description.numberOfPages
87
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-124931
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.advisor.orcid
0000-0001-5673-2460
-
item.languageiso639-1
en
-
item.openairetype
master thesis
-
item.grantfulltext
open
-
item.fulltext
with Fulltext
-
item.cerifentitytype
Publications
-
item.mimetype
application/pdf
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.openaccessfulltext
Open Access
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering