Algorithmische Eigenschaften von Branching-Time Logiken

Algorithmische Eigenschaften von Branching-Time Logiken

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.

Bibliographic Details
Main Author: Bauer, Sebastian
Other Authors: Technische Universität Dresden, Philosophische Fakultät
Format: Doctoral Thesis
Language:deu
Published: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden 2007
Subjects:
Temorallogik
quantifizierte Temporallogik
Axiomatisierbarkeit
Entscheidbarkeit
Fragmante temporaler Prädikatenlogiken
Bäume
temporal logic
first-order temporal logic
axiomatizability
decidability
fragments of first-order temporal logic
branching-time logic
monodic fragments
ddc:100
rvk:SK 130
rvk:CC 2600
Temporale Logik
Online Access:http://nbn-resolving.de/urn:nbn:de:swb:14-1168770883767-64981
http://nbn-resolving.de/urn:nbn:de:swb:14-1168770883767-64981
http://www.qucosa.de/fileadmin/data/qucosa/documents/1865/1168770883767-6498.pdf

Internet

http://nbn-resolving.de/urn:nbn:de:swb:14-1168770883767-64981
http://nbn-resolving.de/urn:nbn:de:swb:14-1168770883767-64981
http://www.qucosa.de/fileadmin/data/qucosa/documents/1865/1168770883767-6498.pdf

Similar Items