{"id":{"repo_id":"qucosa-diss","oai_identifier":"oai:qucosa:de:qucosa:24981"},"canonical_url":"https://search.dev.ndltd.org/etd/qucosa-diss/oai:qucosa:de:qucosa:24981","repository":{"repo_id":"qucosa-diss","name":"QUCOSA","base_url":"http://www.qucosa.de/oai/"},"display":{"title":"Algorithmische Eigenschaften von Branching-Time Logiken","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Bauer, Sebastian"],"institution":"Technische Universität Dresden","degree_name":null,"degree_level":"thesis.doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":["Wansing, Heinrich","Wolter, Frank","Kracht, Marcus"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2006,"date_issued":"2006-04-18","date_published":"2006-04-18","updated_at":"2026-07-24T03:59:09Z","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"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Wansing, Heinrich","Wolter, Frank","Kracht, Marcus"]},{"key":"dc:creator","label":"Author","values":["Bauer, Sebastian"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:publisher","label":"Institution","values":["Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden","Technische Universität Dresden"]},{"key":"dc:type","label":"Dc Type","values":["doctoralThesis"]},{"key":"thesis:degree_level","label":"Degree Level","values":["thesis.doctoral"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Technische Universität Dresden"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["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"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:title","label":"Title","values":["Algorithmische Eigenschaften von Branching-Time Logiken"]}]}],"canonical_facts":{"dc:contributor":["Wansing, Heinrich","Wolter, Frank","Kracht, Marcus"],"dc:creator":["Bauer, Sebastian"],"dc:description.abstract":["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."],"dc:publisher":["Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden","Technische Universität Dresden"],"dc:subject":["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"],"dc:title":["Algorithmische Eigenschaften von Branching-Time Logiken"],"dc:type":["doctoralThesis"],"thesis:degree_level":["thesis.doctoral"],"thesis:institution_name":["Technische Universität Dresden"]},"updated_at":"2026-07-24T03:59:09Z"}