- AutorIn
- Dipl.-Math. Sebastian Bauer
- Titel
- Algorithmische Eigenschaften von Branching-Time Logiken
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:swb:14-1168770883767-64981
- Datum der Einreichung
- 17.12.2005
- Datum der Verteidigung
- 18.04.2006
- Abstract (DE)
- Es wird die Axiomatisierbarkeit einer Klasse von temporalen Prädikatenlogiken über verzweigenden Strukturen gezeigt. Entscheidbarkeitsresultate folgen für diverse Fragmente dieser Logiken. Anwendungen werden diskutiert.
- Freie Schlagwörter (DE)
- Temorallogik, quantifizierte Temporallogik, Axiomatisierbarkeit, Entscheidbarkeit, Fragmante temporaler Prädikatenlogiken, Bäume
- Freie Schlagwörter (EN)
- temporal logic, first-order temporal logic, axiomatizability, decidability, fragments of first-order temporal logic, branching-time logic, monodic fragments
- Klassifikation (DDC)
- 100
- Klassifikation (RVK)
- SK 130, CC 2600
- Normschlagwörter (GND)
- Temporale Logik
- GutachterIn
- Prof. Dr. phil. habil. Heinrich Wansing
- Prof. Dr. rer. nat. habil. Frank Wolter
- Prof. Dr. rer. nat. habil. Marcus Kracht
- BetreuerIn
- Prof. Dr. phil. habil. Heinrich Wansing
- Verlag
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:swb:14-1168770883767-64981
- Veröffentlichungsdatum Qucosa
- 14.01.2007
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Deutsch
- Lizenz / Rechtehinweis