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:qucosa:24981 |
| Date | 18 April 2006 |
| Creators | Bauer, Sebastian |
| Contributors | Wansing, Heinrich, Wolter, Frank, Kracht, Marcus |
| Publisher | Technische Universität Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | German |
| Detected Language | German |
| Type | doc-type:doctoralThesis, info:eu-repo/semantics/doctoralThesis, doc-type:Text |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0064 seconds