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.

Level thesis:degree_level

thesis.doctoral

Grantor dc:publisher

Technische Universität Dresden

Year

2006

Author dc:creator

• Bauer, Sebastian

Contributors dc:contributor

• Wansing, Heinrich
• Wolter, Frank
• Kracht, Marcus

• 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