6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@PREAMBLE{ {\providecommand{\noopsort}[1]{}} }
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@string{lncs="LNCS"}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@string{entcs="ENTCS"}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@string{lnai="LNAI"}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@string{elsevier="Elsevier"}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@string{springer="Springer"}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{AdamekHerrlich90,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {J. Ad{\'a}mek and H. Herrlich and G. E. Strecker},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Abstract and Concrete Categories},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Wiley Interscience},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{Barr93,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Terminal coalgebras in well-founded set theory",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "M. Barr",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Theoret.\ Comput.\ Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "114",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1993",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "299-315",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{BartelsEA03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {F. Bartels and A. Sokolova and E. de Vink},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A hierarchy of probabilistic system types},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Coalgebraic Methods in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2003},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTeditor = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {82},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {ENTCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Elsevier}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{Bartels03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {F. Bartels},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Generalised Coinduction},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Math.\ Struct.\ Comput.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {13},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = {2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2003},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {321-348},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Bizard90,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {W. Blizard},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Negative membership},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Notre Dame J.\ Formal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1990},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {31},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {346--368}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{CASL-UM,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "M. Bidoit and P. D. Mosses",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "\textsc{Casl} User Manual",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2004",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "LNCS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "2900",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{Chellas80,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {B. Chellas},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Modal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Cambridge University Press},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1980}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Rutten00,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "J. Rutten",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Universal Coalgebra: A Theory of Systems",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Theoret.\ Comput.\ Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "249",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "3--80",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2000",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{DAgostinoVisser02,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {G. D'Agostino and A. Visser},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Finality regained:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann A coalgebraic study of {Scott}-sets and multisets},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Arch.\ Math.\ Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2002},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {41},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {267--298}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{GoreEA10,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {R. Gor{\'e} and C. Kupke and D. Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Optimal Tableau Algorithms for Coalgebraic Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Proc. TACAS 2010},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = {R. Majumdar and J. Esparza},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {Lecture Notes in Comp. Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2010}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{GlabbeekEA95,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {R. Van Glabbeek and S. Smolka and B. Steffen and C. Tofts},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Reactive, generative and stratified models for
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann probabilistic processes.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Inform.\ and Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1995},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {121},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTpages = {59--80}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{HansenKupke04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {H. H. Hansen and C. Kupke},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Coalgebraic Perspective on Monotone Modal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Coalgebraic Methods in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {121--143},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2004},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {J.\ Ad{\'a}mek and S.\ Milius},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {106},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {ENTCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Elsevier}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{JonssonTarski51,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {B. J{\'o}nnson and A. Tarski},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Boolean algebras with operators {I}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Amer.\ J.\ Math.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1951},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {73},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {891--939}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{Reichel99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {H. Reichel},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Uniform Model Theory for the Specification of Data
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann and Process Types},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Recent Developments in Algebraic Development Techniques,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann 14th International Workshop (WADT 99)",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "LNCS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {1827},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {348--365},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Klin04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {B. Klin},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Coalgebraic Approach to Process Equivalence and a
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Coinduction Principle for Traces},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Coalgebraic Methods in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {201--218},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2004},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann NOeditor = {J. Ad{'a}mek and S. Milius},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {106},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {ENTCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Elsevier}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@PhdThesis{KurzThesis,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {A. Kurz},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Logics for Coalgebras and Applications to Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann school = {Universit{\"a}t M{\"u}nchen},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2000},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{KupkeEA04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Clemens Kupke and Alexander Kurz and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Algebraic Semantics for Coalgebraic Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Coalgebraic Methods in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2004},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {219--241},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Ji{\v{r}}i Ad{\'a}mek and Stefan Milius},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {106},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = entcs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Elsevier}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Kurz01,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "A. Kurz",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Specifying Coalgebras with Modal Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Theoret.\ Comput.\ Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "260",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {119-138},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2001",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{GummSchroeder,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {H. P. Gumm and T. Schr\"oder},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Coalgebras of bounded type},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Math.\ Struct.\ Comput.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {to appear}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{CASL-RM,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = {P. D. Mosses},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {{\CASL} Reference Manual},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "LNCS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = 2960,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{CirsteaPattinson04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {C. C{\^i}rstea and D. Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Modular Construction of Modal Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Theoret.\ Copmut.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {To appear. Earlier version in {\emph{Concurrency Theory,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann CONCUR 04}}, vol.\ 3170 of {\emph{LNCS}}, pp.\ 258--275,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Springer, 2004},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTannote = {}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Cirstea04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {C. C{\^i}rstea},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A compositional approach to defining logics for
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Theoret.\ Comput.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2004},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {327},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {45--69}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Kozen83,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "D. Kozen",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Results on the propositional {$\mu$-calculus}",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Theoret.\ Comput.\ Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "27",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "333--354",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1983",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@ARTICLE{Tarlecki85,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannAUTHOR = "A. Tarlecki",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannTITLE ="On the Existence of Free Models in Abstract Algebraic Institutions",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannJOURNAL = "Theoret.\ Comput.\ Sci. ",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPAGES = {269--304},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@incollection{Kurz02,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {A. Kurz},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Logics Admitting Final Semantics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {238--249},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Foundations of Software Science and Computation
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {LNCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {2303},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2002},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Misc{Kurz01b,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {A. Kurz},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Coalgebras and Modal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann howpublished = {Course Notes for the European Summer School on Logic,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Language and Information (CD-ROM),
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann University of Helsinki},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2001}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{LarsenSkou91,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {K. Larsen and A. Skou},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Bisimulation through probabilistic testing},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Inform.\ Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {94},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = {1},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1991},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann issn = {0890-5401},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {1--28},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nopublisher = {Academic Press, Inc.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@incollection{GoguenLinRosu00,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Conditional Circular Coinductive Rewriting},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {J. Goguen and K. Lin and G. Rosu},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Automated Software Engineering},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {IEEE Press},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {123--131},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{HennessyMilner85,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "M. Hennessy and R. Milner",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "J.\ ACM",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "137--161",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Algebraic Laws for Non-Determinism and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Concurrency",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "32",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1985",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Cirstea02,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "C. C{\^\i}rstea",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On Specification Logics for Algebra-Coalgebra
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Structures: Reconciling Reachability and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Observability",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "LNCS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "2303",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "82--97",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2002",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{PowerWatanabe00,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {J. Power and H. Watanabe},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {An axiomatics for categories of coalgebras},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {ENTCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Coalgebraic Methods in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {11},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Elsevier},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {B. Jacobs and L. Moss and H. Reichel and J. Rutten},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2000}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@phdthesis{rosu00,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanntitle = "Hidden Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannauthor = "G. Ro\c{s}u",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannschool = "Univ.\ of California at San Diego"}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{BidoitHennicker02,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "M. Bidoit and R. Hennicker",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On the Integration of Observability and Reachability
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Foundations of Software
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Science and Computation Structures",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "2303",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "21--36",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "LNCS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2002",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@PhdThesis{RotheThesis,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {J. Rothe},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Behavioural Equivalences for Coalgebras},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann school = {University of Dresden},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2003}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{RotheTewsJacobs01,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "J. Rothe and H. Tews and B. Jacobs",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "The {C}oalgebraic {C}lass {S}pecification {L}anguage {CCSL}",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "J. Universal Comput. Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "7",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "175--193",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2001",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "R. Cockett and T. Fukushima",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "About {C}harity",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann institution = "Univ.\ of Calgary, Dept. of Comp. Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann type = "Yellow Series Report",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = "92/480/18"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@PhdThesis{PattinsonThesis,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {D. Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Expressivity Results in the Modal Logic of Coalgebras},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann school = {Universit{\"a}t M{\"u}nchen},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2001}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Pattinson01,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {D. Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Semantical Principles in the Modal Logic of Coalgebras},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Symposium on Theoretical Aspects of Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {514--526},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2001},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {2010},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {LNCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Pattinson03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Coalgebraic Modal Logic: Soundness, Completeness and Decidability of Local Consequence},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Theoret.\ Comput.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2003},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {309},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {177--193}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Pattinson04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {D. Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Expressive Logics for Coalgebras via Terminal Sequence Induction},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Notre Dame J.\ Formal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2004},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {45},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {19--33},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann annote = {Expressivity results for coalgebraic modal logic with
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann better cardinality bounds than PattinsonThesis, with
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann more than one formula required to characterize a state.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Important: Notion of intersection preservation
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann (=continuity)}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{PavlovicPratt99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "D. Pavlovic and V. Pratt",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On coalgebra of real numbers",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Coalgebraic
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Methods in Computer Science",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "Electron.\ Notes Theoret.\ Comput.\ Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Elsevier",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "19",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1999"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{MannaPnueli92,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Z. Manna and A. Pnueli",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "The Temporal Logic of Reactive and Concurrent Systems:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Specification",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1992",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Moss99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {L. Moss},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Coalgebraic logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Ann.\ Pure Appl.\ Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1999},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {96},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {277--317},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{MossakowskiEA04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {T. Mossakowski and L. Schr{\"o}der and M. Roggenbach and H. Reichel},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Algebraic-coalgebraic specification in {\CoCASL}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J. Logic Algebraic Programming},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {67},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber ={1-2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {146--197},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2006}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Rei95,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {H. Reichel},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {An Approach to Object Semantics based on Terminal
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Co-Algebras},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Math.\ Struct.\ Comput.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {129--152}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{ReichelEA03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "H. Reichel and T. Mossakowski and M. Roggenbach and L. Schr{\"o}der",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Algebraic-coalgebraic specification in {\CoCASL}",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Recent Developments in Algebraic Development Techniques,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann 16th International Workshop (WADT 02)",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "LNCS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2003",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "2755",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "376--392",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Roessiger00,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {M.\ R{\"o\ss}iger},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Coalgebras and Modal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Coalgebraic Methods in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2000},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {33},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {ENTCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Elsevier"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{SchroderMossakowski03a,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "L. Schr{\"o}der and T. Mossakowski",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Monad-independent {H}oare logic in {\HasCASL}",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = "M. Pezz{\`e}",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Fundamental Approaches to Software Engineering",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "LNCS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = 2621,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "261--277"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{Schroder05,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Expressivity of Coalgebraic Modal Logic: The Limits and Beyond},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2008},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Theoret.\ Comput.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {390},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {230-247},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{SchroderMossakowski03b,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "L. Schr{\"o}der and T. Mossakowski",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Monad-independent dynamic logic in {\HasCASL}",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "J.\ Logic Comput.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = "to appear. Short Version to appear in
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Recent Developments in Algebraic Development Techniques,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann 16th International Workshop (WADT 02), LNCS, Springer, 2003",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{SiekmannSzabo82,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {J. Siekmann and P. Szabo},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Noetherian and Confluent Rewrite System for Idempotent
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Semigroup Forum},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1982},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {25},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {83--110}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@PHDTHESIS{Tew02,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann AUTHOR = "H. Tews",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann TITLE = "Coalgebraic Methods for Object--Oriented Languages",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann SCHOOL = "Technical Univ.\ of Dresden",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann YEAR = "2002",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Jacobs00,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {B. Jacobs},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Towards a Duality Result in the Modal Logic of Coalgebras},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Coalgebraic Methods in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2000},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {33},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {ENTCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Elsevier",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Jac:Modal,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {B. Jacobs},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Many-Sorted Coalgebraic Modal Logic: a
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannModel-theoretic Study},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Theor.\ Inform.\ Appl.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {31--59}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{MossakowskiRoggenbach03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "T. Mossakowski and M. Roggenbach and L. Schr{\"o}der",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "{\CoCASL} at work --- Modelling Process Algebra",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Coalgebraic Methods in Computer Science",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "Electron.\ Notes Theoret.\ Comput.\ Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Elsevier",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2003",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "82",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@BOOK {milner89,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann AUTHOR = {Milner, R.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann TITLE = {Communication and Concurrency} ,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann PUBLISHER = {Prentice Hall} ,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InCollection{Milner90,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann key = "Milner",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "R. Milner",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Handbook of Theoretical Computer Science",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Operational and Algebraic Semantics of Concurrent
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann chapter = "19",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "MIT Press",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1990",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = "J. van Leewen",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "1201--1242",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "B: Formal Models and Semantics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTaddress = "New York, NY",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann annote = "36 references.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@BOOK {hoare85,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann AUTHOR = {C.A.R. Hoare},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann TITLE = {Communicating Sequential Processes} ,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann PUBLISHER = {Prentice Hall} ,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{roscoe98,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Roscoe, A.W.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {The theory and practice of concurrency},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Prentice Hall},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1998},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTeditor = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTvolume = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTseries = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTaddress = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTedition = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTmonth = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnote = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTannote = {}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{AdamekKoubek95,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On the greatest fixed point of a set functor",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Ji{\v{r}}{\'\i} Ad{\'a}mek and V{\'a}clav Koubek",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Theoretical Computer Science",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "57--75",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann month = "16~" # oct,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1995",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "150",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = "1",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Tobies01,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Stephan Tobies},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {{$\mi{PSPACE}$} Reasoning for Graded Modal Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Logic Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2001},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {11},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {1},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {85--106}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{HeifetzMongin01,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Aviad Heifetz and Philippe Mongin},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Probabilistic logic for type spaces},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Games and Economic Behavior},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2001},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {35},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {31--53}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{Schrijver86,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Alexander Schrijver",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Theory of linear and integer programming",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noseries = "Wiley-Interscience Series in Discrete Mathematics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonote = "A Wiley-Interscience Publication",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTpublisher = "John Wiley \& Sons Ltd.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Wiley Interscience",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = "Chichester",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1986",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nopages = "xii+471",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noISBN = "0-471-90854-1",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann MRclass = "90C05 (90C10)",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann MRnumber = "88m:90090",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann mrreviewer = "J{\"u}rgen K{\"o}hler",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann mrnumber-url = "http://www.ams.org/mathscinet-getitem?mr=88m%3a90090",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{BlackburnEA01,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Patrick Blackburn and Maarten de Rijke and Yde
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Modal Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Cambridge University Press",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTpublisher = "Cambridge",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2001",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = "Cambridge, England",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{HeifetzMongin98,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Aviad Heifeitz and Philippe Mongin",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "The Modal Logic of Probability",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "175--186",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ISBN = "1-55860-563-0",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Itzhak Gilboa",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Proceedings of the 7th Conference on Theoretical
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Aspects of Rationality and Knowledge ({TARK}-98)",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Theoretical
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Aspects of Rationality and Knowledge",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nomonth = jul # "~22--24",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Morgan Kaufmann",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = "San Francisco",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1998",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Turakainen72,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Paavo Turakainen},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {On the minimization of linear space automata.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Ann.\ Acad.\ Sci.\ Fenn.\ Ser.\ A I},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1972},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {506},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {15 pp.}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{CarlylePaz71,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {J. W. Carlyle and A. Paz},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Realizations by stochastic finite automata},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Comput.\ System Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1971},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {5},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {26--40}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{Popkorn94,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Sally Popkorn},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {First Steps in Modal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Cambridge},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1994}}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Viglizzo05,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTauthor = {Ignacio D. Viglizzo},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Ignacio Viglizzo},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Final Sequences and Final Coalgebras for Measurable Spaces},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Algebra and Coalgebra in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {395--407},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2005},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Jos{\'e} Luiz Fiadeiro and Neil Harman and Markus Roggenbach
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann and Jan Rutten},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {3629},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Schroder07,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Finite Model Construction for Coalgebraic Modal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Log.\ Algebr.\ Prog.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "73",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2007",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "97--110",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Vardi89,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Moshe Vardi},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {On the Complexity of Epistemic Reasoning},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Logic in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {243--251},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1989},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTeditor = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTvolume = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTseries = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTaddress = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTmonth = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann organization = {IEEE},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTpublisher = {}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Pauly02,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Marc Pauly},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Modal Logic for Coalitional Power in Games},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Logic Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2002},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {12},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {1},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {149--166}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{chandra-stockmeyer:aptime
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "A. Chandra and L. Stockmeyer"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Alternation"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, journal = "J.\ ACM"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, volume = "28"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, nonumber = "1"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, pages = "114--133"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "1981"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannArticle{Rabin63,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Probabilistic Automata",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTauthor = "Michael O. Rabin",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Michael Rabin",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "230--245",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Information and Control",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nomonth = sep,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1963",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "6",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "3",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{TuriPlotkin97,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Towards a Mathematical Operational Semantics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTauthor = "Daniele Turi and Gordon Plotkin",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "D. Turi and G. Plotkin",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "280--291",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Logic in Computer Science",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1997",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nomonth = "29~" # jun # "--2~" # jul,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = "Warsaw, Poland",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann organization = "IEEE",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann references = "\cite{IC::Abramsky1991} \cite{TCS::Barr1993}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \cite{JACM::bloomIM1995} \cite{TACS::fokkink1994}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \cite{IC::FokkinkG1996} \cite{IC::GrooteV1992}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \cite{MFCS::HennessyP1979} \cite{LICS::JoyalNW1993}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \cite{MSCS::Moggi1991} \cite{IC::Moggi1991}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann \cite{MSCS::Rutten1992} \cite{LICS::simpson1995}",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{KupkeEA05,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Clemens Kupke and Alexander Kurz and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Ultrafilter extensions for coalgebras},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Algebra and Coalgebra in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {263-277},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2005},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Jos{\'e} Luiz Fiadeiro and Neil Harman and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Markus Roggenbach and Jan Rutten},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {3629},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {LNCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{OhlbachKoehler99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Hans J{\"u}rgen Ohlbach and Jana Koehler},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Modal logics, description logics and arithmetic reasoning},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Artif.\ Intell.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1999},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {109},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {1-2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {1-31}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{vdHoekMeyer92,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {van der Hoek, W. and Meyer, J.-J.Ch.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Graded modalities in epistemic logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Logical foundations of computer science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {503-514},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1992},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {A. Nerode},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {620},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {LNCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@ARTICLE{DeNivelleEA00,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannAUTHOR = {De Nivelle, H. and Schmidt, R. A. and Hustadt, U.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannYEAR = {2000},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannTITLE = {Resolution-Based Methods for Modal Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannJOURNAL = {Logic J.\ IGPL},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannnoNUMBER = {3},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannPAGES = {265--292},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannnoISSN = {1367-07511, 1367-3034},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannnoURL = {http://www3.oup.co.uk:80/igpl/Volume_08/Issue_03/#denivelle},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannABSTRACT = {In this paper we give an overview of resolution methods for extended
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannpropositional modal logics.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannWe adopt the standard translation approach and consider different
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannresolution refinements which provide decision procedures for the
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannresulting clause sets.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannOur procedures are based on ordered resolution and selection-based
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannThe logics that we cover are multi-modal logics defined over relations
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannclosed under intersection, union, converse and possibly
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanncomplementation.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Fine72,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {K. Fine},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {In so many possible worlds},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Notre Dame J.\ Formal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1972},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {13},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {516--520}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Rabin63,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {M. Rabin},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Probabilistic automata},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Inform.\ Control},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1963},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {6},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {220--245}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{HalavaHarju99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Undecidability in Integer Weighted Finite Automata",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Vesa Halava and Tero Harju",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Fundam.\ Inform",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1999",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "1-2",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "38",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "189--200",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{book-long-selman:npmv
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "R. Book and T. Long and A. Selman"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Quantitative relativizations of complexity classes"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, journal = "SIAM J.\ Computing"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, volume = "13"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, nonumber = "3"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, pages = "461--487"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "1984"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{ladner:pspace
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "R. E. Ladner"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "The computational complexity of provability in systems
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann of modal propositional logic"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, journal = "SIAM Journal on Computing"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, volume = "6"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, number = "3"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "1977"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{segerberg:essay
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "Krister Segerberg"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "An essay in classical modal logic"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, journal = "Filosofiska Studier 13"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, address = "Uppsala"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "1971"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann On the final sequence of a finitary set functor
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannTheoretical Computer Science 338(1-3): 184--199, 2005.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannA preliminary version appeared in Proceedings of CMCS 99, ENTCS 19, 1999.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Worrell05,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {James Worrell},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {On the final sequence of a finitary set functor},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Theoret.\ Comput.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2005},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {338},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {1-3},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {184--199}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Unpublished{HalpernRego06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Joseph Halpern and Leandro Chaves R{\^e}go},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Closing the {NP-PSPACE} gap in the satisfiability problem
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann for Modal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {Available on arXiv, http://arxiv.org/abs/cs/0603019},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2006}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{KupkeVenema05,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Clemens Kupke and Yde Venema},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Closure properties of coalgebra automata},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Logic in Computer Science},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {199-208},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2005},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTeditor = {Prakash Panangaden},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann organization = {IEEE}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Venema06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Yde Venema},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Automata and Fixed Point Logics: a Coalgebraic Perspective},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Inform.\ Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {To appear},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Vardi96,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Why is Modal Logic So Robustly Decidable?",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Moshe Y. Vardi",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Descriptive Complexity and Finite Models",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Descriptive Complexity and Finite Models, Proceedings
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann of a {DIMACS} Workshop, January 14-17, 1996, Princeton
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTpublisher = "American Mathematical Society",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "AMS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1996",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "31",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTeditor = "Neil Immerman and Phokion G. Kolaitis",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "149--184",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "DIMACS Ser.\ Discrete Math.\ Theoret.\
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Comput.\ Sci.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{FaginHalpernMegiddo90,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Ronald Fagin and Joseph Y. Halpern and Nimrod Megiddo},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = { A logic for reasoning about
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann probabilities},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Inform.\ Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1990},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {87},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {1,2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {78--128}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{SchroderPattinson09,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {PSPACE Bounds for Rank-1 Modal Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {ACM Trans.\ Comput.\ Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {10},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {1-33},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = {2:13},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{FaginHalpern94,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Ronald Fagin and Joseph Y. Halpern},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Reasoning about knowledge and probability},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ ACM},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1994},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {41},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {340--367}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{HalpernPucella02,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Joseph Y. Halpern and Riccardo Pucella},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A logic for reasoning about upper probabilities},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Artificial Intelligence Res.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2002},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {17},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {57--81}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{HalpernPucella02b,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Joseph Y. Halpern and Riccardo Pucella},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Reasoning about expectation},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Uncertainty in Artificial Intelligence (UAI 02)},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {207--215},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Morgan Kaufman},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2002}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InCollection{DuboisPrade82,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Didier Dubois and Henri Prade",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On several representations of an uncertain body of
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "{Fuzzy Information and Decision Processes}",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "North-Holland",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1982",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = "M. M. Gupta and E. Sanchez",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "167--181",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{OlivettiSchwind01,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "A Calculus and Complexity Bound for Minimal
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Conditional Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Nicola Olivetti and Camilla Schwind",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Theoretical Computer Science ({ICTCS} 01)",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2001",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "2202",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Antonio Restivo and Simona Ronchi Della Rocca and Luca
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "384--404",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann URL = "http://link.springer.de/link/service/series/0558/bibs/2202/22020384.htm",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{Halpern03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Joseph Y. Halpern},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = { Reasoning About Uncertainty},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {MIT Press},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2003}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@incollection{jonsson-et-al:handbook
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , author = "B. Jonsson and K. Larsen and W. Yi"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , title = "Probabilistic extensions of process algebras"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , noeditor = "J. Bergstra \etal."
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , booktitle = "Handbook of Process Algebra"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , chapter = 11
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , pages = "685--710"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , publisher = "Elsevier"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , year = "2001"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@book{gabbay:fibring
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , author = "D. Gabbay"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , title = "Fibring Logics"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , publisher = "Oxford University Press"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , year = "1998"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@incollection{bidoit-et-al:structured
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "M. Bidoit and M. V. Cengarle and R. Hennicker"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Proof systems for structured specifications and their refinements"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, editor = "H. J. Kreowski and E. Astesiano and B. Krieg-Br{\"{u}}ckner"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, booktitle = "Algebraic Foundations of Systems Specification"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, series = "IFIP State-of-the-Art Reports"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, pages = "385--434"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, publisher = "Springer"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "1999"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{borz:structured
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , author = "T. Borzyszkowski"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , title = "Logical systems for structured specifications"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , journal = TCS
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , volume = "286(2)"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , pages = "197--245"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , year = "2002"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@phdthesis{segala:diss
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "R. Segala"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Modelling and Verification of Randomized Distributed Real-Time Systems"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, school = "Massachusetts Institute of Technology"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{hansson-jonsson:probabilities
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "H. Hansson and B. Jonsson"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "A calculus for communicating systems with time and probabilities"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, booktitle = "Real-Time Systems, RTSS 90"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, publisher = "IEEE"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, pages = "278--287"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "1990"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@phdthesis{hansson:phd
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "H. Hansson"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Time and probability in formal design of distributed systems"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, institution = "University of Uppsala"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, number = "DoCS 91/27"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "1991"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{segala-lynch:simulation
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "R. Segala and N.A. Lynch"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Probabilistic simulations for probabilistic processes"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, journal = "Nordic Journal of Computing"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, volume = "2"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, number = "2"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, pages = "250--273"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "1995"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@incollection{wolter:fusion
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , author = "F. Wolter"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , title = "Fusions of modal logics revisited"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , booktitle = "Advances in modal logic"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , volume = "1"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , year = "1998"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , series = "CSLI Lect.\ Notes"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , pages = "361\--379"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann , publisher = "CSLI"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@incollection{baader-et-al:fusion
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "F. Baader and C. Lutz and H. Sturm and F. Wolter"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Fusions of description logics and abstract description systems"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, journal = "Journal of Artificial Intelligence Research (JAIR)"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, number = "16"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, pages = "1-\-58"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "2002"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{hemaspaandra:transfer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannauthor = {Edith Hemaspaandra},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanntitle = {Complexity transfer for modal logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannALTbooktitle = {Proceedings of the Ninth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1994},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbooktitle = {Logic in Computer Science, {LICS} 94},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannnoeditor = {Samson Abramsky},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannpages = {164--173},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannALTpublisher = {IEEE Computer Society Press},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannpublisher = {IEEE}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InCollection{Kurucz06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Agi Kurucz},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = {J. van Benthem and P. Blackburn and F. Wolter},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Handbook of Modal Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Combining modal logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Elsevier},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2006},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTvolume = {3},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTseries = {Studies in Logic and Practical Reasoning}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InCollection{JonssonEA01,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "B. Jonsson and W. Yi and K. G. Larsen",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = "J. Bergstra and A. Ponse and S.M. Smolka",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Probabilistic Extensions of Process Algebras",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Handbook of Process Algebra",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Elsevier",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2001",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = "Amsterdam",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nopages = "685",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{KutzEA03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {O. Kutz and C. Lutz and F. Wolter and M. Zakharyaschev},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {{$\mathcal E$}-Connections of Abstract Description Systems},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Artificial Intelligence},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2004},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Volume = {156},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noNumber = {1},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Pages = {1--73}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{SchroderPattinson07mcs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Rank-1 Modal Logics are Coalgebraic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = {Wolfgang Thomas and Pascal Weil},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Theoretical Aspects of Computer Science, STACS 07},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {573--585},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {4393},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{HorrocksEA99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Practical reasoning for expressive description logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Logic for Programming and Automated Reasoning, LPAR 99},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {161--180},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1999},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {H. Ganzinger an D. McAllester and A. Voronkov},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {1705},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Sattler96,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Sattler, Ulrike},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Concept Language Extended
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannwith Different Kinds of Transitive Roles},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = {20. Deutsche Jahrestagung f{\"ur} K{\"u}nstliche Intelligenz},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {K{\"u}nstliche Intelligenz, KI 96},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lnai,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = 1137,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {G{\"o}rz, G. and H{\"o}lldobler, S.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{HorrocksGough97,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Description Logics with Transitive Roles",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Ian Horrocks and Graham Gough",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/conf/dlog/dlog1997.html#HorrocksG97",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Description Logics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Proceedings of the 1997 International Workshop on
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Description Logics, Universit{\'e} Paris-Sud, Centre
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann d'Orsay, Laboratoire de Recherche en Informatique
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1997",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "410",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Ronald J. Brachman and Francesco M. Donini and Enrico
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Franconi and Ian Horrocks and Alon Y. Levy and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Marie-Christine Rousset",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "URA-CNRS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noURL = "http://dl.kr.org/dl97/proceedings/horrocks.ps.gz",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{KazakovEA07,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {How many legs do {I} have? {N}on-simple roles in number
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann restrictions revisited},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTcrossref = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = {Proc. of the 14th Int. Conf. on Logic for Programming,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Artificial Intelligence, and Reasoning, LPAR 2007, Yerevan,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Armenia October 15-19, 2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Logic for Programming, Artificial Intelligence, and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Reasoning, LPAR 2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "4790",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Nachum Dershowitz and Andrei Voronkov",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ISBN = "978-3-540-75558-6",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "303--317",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@book{BaaderEA03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTtitle = "The Description Logic Handbook: Theory,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Implementation, and Applications",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "The Description Logic Handbook",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Cambridge University Press",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2004-03-04",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/conf/dlog/handbook2003.html",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = "Franz Baader and Diego Calvanese and Deborah L.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann McGuinness and Daniele Nardi and Peter F.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Patel-Schneider",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ISBN = "0-521-78176-0",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Lewis74,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {David Lewis},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Intensional Logics without Iterative Axioms},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Philos.\ Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1975},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {3},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {457--466}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{HalpernMoses92,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Joseph Y. Halpern and Yoram O. Moses",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "A Guide to Completeness and Complexity for Modal
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Logics of Knowledge and Belief",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "319--379",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Artificial Intelligence",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "54",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "3",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nomonth = apr,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1992",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = elsevier,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Schild91,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Klaus Schild",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "A Correspondence Theory for Terminological Logics:
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Preliminary Report",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "466--471",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ISBN = "1-55860-160-0",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Ray Myopoulos and John Reiter",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = " Artificial Intelligence, IJCAI 1991",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = "Sydney, Australia",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nomonth = aug,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1991",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Morgan Kaufmann",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Cerrato94,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Decidability by Filtrations for graded normal logics
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann (graded modalities {V})",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Claudio Cerrato",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Studia Logica",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1994",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "1",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "53",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2004-01-09",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/journals/sLogica/sLogica53.html#Cerrato94",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "61--74",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@PhdThesis{TobiesThesis,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Stephan Tobies},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Complexity results and practical algorithms for logics in
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Knowledge Representation},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann school = {RWTH Aachen},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2001},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InCollection{Skyrms80,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Brian Skyrms",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Higher order degrees of belief",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Prospects for Pragmatism: Essays in Honor of F.\ P.\
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = "D.~H. Mellor",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Cambridge University Press",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = "Cambridge, UK",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1980",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{SchroderPattinson07,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Modular algorithms for heterogeneous
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann modal logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Automata, Languages and Programming, ICALP 07},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Lars Arge and Andrzej Tarlecki and Christian Cachin},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {459--471},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {4596},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Wobcke95,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Belief Revision, Conditional Logic and Nonmonotonic
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Wayne Wobcke",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "55--102",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Notre Dame J.\ Formal Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nomonth = "Winter",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1995",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "36",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "1",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{JonesParent07,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Andrew J. I. Jones and Xavier Parent",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "A convention-based approach to agent communication languages",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Group Decision and Negotiation",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "16",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2007",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "101-141",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "2",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = "Earlier version in {\emph{Advances in Agent Communication}}, vol. 2922 of
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann {\emph{LNAI}}, Springer, 2004, pp. 1\-17."
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Unpublished{Schroder08,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Semantic PSPACE Criterion for the Next 700
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Non-Iterative Modal Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {Manuscript},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTmonth = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTannote = {}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{OlivettiEA07,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Nicola Olivetti and Gian Luca Pozzato and Camilla Schwind},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {A Sequent Calculus and a Theorem Prover for Standard
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Conditional Logics },
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {ACM Trans.\ Comput.\ Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {8},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = {4:22},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {1--51},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{PattinsonSchroder08,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Dirk Pattinson and Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Beyond Rank 1: Algebraic Semantics and Finite Models for
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Coalgebraic Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {Manuscript},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{HorrocksEA03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "From {SHIQ} and {RDF} to {OWL}: the making of a Web
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Ontology Language",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Ian Horrocks and Peter F. Patel-Schneider and Frank
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann van Harmelen",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "J.\ Web Sem.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = 1,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2005-01-05",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/journals/ws/ws1.html#HorrocksPH03",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "7--26",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noURL = "http://dx.doi.org/10.1016/j.websem.2003.07.001",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@INPROCEEDINGS{RectorHorrocks97,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann AUTHOR = {A. Rector and I. Horrocks},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann TITLE = {Experience Building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noURL = {download/1997/aaai-spring-symposium.ps.gz},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {AAAI Spring Symposium, AAAI 1997},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {AAAI Press},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = {Menlo Park},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{PrattHartmann08,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Ian Pratt-Hartmann},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {On the Computational Complexity of the Numerically
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Definite Syllogistic and Related Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Bull.\ Symb.\ Log.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2008},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {14},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {1},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {1--28}}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Unpublished{KurzRosicky,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Alexander Kurz and Ji{\v{r}\'i} Rosick{\'y}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Strongly complete logics for coalgebras},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {Draft},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2006}}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Segerberg89,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Krister Segerberg},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Notes on conditional logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Stud.\ Log.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1989},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {48},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {157--168}}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{DeCaro88,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Francesco {De Caro}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Graded modalities {II}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Stud.\ Log.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1988},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {47},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {1--10}}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannM. FATTOROSI-BARNABAand C. CERRATO,, Studia Logica 47 (1988),
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{FattorosiBarnabaCerrato88,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {M. Fattorosi-Barnaba and C. Cerrato},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Graded modalities {III}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Stud.\ Log.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1988},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {47},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {99--110}}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@book{Mares04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannauthor = "E. Mares",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannyear = "2004",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanntitle = "Relevant Logic: A Philosophical Interpretation",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannpublisher = "Cambridge University Press"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InCollection{FriedmanHalpern94,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Nir Friedman and Joseph Y. Halpern",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On the Complexity of Conditional Logics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Knowledge Representation and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Reasoning, KR 94",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Morgan Kaufmann",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1994",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Jon Doyle and Erik Sandewall and Pietro Torasso",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "202--213",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = "San Francisco, California",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Burgess81,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "John Burgess",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Quick Completeness Proofs for Some Logics of
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Conditionals",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Notre Dame J.\ Formal Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1981",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "22",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "76--84",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{SchroderPattinson08PHQ,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {How Many Toes Do {I} Have? {P}arthood and Number Restrictions
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann in Description Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2008},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Gerhard Brewka and Jer{\^o}me Lang},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Principles of Knowledge Representation and Reasoning, KR 2008},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {AAAI Press},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {307-218},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{SchroderPattinson08d,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Shallow models for non-iterative modal logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2008},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Andreas Dengel and Karsten Berns and Thomas Breuel and Frank Bomarius and Thomas Roth-Berghofer},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Advances in Artificial Intelligence, KI 2008},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lnai,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {5243},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {324-331},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Papadimitriou81,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On the complexity of integer programming",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTauthor = "Christos H. Papadimitriou",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Christos Papadimitriou",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "J.\ ACM",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1981",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "4",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "28",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "765--768",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noURL = "http://doi.acm.org/10.1145/322276.322287",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Misc{DL-navigator,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Evgeny Zolin},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {The Description Logic Complexity Navigator},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann howpublished = {http://www.cs.man.ac.uk/ $\sim$ezolin/dl},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTmonth = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnote = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTannote = {}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann @inproceedings{DemriLugiez06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = {Seattle, Washington, USA},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Demri, St{\'e}phane and Lugiez, Denis},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = {{P}roceedings of the 3rd {I}nternational {J}oint {C}onference on {A}utomated {R}easoning ({IJCAR}'06)},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Automated Reasoning, IJCAR 06},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann DOI = {10.1007/11814771_44},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Furbach, Ulrich and Shankar, Natarajan},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nomonth = aug,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {541-556},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lnai,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {{P}resburger Modal Logic is Only {PSPACE}-complete},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann url = {http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/ rr-lsv-2006-15.pdf},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {4130},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2006},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@TechReport{BaaderEA05,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {F. Baader and M. Milicic and C. Lutz and U. Sattler and F. Wolter},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Integrating Description Logics and Action Formalisms for Reasoning about Web Services},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann institution = {Dresden University of Technology},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann type = {LTCS-Report},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = {LTCS-05-02},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noaddress = {Germany},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {Available under
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://lat.inf.tu-dresden.de/research/reports.html.}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@INPROCEEDINGS{GlimmEA08,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann AUTHOR = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTBOOKTITLE = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Representation and Reasoning (KR~2008)},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann BOOKTITLE = {Principles of Knowledge Representation and Reasoning,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann DATE-ADDED = {2008-06-14 19:12:08 +0100},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann DATE-MODIFIED = {2008-06-14 19:15:41 +0100},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann TITLE = {Unions of Conjunctive Queries in {$\mathcal{SHOQ}$}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann URL = {download/2008/GlHS08b.pdf},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann YEAR = {2008},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {252--263},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann organisation = {AAAI}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{PattinsonSchroder08b,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Dirk Pattinson and Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Admissibility of Cut in Coalgebraic Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2008},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {J. Adamek and C. Kupke},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Coalgebraic Methods in Computer Science, CMCS 08},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Elsevier},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = entcs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {203},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {221-241},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@INPROCEEDINGS{blackburn02:tableaux,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {P. Blackburn and M. Marx},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Tableaux for Quantified Hybrid Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Automated Reasoning with Analytic Tableaux and Related Method},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {U. Egly and C. Ferm\"uller},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = 2381,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {LNAI},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {38--52},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@ARTICLE{seligman01:inter,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {J. Seligman},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Internalization: The Case of Hybrid Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Logic Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2001},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {11},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {671--689},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = {5},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@ARTICLE{BolanderBlackburn2007term,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {T. Bolander and P. Blackburn},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Termination for Hybrid Tableaus},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Logic Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {17},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {517-554},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = {3},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@ARTICLE{Brauner03a,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {T. Bra{\"u}ner},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Natural Deduction for First-Order Hybrid Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Logic, Language and Information},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2005},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {14},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {173--198},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InCollection{Areces:2006:HL,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "C. Areces and B. ten Cate",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Hybrid Logics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Handbook of Modal Logics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Elsevier",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = "P. Blackburn and F. Wolter and J. van Benthem",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Book{Troelstra:1996:BPT,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "A. Troelstra and H. Schwichtenberg",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Basic Proof Theory",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "43",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Cambridge University Press",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1996",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noseries = "Cambridge Tracts in Theoretical Computer Science",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Tsarkov:2006:FDL,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "D. Tsarkov and I. Horrocks",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Proc.\ of the Int.\ Joint Conf.\ on Automated
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Reasoning (IJCAR~2006)",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Automated Reasoning, IJCAR~2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "{FaCT}++ Description Logic Reasoner: System
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Description",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "4130",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "292--297",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "LNAI",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Haarslev:2004:EQF,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "V. Haarslev and R. M{\"o}ller and R. van der
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann and M. Wessel",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Proceedings of the 2004 International Workshop on
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Description Logics (DL-2004), Whistler, BC, Canada,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbooktitle = "Description Logics, DL 2004",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Extended Query Facilities for Racer and an
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann to Software-Engineering Problems",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "148--157",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2004",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Sirin:2006:PPO,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "E. Sirin and B. Parsia and B. Cuenca Grau and A.
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Kalyanpur and Y. Katz",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Pellet: {A} practical {OWL}-{DL} reasoner",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "J.\ Web Semantics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{HausmannSchroder10,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Daniel Hausmann and Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Optimizing Conditional Logic Reasoning within CoLoSS (System Description)},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2010},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {T. Bolander and T. Bra{\"u}ner},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Methods for Modalities, M4M-6},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = elsevier,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = entcs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {262},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {157-171},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{HorrocksPatelSchneider99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "I. Horrocks and P.F. Patel-Schneider",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Optimizing Description Logic Subsumption",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Journal of Logic and Computation",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {9(3)},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {267-293},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1999",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{CalinEA09,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Georgel Calin and Rob Myers and Dirk Pattinson and Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description)},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Carlos Areces and Stephane Demri},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Methods for Modalities, M4M-5},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = elsevier,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = entcs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {231},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {41-54},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@techreport{pattinsonschroder:cut-elim,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "L. Schr{\"{o}}der and D. Pattinson",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Cut Elimination in Coalgebraic Logics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann institution = "Imperial College London",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{SchroderPattinson08b,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Rank-1 modal logics are coalgebraic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Journal of Logic and Computation},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = { },
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {To appear},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{BlackburnTzakova99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Hybrid Languages and Temporal Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Patrick Blackburn and Miroslava Tzakova",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Logic J.\ IGPL",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1999",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "1",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "7",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2003-09-24",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/journals/igpl/igpl7.html#BlackburnT99",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "27--54",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann URL = "http://www3.oup.co.uk/igpl/Volume_07/Issue_01/#blackburn",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@PhDThesis{TencateThesis,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Balder {\noopsort{Cate}}{ten Cate}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann key = {Cate},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Model theory for extended modal languages},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2005},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {ILLC Dissertation Series DS-2005-01},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann school = {University of Amsterdam}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{BezhanishviliTenCate06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Nick Bezhanishvili and Balder ten Cate},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Transfer results for hybrid logic. {P}art 1: the case without satisfaction operators},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J.\ Logic Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2006},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {16},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {177--197},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{Areces99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannauthor = "C. Areces and P. Blackburn and M. Marx",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanntitle ="A road-map on complexity for hybrid logics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanneditor = "J. Flum and M. Rodr{\`{\i}}guez-Artalejo",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannbooktitle = "Proc. 8th Annual Conference on Computer Science Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannseries = "LNCS",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannnumber = "1683",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmannpages = "307--321",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{Tzakova99,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {M. Tzakova},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Tableau Calculi for Hybrid Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Proc. Automated Reasoning with Analytic Tableaux and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannRelated Methods (TABLEAUX)},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1999},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {278-292},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = {N. Murray},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {LNCS},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {1617},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@article{Bolander06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Thomas Bolander and
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Torben Bra{\"u}ner},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Tableau-based Decision Procedures for Hybrid Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {J. Log. Comput.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {16},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = {6},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2006},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {737-763},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Goble04,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "A Proposal for Dealing with Deontic Dilemmas",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Lou Goble",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Deontic Logic in Computer Science, 7th International
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Workshop on Deontic Logic in Computer Science, {DEON}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann 2004, Madeira, Portugal, May 26-28, 2004. Proceedings",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Deontic Logic in Computer Science, DEON 2004",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2004",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "3065",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Alessio Lomuscio and Donald Nute",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "74--113",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lnai,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{HorrocksEA07,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Hybrid Logics and Ontology Languages",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Ian Horrocks and Birte Glimm and Ulrike Sattler",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = entcs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2007",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = "6",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "174",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2007-06-01",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/journals/entcs/entcs174.html#HorrocksGS07",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "3--14",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann URL = "http://dx.doi.org/10.1016/j.entcs.2006.11.022",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "International Workshop on Hybrid Logic, HyLo 2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{Schroder09
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = " L. Schr{\"{o}}der and D. Pattinson"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Strong Completeness of Coalgebraic Modal Logics"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, booktitle = "Proc. STACS 2009"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "2009"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, editor = "S. Albers and J.-Y. Marion"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, note = "to appear"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{MyersEA09,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Rob Myers and Dirk Pattinson and Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Coalgebraic Hybrid Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Foundations of Software Science and Computation Structures, FOSSACS 2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {Springer},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {To appear},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{SchroderPattinson09b,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Lutz Schr{\"o}der and Dirk Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Strong completeness of coalgebraic modal logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Susanne Albers and Jean-Yves Marion},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Theoretical Aspects of Computer Science, STACS 2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {To appear},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{GlimmEA06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Conjunctive Query Answering for Description Logics
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann with Transitive Roles",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Birte Glimm and Ian Horrocks and Ulrike Sattler",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2007-10-31",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/conf/dlog/dlog2006.html#GlimmHS06",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Description Logics, DL 2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Proceedings of the 2006 International Workshop on
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Description Logics ({DL2006}), Windermere, Lake
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann District, {UK}, May 30 - June 1, 2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "189",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Bijan Parsia and Ulrike Sattler and David Toman",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "CEUR Workshop Proceedings",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann URL = "http://www.ceur-ws.org/Vol-189/submission_5.pdf",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{BlackburnTenCate06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Pure Extensions, Proof Rules, and Hybrid Axiomatics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Patrick Blackburn and Balder ten Cate",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Stud.\ Log.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "2",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "84",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2007-12-19",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/journals/sLogica/sLogica84.html#BlackburnC06",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "277--322",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann URL = "http://dx.doi.org/10.1007/s11225-006-9009-6",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Marx02,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Maarten Marx},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Narcissists, Stepmothers and Spies},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTcrossref = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {International Workshop on Description Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTpages = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2002},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTeditor = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTvolume = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = "CEUR Workshop Proceedings",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTaddress = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTmonth = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTorganization = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnote = {},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTannote = {}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{CirsteaEA09,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Corina Cirstea and Alexander Kurz and Dirk Pattinson and Lutz Schr{\"o}der and Yde Venema},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Modal logics are coalgebraic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {The Computer Journal},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann note = {In print},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{JaninWalukiewicz95,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Author = {D. Janin and I. Walukiewicz},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Booktitle = {Mathematical Foundations of Computer Science, MFCS 1995},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {969},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {552--562},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Title = {Automata for the modal {$\mu$}-calculus and related results},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Year = {1995}}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{HansenEA07,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Bisimulation for Neighbourhood Structures",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Helle Hvid Hansen and Clemens Kupke and Eric Pacuit",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2007-08-28",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/conf/calco/calco2007.html#HansenKP07",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Algebra and Coalgebra in Computer Science, CALCO 2007",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Algebra and Coalgebra in Computer Science, Second
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann International Conference, {CALCO} 2007, Bergen, Norway,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann August 20-24, 2007, Proceedings",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "Springer",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2007",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "4624",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Till Mossakowski and Ugo Montanari and Magne
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ISBN = "978-3-540-73857-2",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "279--293",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann URL = "http://dx.doi.org/10.1007/978-3-540-73859-6_19",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{Gaifman82,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "H. Gaifman",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On Local and Non-Local Properties",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = "J. Stern",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Logic Colloquium 1981",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Proc. of the Herbrand Symposium, Logic Colloquium
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "105--135",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1982",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTpublisher = "North Holland Pub. Co.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = "North Holland",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann hb-library = "h mat 010 i/50-82",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@incollection{Otto06,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {M. Otto},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Bisimulation Invariance and Finite Models},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Logic Colloquium 2002},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = {Lect.\ Notes Log.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {27},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann editor = {Z. Chatzidakis, P. Koepke, W. Pohlers},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {276-298},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = {ASL},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Rosen97,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Modal Logic over Finite Structures",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Eric Rosen",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTjournal = "Journal of Logic, Language and Information",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "J.\ Logic, Language and Information",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1997",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = "4",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "6",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2002-01-03",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/journals/jolli/jolli6.html#Rosen97",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "427--439",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@PhdThesis{BenthemThesis,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "J. van Benthem",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann school = "Department of Mathematics, University of Amsterdam",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Modal Correspondence Theory",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1978",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Rijke00,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "A Note on Graded Modal Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Maarten de Rijke",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "Stud.\ Log.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2000",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "2",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "64",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2002-11-28",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/journals/sLogica/sLogica64.html#Rijke00",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "271--283",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Elgesem97,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Dag Elgesem},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {The modal logic of agency},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Nordic J.\ Philos.\ Logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1997},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {1--46}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@inproceedings{PacuitSalame04
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, author = "Eric Pacuit and Samer Salame"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, title = "Majority Logic"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, booktitle = " Principles of Knowledge Representation and Reasoning, KR 04"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, noeditor = "D. Dubois and C.A. Welty and M.-A. Williams"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, publisher = "AAAI Press"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, pages = "598--605"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann, year = "2004"
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Ladner77,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Richard Ladner",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "The computational complexity of provability in systems
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann of modal propositional logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "SIAM J.\ Comput.",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "6",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "1977",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "467--480",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{GovernatoriRotolo05,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Guido Governatori and Antonino Rotolo",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "On the Axiomatisation of {E}lgesem's Logic of Agency
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann and Ability",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = "J.\ Philos.\ Logic",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2005",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "34",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann nonumber = "4",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "403--431",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{Halpern95,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Joseph Halpern},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = { The effect of bounding the number of primitive
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann propositions and the depth of nesting on the complexity
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann of modal logic},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Artificial Intelligence},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1995},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {75},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {361--372}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{FattorosiBarnabaDeCaro85,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {M. Fattorosi-Barnaba and F. {De Caro}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Graded Modalities {I}},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Stud.\ Log.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {1985},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {44},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann OPTnumber = {2},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {197--221}}
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{CholvyEA05,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "Ability in a Multi-agent Context: {A} Model in the
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Situation Calculus",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Laurence Cholvy and Christophe Garion and Claire
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2006",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "3900",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2006-05-02",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/conf/clima/climaVI2005.html#CholvyGS05",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Computational Logic in Multi-Agent Systems, CLIMA 2005",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Francesca Toni and Paolo Torroni",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ISBN = "3-540-33996-5",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "23--36",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noURL = "http://dx.doi.org/10.1007/11750734_2",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@Article{CirsteaPattinson07,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {C. C{\^i}rstea and D. Pattinson},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Modular Construction of Modal Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann journal = {Theoret.\ Comput.\ Sci.},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {388},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann number = {1-3},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = {83-108},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2007},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{PattinsonSchroder09a,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = {Dirk Pattinson and Lutz Schr{\"o}der},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = {Generic Modal Cut Elimination Applied to Conditional Logics},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = {2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = {Martin Giese and Arild Waaler},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = {5607},
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann@InProceedings{OlivettiPozzato03,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann title = "{CondLean}: {A} Theorem Prover for Conditional Logics",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann author = "Nicola Olivetti and Gian Luca Pozzato",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibdate = "2003-11-04",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann bibsource = "DBLP,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann http://dblp.uni-trier.de/db/conf/tableaux/tableaux2003.html#OlivettiP03",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "TABLEAUX",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ALTbooktitle = "Automated Reasoning with Analytic Tableaux and Related
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Methods, International Conference, {TABLEAUX} 2003,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Rome, Italy, September 9-12, 2003. Proceedings",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann booktitle = "Automated Reasoning with Analytic Tableaux and Related
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann Methods, {TABLEAUX} 2003",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann publisher = springer,
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann year = "2003",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann volume = "2796",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann noeditor = "Marta Cialdea Mayer and Fiora Pirri",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann ISBN = "3-540-40787-1",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann pages = "264--270",
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann series = lncs,