Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: Lutz Schröder, Dirk Pattinson
Herausgeber: Lars Arge, Andrzej Tarlecki, Christian Cachin
Titel: Modular Algorithms for Heterogeneous Modal Logics
Buch / Sammlungs-Titel: Automata, Languages and Programming (ICALP 07)
Band: 4596
Seite(n): 459 – 471
Serie / Reihe: Lecture Notes in Computer Science
Erscheinungsjahr: 2007
Verleger: Springer
Abstract / Kurzbeschreibung: State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show that the combination of features can be reflected algorithmically and develop modular decision procedures for heterogeneous modal logics. The modularity is achieved by formalising the underlying state-based systems as multi-sorted coalgebras and associating both a logical and an algorithmic description to a number of basic building blocks. Our main result is that logics arising as combinations of these building blocks can be decided in polynomial space provided that this is the case for the components. By instantiating the general framework to concrete cases, we obtain PSPACE decision procedures for a wide variety of structurally different logics, describing e.g. Segala systems and games with uncertain information.
Internet: http://dx.doi.org/10.1007/978-3-540-73420-8_41
PDF Version: http://www.informatik.uni-bremen.de/~lschrode/papers/ModularAlgs.pdf
Schlagworte: modal logic multisorted coalgebra complexity modularity Segala systems fusion
Status: Reviewed
Letzte Aktualisierung: 18. 06. 2008

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 23. Februar 2006   impressum