Team logic : axioms, expressiveness, complexity

Show simple item record

dc.identifier.uri http://dx.doi.org/10.15488/9376
dc.identifier.uri https://www.repo.uni-hannover.de/handle/123456789/9430
dc.contributor.author Lück, Martin ger
dc.date.accessioned 2020-02-18T13:20:48Z
dc.date.available 2020-02-18T13:20:48Z
dc.date.issued 2020
dc.identifier.citation Lück, Martin: Team logic : axioms, expressiveness, complexity. Hannover : Gottfried Wilhelm Leibniz Universität, Diss., 2020, x, 205 S. DOI: https://doi.org/10.15488/9376 ger
dc.description.abstract Team semantics is an extension of classical logic where statements do not refer to single states of a system, but instead to sets of such states, called teams. This kind of semantics has applications for example in mathematical logic, verification of dynamic systems as well as in database theory. In this thesis, we focus on the propositional, modal and first-order variant of team logic. We study the classical questions of formal logic: Expressiveness (can we formalize sufficiently interesting properties of models?), axiomatizability (can all true statements be deduced in some formal system?) and complexity (can problems such as satisfiability and model checking be solved algorithmically?). Finally, we classify existing team logics and show approaches how team semantics can be defined for arbitrary other logics. ger
dc.description.abstract Team-Semantik ist eine Erweiterung klassischer Logik, bei der Aussagen nicht über einzelne Zustände eines Systems getroffen werden, sondern über Mengen solcher Zustände, genannt Teams. Diese Art von Semantik besitzt unter anderem Anwendungen in der mathematischen Logik, in der Verifikation dynamischer Systeme sowie in der Datenbanktheorie. In dieser Arbeit liegt der Fokus auf der aussagenlogischen, der modallogischen und der prädikatenlogischen Variante der Team-Logik. Es werden die klassischen Fragestellungen formaler Logik untersucht: Ausdruckskraft (können hinreichend interessante Eigenschaften von Modellen formalisiert werden?), Axiomatisierbarkeit (lassen sich alle wahren Aussagen in einem Kalkül ableiten?) und Komplexität (können Probleme wie Erfüllbarkeit und Modellprüfung algorithmisch gelöst werden?). Schlussendlich werden existierende Team-Logiken klassifiziert und es werden Ansätze aufgezeigt, wie Team-Semantik für beliebige weitere Logiken definiert werden kann. ger
dc.language.iso eng ger
dc.publisher Hannover : Institutionelles Repositorium der Leibniz Universität Hannover
dc.rights CC BY 3.0 DE ger
dc.rights.uri http://creativecommons.org/licenses/by/3.0/de/ ger
dc.subject Team semantics eng
dc.subject axioms eng
dc.subject expressiveness eng
dc.subject complexity eng
dc.subject Team-Semantik ger
dc.subject Axiome ger
dc.subject Ausdrucksstärke ger
dc.subject Komplexität ger
dc.subject.ddc 004 | Informatik ger
dc.title Team logic : axioms, expressiveness, complexity ger
dc.type doctoralThesis ger
dc.type Text ger
dc.description.version publishedVersion ger
tib.accessRights frei zug�nglich ger


Files in this item

This item appears in the following Collection(s):

Show simple item record

 

Search the repository


Browse

My Account

Usage Statistics