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.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa.de:swb:14-1168770883767-64981 |
Date | 14 January 2007 |
Creators | Bauer, Sebastian |
Contributors | Technische Universität Dresden, Philosophische Fakultät, Prof. Dr. phil. habil. Heinrich Wansing, Prof. Dr. phil. habil. Heinrich Wansing, Prof. Dr. rer. nat. habil. Frank Wolter, Prof. Dr. rer. nat. habil. Marcus Kracht |
Publisher | Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | deu |
Detected Language | German |
Type | doc-type:doctoralThesis |
Format | application/pdf |
Page generated in 0.0016 seconds