a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach@PREAMBLE{ {\providecommand{\noopsort}[1]{}} }

8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy Gimblett

e071fb22ea9923a2a4ff41184d80ca46b55ee932Till Mossakowski@string{lncs="LNCS"}

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach@string{entcs="ENTCS"}

97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder@string{lnai="LNAI"}

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach@string{elsevier="Elsevier"}

b4fbc96e05117839ca409f5f20f97b3ac872d1edTill Mossakowski@string{springer="Springer"}

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach@Book{AdamekHerrlich90,

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach author = {J. Ad{\'a}mek and H. Herrlich and G. E. Strecker},

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder title = {Abstract and Concrete Categories},

8267b99c0d7a187abe6f87ad50530dc08f5d1cdcAndy Gimblett publisher = {Wiley Interscience},

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach year = 1990,

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach}

fbb2d28086a1860850f661fbf4af531322bac405Christian Maeder

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach@article{Barr93,

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach title = "Terminal coalgebras in well-founded set theory",

ad270004874ce1d0697fb30d7309f180553bb315Christian Maeder author = "M. Barr",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett journal = "Theoret.\ Comput.\ Sci.",

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach volume = "114",

06dd4e7c29f33f6122a910719e3bd9062256e397Andy Gimblett year = "1993",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett pages = "299-315",

e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimblett}

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett

e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimblett

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett@InProceedings{BartelsEA03,

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett author = {F. Bartels and A. Sokolova and E. de Vink},

90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett title = {A hierarchy of probabilistic system types},

90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett booktitle = {Coalgebraic Methods in Computer Science},

e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimblett year = {2003},

d326dac41dadbe2b84bb7021cbfd91f4dd4a19bcAndy Gimblett OPTeditor = {},

b22c258cca179a5ffe777b64b32e10687c5f6b2cAndy Gimblett volume = {82},

e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimblett OPTnumber = {},

9f6d67c9b0e2661e7967b435f17a27687929144fAndy Gimblett series = {ENTCS},

d326dac41dadbe2b84bb7021cbfd91f4dd4a19bcAndy Gimblett publisher = {Elsevier}

d326dac41dadbe2b84bb7021cbfd91f4dd4a19bcAndy Gimblett}

d326dac41dadbe2b84bb7021cbfd91f4dd4a19bcAndy Gimblett

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett@article{Bartels03,

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett author = {F. Bartels},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett title = {Generalised Coinduction},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett journal = {Math.\ Struct.\ Comput.\ Sci.},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett volume = {13},

9f6d67c9b0e2661e7967b435f17a27687929144fAndy Gimblett nonumber = {2},

e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimblett year = {2003},

90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett pages = {321-348},

d326dac41dadbe2b84bb7021cbfd91f4dd4a19bcAndy Gimblett}

06dd4e7c29f33f6122a910719e3bd9062256e397Andy Gimblett

90047eafd2de482c67bcd13103c6064e9b0cb254Andy Gimblett

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett

9f6d67c9b0e2661e7967b435f17a27687929144fAndy Gimblett@Article{Bizard90,

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett author = {W. Blizard},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett title = {Negative membership},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett journal = {Notre Dame J.\ Formal Logic},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett year = {1990},

9f6d67c9b0e2661e7967b435f17a27687929144fAndy Gimblett volume = {31},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett pages = {346--368}

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett}

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett@Book{CASL-UM,

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett author = "M. Bidoit and P. D. Mosses",

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett title = "\textsc{Casl} User Manual",

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett publisher = "Springer",

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett year = "2004",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett series = "LNCS",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett volume = "2900",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett}

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett@Book{Chellas80,

9f6d67c9b0e2661e7967b435f17a27687929144fAndy Gimblett author = {B. Chellas},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett title = {Modal Logic},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett publisher = {Cambridge University Press},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett year = {1980}

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett}

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett

9f6d67c9b0e2661e7967b435f17a27687929144fAndy Gimblett@Article{Rutten00,

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett author = "J. Rutten",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett title = "Universal Coalgebra: A Theory of Systems",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett journal = "Theoret.\ Comput.\ Sci.",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett volume = "249",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett pages = "3--80",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett year = "2000",

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett}

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett@Article{DAgostinoVisser02,

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett author = {G. D'Agostino and A. Visser},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett title = {Finality regained:

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett A coalgebraic study of {Scott}-sets and multisets},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett journal = {Arch.\ Math.\ Logic},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett year = {2002},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett volume = {41},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett OPTnumber = {},

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett pages = {267--298}

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett}

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett

8528886a04f14abe0ddf80f50c853cc25bc821cdAndy Gimblett

e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimblett@Article{GlabbeekEA95,

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett author = {R. Van Glabbeek and S. Smolka and B. Steffen and C. Tofts},

d326dac41dadbe2b84bb7021cbfd91f4dd4a19bcAndy Gimblett title = {Reactive, generative and stratified models for

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett probabilistic processes.},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett journal = {Inform.\ and Comput.},

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach year = {1995},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett volume = {121},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett OPTnumber = {},

41486a487c9b065d4d9d1a8adf63c00925cd455bAndy Gimblett OPTpages = {59--80}

929190acb9f2b2f5857dce841c5a389710895515Andy Gimblett}

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett

41486a487c9b065d4d9d1a8adf63c00925cd455bAndy Gimblett

41486a487c9b065d4d9d1a8adf63c00925cd455bAndy Gimblett@InProceedings{HansenKupke04,

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett author = {H. H. Hansen and C. Kupke},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett title = {A Coalgebraic Perspective on Monotone Modal Logic},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett booktitle = {Coalgebraic Methods in Computer Science},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett pages = {121--143},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett year = {2004},

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett noeditor = {J.\ Ad{\'a}mek and S.\ Milius},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett volume = {106},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett series = {ENTCS},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett publisher = {Elsevier}

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett}

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett@Article{JonssonTarski51,

d297a45fc73aa6c4a1f9d073c3170611415f324bAndy Gimblett author = {B. J{\'o}nnson and A. Tarski},

eca4db63ed0bdbd93b62678feea6e3eb80aa47bbChristian Maeder title = {Boolean algebras with operators {I}},

1df33829303cbf924aa018ac5ce9a28e69c17d22Till Mossakowski journal = {Amer.\ J.\ Math.},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett year = {1951},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett volume = {73},

1df33829303cbf924aa018ac5ce9a28e69c17d22Till Mossakowski pages = {891--939}

1df33829303cbf924aa018ac5ce9a28e69c17d22Till Mossakowski}

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett@inproceedings{Reichel99,

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett author = {H. Reichel},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett title = {A Uniform Model Theory for the Specification of Data

41486a487c9b065d4d9d1a8adf63c00925cd455bAndy Gimblett and Process Types},

e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimblett booktitle = "Recent Developments in Algebraic Development Techniques,

e771539425f4a0abef9f94cf4b63690f3603f682Andy Gimblett 14th International Workshop (WADT 99)",

03136b84a0c70d877e227444f0875e209506b9e4Christian Maeder series = "LNCS",

b3dca469a9e267d6d71acfdeca7bf284d0581dc7Till Mossakowski publisher = "Springer",

41486a487c9b065d4d9d1a8adf63c00925cd455bAndy Gimblett year = 2000,

b3dca469a9e267d6d71acfdeca7bf284d0581dc7Till Mossakowski volume = {1827},

41486a487c9b065d4d9d1a8adf63c00925cd455bAndy Gimblett pages = {348--365},

41486a487c9b065d4d9d1a8adf63c00925cd455bAndy Gimblett}

03136b84a0c70d877e227444f0875e209506b9e4Christian Maeder

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett@InProceedings{Klin04,

1df33829303cbf924aa018ac5ce9a28e69c17d22Till Mossakowski author = {B. Klin},

b3dca469a9e267d6d71acfdeca7bf284d0581dc7Till Mossakowski title = {A Coalgebraic Approach to Process Equivalence and a

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett Coinduction Principle for Traces},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett booktitle = {Coalgebraic Methods in Computer Science},

41486a487c9b065d4d9d1a8adf63c00925cd455bAndy Gimblett pages = {201--218},

afd6ed16928bbd774b6c6c5b3f440a917dd638a1Andy Gimblett year = {2004},

NOeditor = {J. Ad{'a}mek and S. Milius},

volume = {106},

series = {ENTCS},

publisher = {Elsevier}

}

@PhdThesis{KurzThesis,

author = {A. Kurz},

title = {Logics for Coalgebras and Applications to Computer Science},

school = {Universit{\"a}t M{\"u}nchen},

year = {2000},

}

@InProceedings{KupkeEA04,

author = {Clemens Kupke and Alexander Kurz and Dirk Pattinson},

title = {Algebraic Semantics for Coalgebraic Logics},

booktitle = {Coalgebraic Methods in Computer Science},

year = {2004},

pages = {219--241},

noeditor = {Ji{\v{r}}i Ad{\'a}mek and Stefan Milius},

volume = {106},

series = entcs,

publisher = {Elsevier}

}

@Article{Kurz01,

author = "A. Kurz",

title = "Specifying Coalgebras with Modal Logic",

journal = "Theoret.\ Comput.\ Sci.",

volume = "260",

pages = {119-138},

year = "2001",

}

@Article{GummSchroeder,

author = {H. P. Gumm and T. Schr\"oder},

title = {Coalgebras of bounded type},

journal = {Math.\ Struct.\ Comput.\ Sci.},

note = {to appear}

}

@Book{CASL-RM,

editor = {P. D. Mosses},

title = {{\CASL} Reference Manual},

publisher = "Springer",

series = "LNCS",

volume = 2960,

year = 2004,

}

@Article{CirsteaPattinson04,

author = {C. C{\^i}rstea and D. Pattinson},

title = {Modular Construction of Modal Logics},

journal = {Theoret.\ Copmut.\ Sci.},

note = {To appear. Earlier version in {\emph{Concurrency Theory,

CONCUR 04}}, vol.\ 3170 of {\emph{LNCS}}, pp.\ 258--275,

Springer, 2004},

OPTannote = {}

}

@Article{Cirstea04,

author = {C. C{\^i}rstea},

title = {A compositional approach to defining logics for

coalgebras},

journal = {Theoret.\ Comput.\ Sci.},

year = {2004},

volume = {327},

pages = {45--69}

}

@Article{Kozen83,

author = "D. Kozen",

title = "Results on the propositional {$\mu$-calculus}",

journal = "Theoret.\ Comput.\ Sci.",

volume = "27",

pages = "333--354",

year = "1983",

}

@ARTICLE{Tarlecki85,

AUTHOR = "A. Tarlecki",

TITLE ="On the Existence of Free Models in Abstract Algebraic Institutions",

JOURNAL = "Theoret.\ Comput.\ Sci. ",

VOLUME = 37,

PAGES = {269--304},

YEAR = 1985}

@incollection{Kurz02,

author = {A. Kurz},

title = {Logics Admitting Final Semantics},

pages = {238--249},

booktitle = {Foundations of Software Science and Computation

Structures},

publisher = {Springer},

series = {LNCS},

volume = {2303},

year = {2002},

}

@Misc{Kurz01b,

author = {A. Kurz},

title = {Coalgebras and Modal Logic},

howpublished = {Course Notes for the European Summer School on Logic,

Language and Information (CD-ROM),

University of Helsinki},

year = {2001}

}

@article{LarsenSkou91,

author = {K. Larsen and A. Skou},

title = {Bisimulation through probabilistic testing},

journal = {Inform.\ Comput.},

volume = {94},

nonumber = {1},

year = {1991},

issn = {0890-5401},

pages = {1--28},

nopublisher = {Academic Press, Inc.},

}

@incollection{GoguenLinRosu00,

title = {Conditional Circular Coinductive Rewriting},

author = {J. Goguen and K. Lin and G. Rosu},

booktitle = {Automated Software Engineering},

publisher = {IEEE Press},

year = 2000,

pages = {123--131},

}

@Article{HennessyMilner85,

author = "M. Hennessy and R. Milner",

journal = "J.\ ACM",

pages = "137--161",

title = "Algebraic Laws for Non-Determinism and

Concurrency",

volume = "32",

year = "1985",

}

@Article{Cirstea02,

author = "C. C{\^\i}rstea",

title = "On Specification Logics for Algebra-Coalgebra

Structures: Reconciling Reachability and

Observability",

journal = "LNCS",

volume = "2303",

pages = "82--97",

year = "2002",

}

@inproceedings{PowerWatanabe00,

author = {J. Power and H. Watanabe},

title = {An axiomatics for categories of coalgebras},

series = {ENTCS},

booktitle = {Coalgebraic Methods in Computer Science},

volume = {11},

publisher = {Elsevier},

noeditor = {B. Jacobs and L. Moss and H. Reichel and J. Rutten},

year = {2000}

}

@phdthesis{rosu00,

title = "Hidden Logic",

author = "G. Ro\c{s}u",

year = 2000,

school = "Univ.\ of California at San Diego"}

@InProceedings{BidoitHennicker02,

author = "M. Bidoit and R. Hennicker",

title = "On the Integration of Observability and Reachability

Concepts",

booktitle = "Foundations of Software

Science and Computation Structures",

volume = "2303",

pages = "21--36",

series = "LNCS",

year = "2002",

publisher = "Springer",

}

@PhdThesis{RotheThesis,

author = {J. Rothe},

title = {Behavioural Equivalences for Coalgebras},

school = {University of Dresden},

year = {2003}

}

@Article{RotheTewsJacobs01,

author = "J. Rothe and H. Tews and B. Jacobs",

title = "The {C}oalgebraic {C}lass {S}pecification {L}anguage {CCSL}",

journal = "J. Universal Comput. Sci.",

volume = "7",

pages = "175--193",

year = "2001",

}

@techreport

{CoFu92,

author = "R. Cockett and T. Fukushima",

title = "About {C}harity",

institution = "Univ.\ of Calgary, Dept. of Comp. Sci.",

year = 1992,

type = "Yellow Series Report",

number = "92/480/18"

}

@PhdThesis{PattinsonThesis,

author = {D. Pattinson},

title = {Expressivity Results in the Modal Logic of Coalgebras},

school = {Universit{\"a}t M{\"u}nchen},

year = {2001}

}

@InProceedings{Pattinson01,

author = {D. Pattinson},

title = {Semantical Principles in the Modal Logic of Coalgebras},

booktitle = {Symposium on Theoretical Aspects of Computer Science},

pages = {514--526},

year = {2001},

volume = {2010},

series = {LNCS},

publisher = {Springer}

}

@Article{Pattinson03,

author = {Dirk Pattinson},

title = {Coalgebraic Modal Logic: Soundness, Completeness and Decidability of Local Consequence},

journal = {Theoret.\ Comput.\ Sci.},

year = {2003},

volume = {309},

pages = {177--193}

}

@Article{Pattinson04,

author = {D. Pattinson},

title = {Expressive Logics for Coalgebras via Terminal Sequence Induction},

journal = {Notre Dame J.\ Formal Logic},

year = {2004},

volume = {45},

pages = {19--33},

annote = {Expressivity results for coalgebraic modal logic with

better cardinality bounds than PattinsonThesis, with

more than one formula required to characterize a state.

Important: Notion of intersection preservation

(=continuity)}

}

@inproceedings{PavlovicPratt99,

author = "D. Pavlovic and V. Pratt",

title = "On coalgebra of real numbers",

booktitle = "Coalgebraic

Methods in Computer Science",

series = "Electron.\ Notes Theoret.\ Comput.\ Sci.",

publisher = "Elsevier",

volume = "19",

year = "1999"

}

@Book{MannaPnueli92,

author = "Z. Manna and A. Pnueli",

title = "The Temporal Logic of Reactive and Concurrent Systems:

Specification",

publisher = "Springer",

year = "1992",

}

@Article{Moss99,

author = {L. Moss},

title = {Coalgebraic logic},

journal = {Ann.\ Pure Appl.\ Logic},

year = {1999},

volume = {96},

pages = {277--317},

}

@Article{MossakowskiEA04,

author = {T. Mossakowski and L. Schr{\"o}der and M. Roggenbach and H. Reichel},

title = {Algebraic-coalgebraic specification in {\CoCASL}},

journal = {J. Logic Algebraic Programming},

volume = {67},

nonumber ={1-2},

pages = {146--197},

year = {2006}

}

@Article{Rei95,

author = {H. Reichel},

title = {An Approach to Object Semantics based on Terminal

Co-Algebras},

journal = {Math.\ Struct.\ Comput.\ Sci.},

year = 1995,

volume = 5,

pages = {129--152}

}

@InProceedings{ReichelEA03,

author = "H. Reichel and T. Mossakowski and M. Roggenbach and L. Schr{\"o}der",

title = "Algebraic-coalgebraic specification in {\CoCASL}",

booktitle = "Recent Developments in Algebraic Development Techniques,

16th International Workshop (WADT 02)",

series = "LNCS",

year = "2003",

publisher = "Springer",

volume = "2755",

pages = "376--392",

}

@InProceedings{Roessiger00,

author = {M.\ R{\"o\ss}iger},

title = {Coalgebras and Modal Logic},

booktitle = {Coalgebraic Methods in Computer Science},

year = {2000},

volume = {33},

series = {ENTCS},

publisher = "Elsevier"

}

@InProceedings{SchroderMossakowski03a,

author = "L. Schr{\"o}der and T. Mossakowski",

title = "Monad-independent {H}oare logic in {\HasCASL}",

editor = "M. Pezz{\`e}",

booktitle = "Fundamental Approaches to Software Engineering",

series = "LNCS",

year = 2003,

publisher = "Springer",

volume = 2621,

pages = "261--277"

}

@article{Schroder05,

author = {Lutz Schr{\"o}der},

title = {Expressivity of Coalgebraic Modal Logic: The Limits and Beyond},

year = {2008},

journal = {Theoret.\ Comput.\ Sci.},

volume = {390},

pages = {230-247},

}

@article{SchroderMossakowski03b,

author = "L. Schr{\"o}der and T. Mossakowski",

title = "Monad-independent dynamic logic in {\HasCASL}",

journal = "J.\ Logic Comput.",

note = "to appear. Short Version to appear in

Recent Developments in Algebraic Development Techniques,

16th International Workshop (WADT 02), LNCS, Springer, 2003",

}

@Article{SiekmannSzabo82,

author = {J. Siekmann and P. Szabo},

title = {A Noetherian and Confluent Rewrite System for Idempotent

Semigroups},

journal = {Semigroup Forum},

year = {1982},

volume = {25},

pages = {83--110}

}

@PHDTHESIS{Tew02,

AUTHOR = "H. Tews",

TITLE = "Coalgebraic Methods for Object--Oriented Languages",

SCHOOL = "Technical Univ.\ of Dresden",

YEAR = "2002",

}

@InProceedings{Jacobs00,

author = {B. Jacobs},

title = {Towards a Duality Result in the Modal Logic of Coalgebras},

booktitle = {Coalgebraic Methods in Computer Science},

year = {2000},

volume = {33},

series = {ENTCS},

publisher = "Elsevier",

}

@Article{Jac:Modal,

author = {B. Jacobs},

title = {Many-Sorted Coalgebraic Modal Logic: a

Model-theoretic Study},

journal = {Theor.\ Inform.\ Appl.},

year = 2001,

volume = 35,

pages = {31--59}

}

@InProceedings{MossakowskiRoggenbach03,

author = "T. Mossakowski and M. Roggenbach and L. Schr{\"o}der",

title = "{\CoCASL} at work --- Modelling Process Algebra",

booktitle = "Coalgebraic Methods in Computer Science",

series = "Electron.\ Notes Theoret.\ Comput.\ Sci.",

publisher = "Elsevier",

year = "2003",

volume = "82",

}

@BOOK {milner89,

AUTHOR = {Milner, R.},

TITLE = {Communication and Concurrency} ,

PUBLISHER = {Prentice Hall} ,

YEAR = 1989,

}

@InCollection{Milner90,

key = "Milner",

author = "R. Milner",

booktitle = "Handbook of Theoretical Computer Science",

title = "Operational and Algebraic Semantics of Concurrent

Processes",

chapter = "19",

publisher = "MIT Press",

year = "1990",

editor = "J. van Leewen",

pages = "1201--1242",

volume = "B: Formal Models and Semantics",

OPTaddress = "New York, NY",

annote = "36 references.",

}

@BOOK {hoare85,

AUTHOR = {C.A.R. Hoare},

TITLE = {Communicating Sequential Processes} ,

PUBLISHER = {Prentice Hall} ,

YEAR = 1985,

}

@Book{roscoe98,

author = {Roscoe, A.W.},

title = {The theory and practice of concurrency},

publisher = {Prentice Hall},

year = {1998},

OPTkey = {},

OPTeditor = {},

OPTvolume = {},

OPTnumber = {},

OPTseries = {},

OPTaddress = {},

OPTedition = {},

OPTmonth = {},

OPTnote = {},

OPTannote = {}

}

@Article{AdamekKoubek95,

title = "On the greatest fixed point of a set functor",

author = "Ji{\v{r}}{\'\i} Ad{\'a}mek and V{\'a}clav Koubek",

journal = "Theoretical Computer Science",

pages = "57--75",

month = "16~" # oct,

year = "1995",

volume = "150",

number = "1",

}

@Article{Tobies01,

author = {Stephan Tobies},

title = {{$\mi{PSPACE}$} Reasoning for Graded Modal Logics},

journal = {J.\ Logic Comput.},

year = {2001},

volume = {11},

OPTnumber = {1},

pages = {85--106}

}

@Article{HeifetzMongin01,

author = {Aviad Heifetz and Philippe Mongin},

title = {Probabilistic logic for type spaces},

journal = {Games and Economic Behavior},

year = {2001},

volume = {35},

pages = {31--53}

}

@Book{Schrijver86,

author = "Alexander Schrijver",

title = "Theory of linear and integer programming",

noseries = "Wiley-Interscience Series in Discrete Mathematics",

nonote = "A Wiley-Interscience Publication",

ALTpublisher = "John Wiley \& Sons Ltd.",

publisher = "Wiley Interscience",

noaddress = "Chichester",

year = "1986",

nopages = "xii+471",

noISBN = "0-471-90854-1",

MRclass = "90C05 (90C10)",

MRnumber = "88m:90090",

mrreviewer = "J{\"u}rgen K{\"o}hler",

mrnumber-url = "http://www.ams.org/mathscinet-getitem?mr=88m%3a90090",

}

@Book{BlackburnEA01,

author = "Patrick Blackburn and Maarten de Rijke and Yde

Venema",

title = "Modal Logic",

publisher = "Cambridge University Press",

ALTpublisher = "Cambridge",

year = "2001",

noaddress = "Cambridge, England",

}

@InProceedings{HeifetzMongin98,

author = "Aviad Heifeitz and Philippe Mongin",

title = "The Modal Logic of Probability",

pages = "175--186",

ISBN = "1-55860-563-0",

noeditor = "Itzhak Gilboa",

ALTbooktitle = "Proceedings of the 7th Conference on Theoretical

Aspects of Rationality and Knowledge ({TARK}-98)",

booktitle = "Theoretical

Aspects of Rationality and Knowledge",

nomonth = jul # "~22--24",

publisher = "Morgan Kaufmann",

noaddress = "San Francisco",

year = "1998",

}

@Article{Turakainen72,

author = {Paavo Turakainen},

title = {On the minimization of linear space automata.},

journal = {Ann.\ Acad.\ Sci.\ Fenn.\ Ser.\ A I},

year = {1972},

volume = {506},

note = {15 pp.}

}

@Article{CarlylePaz71,

author = {J. W. Carlyle and A. Paz},

title = {Realizations by stochastic finite automata},

journal = {J.\ Comput.\ System Sci.},

year = {1971},

volume = {5},

pages = {26--40}

}

@Book{Popkorn94,

author = {Sally Popkorn},

title = {First Steps in Modal Logic},

publisher = {Cambridge},

year = {1994}}

@InProceedings{Viglizzo05,

ALTauthor = {Ignacio D. Viglizzo},

author = {Ignacio Viglizzo},

title = {Final Sequences and Final Coalgebras for Measurable Spaces},

booktitle = {Algebra and Coalgebra in Computer Science},

pages = {395--407},

year = {2005},

noeditor = {Jos{\'e} Luiz Fiadeiro and Neil Harman and Markus Roggenbach

and Jan Rutten},

volume = {3629},

series = lncs,

publisher = {Springer}

}

@Article{Schroder07,

author = {Lutz Schr{\"o}der},

title = {A Finite Model Construction for Coalgebraic Modal Logic},

journal = {J.\ Log.\ Algebr.\ Prog.},

volume = "73",

year = "2007",

pages = "97--110",

}

@InProceedings{Vardi89,

author = {Moshe Vardi},

title = {On the Complexity of Epistemic Reasoning},

booktitle = {Logic in Computer Science},

pages = {243--251},

year = {1989},

OPTeditor = {},

OPTvolume = {},

OPTseries = {},

OPTaddress = {},

OPTmonth = {},

organization = {IEEE},

OPTpublisher = {}

}

@Article{Pauly02,

author = {Marc Pauly},

title = {A Modal Logic for Coalitional Power in Games},

journal = {J.\ Logic Comput.},

year = {2002},

volume = {12},

OPTnumber = {1},

pages = {149--166}

}

@article{chandra-stockmeyer:aptime

, author = "A. Chandra and L. Stockmeyer"

, title = "Alternation"

, journal = "J.\ ACM"

, volume = "28"

, nonumber = "1"

, pages = "114--133"

, year = "1981"

}

Article{Rabin63,

title = "Probabilistic Automata",

ALTauthor = "Michael O. Rabin",

author = "Michael Rabin",

pages = "230--245",

journal = "Information and Control",

nomonth = sep,

year = "1963",

volume = "6",

nonumber = "3",

}

@InProceedings{TuriPlotkin97,

title = "Towards a Mathematical Operational Semantics",

ALTauthor = "Daniele Turi and Gordon Plotkin",

author = "D. Turi and G. Plotkin",

pages = "280--291",

booktitle = "Logic in Computer Science",

year = "1997",

nomonth = "29~" # jun # "--2~" # jul,

noaddress = "Warsaw, Poland",

organization = "IEEE",

references = "\cite{IC::Abramsky1991} \cite{TCS::Barr1993}

\cite{JACM::bloomIM1995} \cite{TACS::fokkink1994}

\cite{IC::FokkinkG1996} \cite{IC::GrooteV1992}

\cite{MFCS::HennessyP1979} \cite{LICS::JoyalNW1993}

\cite{MSCS::Moggi1991} \cite{IC::Moggi1991}

\cite{MSCS::Rutten1992} \cite{LICS::simpson1995}",

}

@InProceedings{KupkeEA05,

author = {Clemens Kupke and Alexander Kurz and Dirk Pattinson},

title = {Ultrafilter extensions for coalgebras},

booktitle = {Algebra and Coalgebra in Computer Science},

pages = {263-277},

year = {2005},

noeditor = {Jos{\'e} Luiz Fiadeiro and Neil Harman and

Markus Roggenbach and Jan Rutten},

volume = {3629},

series = {LNCS},

publisher = {Springer}

}

@Article{OhlbachKoehler99,

author = {Hans J{\"u}rgen Ohlbach and Jana Koehler},

title = {Modal logics, description logics and arithmetic reasoning},

journal = {Artif.\ Intell.},

year = {1999},

volume = {109},

OPTnumber = {1-2},

pages = {1-31}

}

@InProceedings{vdHoekMeyer92,

author = {van der Hoek, W. and Meyer, J.-J.Ch.},

title = {Graded modalities in epistemic logic},

booktitle = {Logical foundations of computer science},

pages = {503-514},

year = {1992},

noeditor = {A. Nerode},

volume = {620},

series = {LNCS},

publisher = {Springer}

}

@ARTICLE{DeNivelleEA00,

AUTHOR = {De Nivelle, H. and Schmidt, R. A. and Hustadt, U.},

YEAR = {2000},

TITLE = {Resolution-Based Methods for Modal Logics},

JOURNAL = {Logic J.\ IGPL},

VOLUME = {8},

noNUMBER = {3},

PAGES = {265--292},

noISSN = {1367-07511, 1367-3034},

noURL = {http://www3.oup.co.uk:80/igpl/Volume_08/Issue_03/#denivelle},

ABSTRACT = {In this paper we give an overview of resolution methods for extended

propositional modal logics.

We adopt the standard translation approach and consider different

resolution refinements which provide decision procedures for the

resulting clause sets.

Our procedures are based on ordered resolution and selection-based

resolution.

The logics that we cover are multi-modal logics defined over relations

closed under intersection, union, converse and possibly

complementation.

}

}

@Article{Fine72,

author = {K. Fine},

title = {In so many possible worlds},

journal = {Notre Dame J.\ Formal Logic},

year = {1972},

volume = {13},

pages = {516--520}

}

@Article{Rabin63,

author = {M. Rabin},

title = {Probabilistic automata},

journal = {Inform.\ Control},

year = {1963},

volume = {6},

pages = {220--245}

}

@Article{HalavaHarju99,

title = "Undecidability in Integer Weighted Finite Automata",

author = "Vesa Halava and Tero Harju",

journal = "Fundam.\ Inform",

year = "1999",

nonumber = "1-2",

volume = "38",

pages = "189--200",

}

@article{book-long-selman:npmv

, author = "R. Book and T. Long and A. Selman"

, title = "Quantitative relativizations of complexity classes"

, journal = "SIAM J.\ Computing"

, volume = "13"

, nonumber = "3"

, pages = "461--487"

, year = "1984"

}

@article{ladner:pspace

, author = "R. E. Ladner"

, title = "The computational complexity of provability in systems

of modal propositional logic"

, journal = "SIAM Journal on Computing"

, volume = "6"

, number = "3"

, year = "1977"

}

@article{segerberg:essay

, author = "Krister Segerberg"

, title = "An essay in classical modal logic"

, journal = "Filosofiska Studier 13"

, address = "Uppsala"

, year = "1971"

}

On the final sequence of a finitary set functor

Theoretical Computer Science 338(1-3): 184--199, 2005.

A preliminary version appeared in Proceedings of CMCS 99, ENTCS 19, 1999.

@Article{Worrell05,

author = {James Worrell},

title = {On the final sequence of a finitary set functor},

journal = {Theoret.\ Comput.\ Sci.},

year = {2005},

volume = {338},

OPTnumber = {1-3},

pages = {184--199}

}

@Unpublished{HalpernRego06,

author = {Joseph Halpern and Leandro Chaves R{\^e}go},

title = {Closing the {NP-PSPACE} gap in the satisfiability problem

for Modal Logic},

note = {Available on arXiv, http://arxiv.org/abs/cs/0603019},

year = {2006}

}

@InProceedings{KupkeVenema05,

author = {Clemens Kupke and Yde Venema},

title = {Closure properties of coalgebra automata},

booktitle = {Logic in Computer Science},

pages = {199-208},

year = {2005},

OPTeditor = {Prakash Panangaden},

organization = {IEEE}

}

@Article{Venema06,

author = {Yde Venema},

title = {Automata and Fixed Point Logics: a Coalgebraic Perspective},

journal = {Inform.\ Comput.},

note = {To appear},

}

@InProceedings{Vardi96,

title = "Why is Modal Logic So Robustly Decidable?",

author = "Moshe Y. Vardi",

booktitle = "Descriptive Complexity and Finite Models",

ALTbooktitle = "Descriptive Complexity and Finite Models, Proceedings

of a {DIMACS} Workshop, January 14-17, 1996, Princeton

University",

ALTpublisher = "American Mathematical Society",

publisher = "AMS",

year = "1996",

volume = "31",

OPTeditor = "Neil Immerman and Phokion G. Kolaitis",

pages = "149--184",

series = "DIMACS Ser.\ Discrete Math.\ Theoret.\

Comput.\ Sci.",

}

@Article{FaginHalpernMegiddo90,

author = {Ronald Fagin and Joseph Y. Halpern and Nimrod Megiddo},

title = { A logic for reasoning about

probabilities},

journal = {Inform.\ Comput.},

year = {1990},

volume = {87},

OPTnumber = {1,2},

pages = {78--128}

}

@Article{SchroderPattinson09,

author = {Lutz Schr{\"o}der and Dirk Pattinson},

title = {PSPACE Bounds for Rank-1 Modal Logics},

year = {2009},

journal = {ACM Trans.\ Comput.\ Logic},

volume = {10},

pages = {1-33},

number = {2:13},

}

@Article{FaginHalpern94,

author = {Ronald Fagin and Joseph Y. Halpern},

title = {Reasoning about knowledge and probability},

journal = {J.\ ACM},

year = {1994},

volume = {41},

OPTnumber = {2},

pages = {340--367}

}

@Article{HalpernPucella02,

author = {Joseph Y. Halpern and Riccardo Pucella},

title = {A logic for reasoning about upper probabilities},

journal = {J.\ Artificial Intelligence Res.},

year = {2002},

volume = {17},

pages = {57--81}

}

@InProceedings{HalpernPucella02b,

author = {Joseph Y. Halpern and Riccardo Pucella},

title = {Reasoning about expectation},

booktitle = {Uncertainty in Artificial Intelligence (UAI 02)},

pages = {207--215},

publisher = {Morgan Kaufman},

year = {2002}

}

@InCollection{DuboisPrade82,

author = "Didier Dubois and Henri Prade",

title = "On several representations of an uncertain body of

evidence",

booktitle = "{Fuzzy Information and Decision Processes}",

publisher = "North-Holland",

year = "1982",

editor = "M. M. Gupta and E. Sanchez",

pages = "167--181",

}

@InProceedings{OlivettiSchwind01,

title = "A Calculus and Complexity Bound for Minimal

Conditional Logic",

author = "Nicola Olivetti and Camilla Schwind",

booktitle = "Theoretical Computer Science ({ICTCS} 01)",

publisher = "Springer",

year = "2001",

volume = "2202",

noeditor = "Antonio Restivo and Simona Ronchi Della Rocca and Luca

Roversi",

pages = "384--404",

series = lncs,

URL = "http://link.springer.de/link/service/series/0558/bibs/2202/22020384.htm",

}

@Book{Halpern03,

author = {Joseph Y. Halpern},

title = { Reasoning About Uncertainty},

publisher = {MIT Press},

year = {2003}

}

@incollection{jonsson-et-al:handbook

, author = "B. Jonsson and K. Larsen and W. Yi"

, title = "Probabilistic extensions of process algebras"

, noeditor = "J. Bergstra \etal."

, booktitle = "Handbook of Process Algebra"

, chapter = 11

, pages = "685--710"

, publisher = "Elsevier"

, year = "2001"

}

@book{gabbay:fibring

, author = "D. Gabbay"

, title = "Fibring Logics"

, publisher = "Oxford University Press"

, year = "1998"

}

@incollection{bidoit-et-al:structured

, author = "M. Bidoit and M. V. Cengarle and R. Hennicker"

, title = "Proof systems for structured specifications and their refinements"

, editor = "H. J. Kreowski and E. Astesiano and B. Krieg-Br{\"{u}}ckner"

, booktitle = "Algebraic Foundations of Systems Specification"

, series = "IFIP State-of-the-Art Reports"

, pages = "385--434"

, publisher = "Springer"

, year = "1999"

}

@article{borz:structured

, author = "T. Borzyszkowski"

, title = "Logical systems for structured specifications"

, journal = TCS

, volume = "286(2)"

, pages = "197--245"

, year = "2002"

}

@phdthesis{segala:diss

, author = "R. Segala"

, title = "Modelling and Verification of Randomized Distributed Real-Time Systems"

, school = "Massachusetts Institute of Technology"

, year = 1995

}

@inproceedings{hansson-jonsson:probabilities

, author = "H. Hansson and B. Jonsson"

, title = "A calculus for communicating systems with time and probabilities"

, booktitle = "Real-Time Systems, RTSS 90"

, publisher = "IEEE"

, pages = "278--287"

, year = "1990"

}

@phdthesis{hansson:phd

, author = "H. Hansson"

, title = "Time and probability in formal design of distributed systems"

, institution = "University of Uppsala"

, number = "DoCS 91/27"

, year = "1991"

}

@article{segala-lynch:simulation

, author = "R. Segala and N.A. Lynch"

, title = "Probabilistic simulations for probabilistic processes"

, journal = "Nordic Journal of Computing"

, volume = "2"

, number = "2"

, pages = "250--273"

, year = "1995"

}

@incollection{wolter:fusion

, author = "F. Wolter"

, title = "Fusions of modal logics revisited"

, booktitle = "Advances in modal logic"

, volume = "1"

, year = "1998"

, series = "CSLI Lect.\ Notes"

, pages = "361\--379"

, publisher = "CSLI"

}

@incollection{baader-et-al:fusion

, author = "F. Baader and C. Lutz and H. Sturm and F. Wolter"

, title = "Fusions of description logics and abstract description systems"

, journal = "Journal of Artificial Intelligence Research (JAIR)"

, number = "16"

, pages = "1-\-58"

, year = "2002"

}

@InProceedings{hemaspaandra:transfer,

author = {Edith Hemaspaandra},

title = {Complexity transfer for modal logic},

ALTbooktitle = {Proceedings of the Ninth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1994},

booktitle = {Logic in Computer Science, {LICS} 94},

year = 1994,

noeditor = {Samson Abramsky},

pages = {164--173},

ALTpublisher = {IEEE Computer Society Press},

publisher = {IEEE}

}

@InCollection{Kurucz06,

author = {Agi Kurucz},

editor = {J. van Benthem and P. Blackburn and F. Wolter},

booktitle = {Handbook of Modal Logic},

title = {Combining modal logics},

publisher = {Elsevier},

year = {2006},

OPTvolume = {3},

OPTseries = {Studies in Logic and Practical Reasoning}

}

@InCollection{JonssonEA01,

author = "B. Jonsson and W. Yi and K. G. Larsen",

editor = "J. Bergstra and A. Ponse and S.M. Smolka",

title = "Probabilistic Extensions of Process Algebras",

booktitle = "Handbook of Process Algebra",

publisher = "Elsevier",

year = "2001",

noaddress = "Amsterdam",

nopages = "685",

}

@Article{KutzEA03,

author = {O. Kutz and C. Lutz and F. Wolter and M. Zakharyaschev},

title = {{$\mathcal E$}-Connections of Abstract Description Systems},

journal = {Artificial Intelligence},

year = {2004},

Volume = {156},

noNumber = {1},

Pages = {1--73}

}

@InProceedings{SchroderPattinson07mcs,

author = {Lutz Schr{\"o}der and Dirk Pattinson},

title = {Rank-1 Modal Logics are Coalgebraic},

year = {2007},

editor = {Wolfgang Thomas and Pascal Weil},

booktitle = {Theoretical Aspects of Computer Science, STACS 07},

publisher = springer,

series = lncs,

pages = {573--585},

volume = {4393},

}

@InProceedings{HorrocksEA99,

author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},

title = {Practical reasoning for expressive description logics},

booktitle = {Logic for Programming and Automated Reasoning, LPAR 99},

pages = {161--180},

year = {1999},

noeditor = {H. Ganzinger an D. McAllester and A. Voronkov},

volume = {1705},

series = lncs,

publisher = springer

}

@InProceedings{Sattler96,

author = {Sattler, Ulrike},

title = {A Concept Language Extended

with Different Kinds of Transitive Roles},

ALTbooktitle = {20. Deutsche Jahrestagung f{\"ur} K{\"u}nstliche Intelligenz},

booktitle = {K{\"u}nstliche Intelligenz, KI 96},

series = lnai,

volume = 1137,

noeditor = {G{\"o}rz, G. and H{\"o}lldobler, S.},

publisher = springer,

year = 1996,

}

@InProceedings{HorrocksGough97,

title = "Description Logics with Transitive Roles",

author = "Ian Horrocks and Graham Gough",

bibsource = "DBLP,

http://dblp.uni-trier.de/db/conf/dlog/dlog1997.html#HorrocksG97",

booktitle = "Description Logics",

ALTbooktitle = "Proceedings of the 1997 International Workshop on

Description Logics, Universit{\'e} Paris-Sud, Centre

d'Orsay, Laboratoire de Recherche en Informatique

{LRI}",

year = "1997",

volume = "410",

noeditor = "Ronald J. Brachman and Francesco M. Donini and Enrico

Franconi and Ian Horrocks and Alon Y. Levy and

Marie-Christine Rousset",

series = "URA-CNRS",

noURL = "http://dl.kr.org/dl97/proceedings/horrocks.ps.gz",

}

@InProceedings{KazakovEA07,

author = {Yevgeny Kazakov and Ulrike Sattler and Evgeny Zolin},

title = {How many legs do {I} have? {N}on-simple roles in number

restrictions revisited},

OPTcrossref = {},

OPTkey = {},

ALTbooktitle = {Proc. of the 14th Int. Conf. on Logic for Programming,

Artificial Intelligence, and Reasoning, LPAR 2007, Yerevan,

Armenia October 15-19, 2007},

booktitle = {Logic for Programming, Artificial Intelligence, and

Reasoning, LPAR 2007},

volume = "4790",

noeditor = "Nachum Dershowitz and Andrei Voronkov",

ISBN = "978-3-540-75558-6",

pages = "303--317",

series = lncs,

publisher = springer,

year = {2007},

}

@book{BaaderEA03,

ALTtitle = "The Description Logic Handbook: Theory,

Implementation, and Applications",

title = "The Description Logic Handbook",

publisher = "Cambridge University Press",

year = 2003,

bibdate = "2004-03-04",

bibsource = "DBLP,

http://dblp.uni-trier.de/db/conf/dlog/handbook2003.html",

editor = "Franz Baader and Diego Calvanese and Deborah L.

McGuinness and Daniele Nardi and Peter F.

Patel-Schneider",

ISBN = "0-521-78176-0",

}

@Article{Lewis74,

author = {David Lewis},

title = {Intensional Logics without Iterative Axioms},

journal = {J.\ Philos.\ Logic},

year = {1975},

volume = {3},

pages = {457--466}

}

@Article{HalpernMoses92,

author = "Joseph Y. Halpern and Yoram O. Moses",

title = "A Guide to Completeness and Complexity for Modal

Logics of Knowledge and Belief",

pages = "319--379",

journal = "Artificial Intelligence",

volume = "54",

nonumber = "3",

nomonth = apr,

year = "1992",

publisher = elsevier,

}

@InProceedings{Schild91,

author = "Klaus Schild",

title = "A Correspondence Theory for Terminological Logics:

Preliminary Report",

pages = "466--471",

ISBN = "1-55860-160-0",

noeditor = "Ray Myopoulos and John Reiter",

booktitle = " Artificial Intelligence, IJCAI 1991",

noaddress = "Sydney, Australia",

nomonth = aug,

year = "1991",

publisher = "Morgan Kaufmann",

}

@Article{Cerrato94,

title = "Decidability by Filtrations for graded normal logics

(graded modalities {V})",

author = "Claudio Cerrato",

journal = "Studia Logica",

year = "1994",

nonumber = "1",

volume = "53",

bibdate = "2004-01-09",

bibsource = "DBLP,

http://dblp.uni-trier.de/db/journals/sLogica/sLogica53.html#Cerrato94",

pages = "61--74",

}

@PhdThesis{TobiesThesis,

author = {Stephan Tobies},

title = {Complexity results and practical algorithms for logics in

Knowledge Representation},

school = {RWTH Aachen},

year = {2001},

}

@InCollection{Skyrms80,

author = "Brian Skyrms",

title = "Higher order degrees of belief",

booktitle = "Prospects for Pragmatism: Essays in Honor of F.\ P.\

Ramsey",

editor = "D.~H. Mellor",

publisher = "Cambridge University Press",

noaddress = "Cambridge, UK",

year = "1980",

}

@InProceedings{SchroderPattinson07,

author = {Lutz Schr{\"o}der and Dirk Pattinson},

title = {Modular algorithms for heterogeneous

modal logics},

booktitle = {Automata, Languages and Programming, ICALP 07},

year = {2007},

noeditor = {Lars Arge and Andrzej Tarlecki and Christian Cachin},

series = lncs,

publisher = springer,

pages = {459--471},

volume = {4596},

}

@Article{Wobcke95,

title = "Belief Revision, Conditional Logic and Nonmonotonic

Reasoning",

author = "Wayne Wobcke",

pages = "55--102",

journal = "Notre Dame J.\ Formal Logic",

nomonth = "Winter",

year = "1995",

volume = "36",

nonumber = "1",

}

@article{JonesParent07,

author = "Andrew J. I. Jones and Xavier Parent",

title = "A convention-based approach to agent communication languages",

journal = "Group Decision and Negotiation",

volume = "16",

year = "2007",

pages = "101-141",

nonumber = "2",

note = "Earlier version in {\emph{Advances in Agent Communication}}, vol. 2922 of

{\emph{LNAI}}, Springer, 2004, pp. 1\-17."

}

@Unpublished{Schroder08,

author = {Lutz Schr{\"o}der},

title = {A Semantic PSPACE Criterion for the Next 700

Non-Iterative Modal Logics},

note = {Manuscript},

OPTkey = {},

OPTmonth = {},

year = {2007},

OPTannote = {}

}

@Article{OlivettiEA07,

author = {Nicola Olivetti and Gian Luca Pozzato and Camilla Schwind},

title = {A Sequent Calculus and a Theorem Prover for Standard

Conditional Logics },

journal = {ACM Trans.\ Comput.\ Logic},

volume = {8},

number = {4:22},

pages = {1--51},

year = {2007}

}

@InProceedings{PattinsonSchroder08,

author = {Dirk Pattinson and Lutz Schr{\"o}der},

title = {Beyond Rank 1: Algebraic Semantics and Finite Models for

Coalgebraic Logics},

year = {2007},

note = {Manuscript},

}

@Article{HorrocksEA03,

title = "From {SHIQ} and {RDF} to {OWL}: the making of a Web

Ontology Language",

author = "Ian Horrocks and Peter F. Patel-Schneider and Frank

van Harmelen",

journal = "J.\ Web Sem.",

year = 2003,

nonumber = 1,

volume = 1,

bibdate = "2005-01-05",

bibsource = "DBLP,

http://dblp.uni-trier.de/db/journals/ws/ws1.html#HorrocksPH03",

pages = "7--26",

noURL = "http://dx.doi.org/10.1016/j.websem.2003.07.001",

}

@INPROCEEDINGS{RectorHorrocks97,

AUTHOR = {A. Rector and I. Horrocks},

TITLE = {Experience Building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions},

noURL = {download/1997/aaai-spring-symposium.ps.gz},

booktitle = {AAAI Spring Symposium, AAAI 1997},

publisher = {AAAI Press},

noaddress = {Menlo Park},

YEAR = 1997

}

@Article{PrattHartmann08,

author = {Ian Pratt-Hartmann},

title = {On the Computational Complexity of the Numerically

Definite Syllogistic and Related Logics},

journal = {Bull.\ Symb.\ Log.},

year = {2008},

volume = {14},

OPTnumber = {1},

pages = {1--28}}

@Unpublished{KurzRosicky,

author = {Alexander Kurz and Ji{\v{r}\'i} Rosick{\'y}},

title = {Strongly complete logics for coalgebras},

note = {Draft},

month = jul,

year = {2006}}

@Article{Segerberg89,

author = {Krister Segerberg},

title = {Notes on conditional logic},

journal = {Stud.\ Log.},

year = {1989},

volume = {48},

pages = {157--168}}

@Article{DeCaro88,

author = {Francesco {De Caro}},

title = {Graded modalities {II}},

journal = {Stud.\ Log.},

year = {1988},

volume = {47},

pages = {1--10}}

M. FATTOROSI-BARNABAand C. CERRATO,, Studia Logica 47 (1988),

pp. 99-110.

@Article{FattorosiBarnabaCerrato88,

author = {M. Fattorosi-Barnaba and C. Cerrato},

title = {Graded modalities {III}},

journal = {Stud.\ Log.},

year = {1988},

volume = {47},

pages = {99--110}}

@book{Mares04,

author = "E. Mares",

year = "2004",

title = "Relevant Logic: A Philosophical Interpretation",

publisher = "Cambridge University Press"

}

@InCollection{FriedmanHalpern94,

author = "Nir Friedman and Joseph Y. Halpern",

title = "On the Complexity of Conditional Logics",

booktitle = "Knowledge Representation and

Reasoning, KR 94",

publisher = "Morgan Kaufmann",

year = "1994",

noeditor = "Jon Doyle and Erik Sandewall and Pietro Torasso",

pages = "202--213",

noaddress = "San Francisco, California",

}

@Article{Burgess81,

author = "John Burgess",

title = "Quick Completeness Proofs for Some Logics of

Conditionals",

journal = "Notre Dame J.\ Formal Logic",

year = "1981",

volume = "22",

pages = "76--84",

}

@InProceedings{SchroderPattinson08PHQ,

author = {Lutz Schr{\"o}der and Dirk Pattinson},

title = {How Many Toes Do {I} Have? {P}arthood and Number Restrictions

in Description Logics},

year = {2008},

noeditor = {Gerhard Brewka and Jer{\^o}me Lang},

booktitle = {Principles of Knowledge Representation and Reasoning, KR 2008},

publisher = {AAAI Press},

pages = {307-218},

}

@InProceedings{SchroderPattinson08d,

author = {Lutz Schr{\"o}der and Dirk Pattinson},

title = {Shallow models for non-iterative modal logics},

year = {2008},

noeditor = {Andreas Dengel and Karsten Berns and Thomas Breuel and Frank Bomarius and Thomas Roth-Berghofer},

booktitle = {Advances in Artificial Intelligence, KI 2008},

publisher = {Springer},

series = lnai,

volume = {5243},

pages = {324-331},

}

@Article{Papadimitriou81,

title = "On the complexity of integer programming",

ALTauthor = "Christos H. Papadimitriou",

author = "Christos Papadimitriou",

journal = "J.\ ACM",

year = "1981",

nonumber = "4",

volume = "28",

pages = "765--768",

noURL = "http://doi.acm.org/10.1145/322276.322287",

}

@Misc{DL-navigator,

OPTkey = {},

author = {Evgeny Zolin},

title = {The Description Logic Complexity Navigator},

howpublished = {http://www.cs.man.ac.uk/ $\sim$ezolin/dl},

OPTmonth = {},

year = {2007},

OPTnote = {},

OPTannote = {}

}

@inproceedings{DemriLugiez06,

noaddress = {Seattle, Washington, USA},

author = {Demri, St{\'e}phane and Lugiez, Denis},

ALTbooktitle = {{P}roceedings of the 3rd {I}nternational {J}oint {C}onference on {A}utomated {R}easoning ({IJCAR}'06)},

booktitle = {Automated Reasoning, IJCAR 06},

DOI = {10.1007/11814771_44},

noeditor = {Furbach, Ulrich and Shankar, Natarajan},

nomonth = aug,

pages = {541-556},

publisher = springer,

series = lnai,

title = {{P}resburger Modal Logic is Only {PSPACE}-complete},

url = {http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/ rr-lsv-2006-15.pdf},

volume = {4130},

year = {2006},

}

@TechReport{BaaderEA05,

author = {F. Baader and M. Milicic and C. Lutz and U. Sattler and F. Wolter},

title = {Integrating Description Logics and Action Formalisms for Reasoning about Web Services},

institution = {Dresden University of Technology},

year = 2005,

type = {LTCS-Report},

number = {LTCS-05-02},

noaddress = {Germany},

note = {Available under

http://lat.inf.tu-dresden.de/research/reports.html.}

}

@INPROCEEDINGS{GlimmEA08,

AUTHOR = {Birte Glimm and Ian Horrocks and Ulrike Sattler},

ALTBOOKTITLE = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge

Representation and Reasoning (KR~2008)},

BOOKTITLE = {Principles of Knowledge Representation and Reasoning,

KR 2008},

DATE-ADDED = {2008-06-14 19:12:08 +0100},

DATE-MODIFIED = {2008-06-14 19:15:41 +0100},

TITLE = {Unions of Conjunctive Queries in {$\mathcal{SHOQ}$}},

URL = {download/2008/GlHS08b.pdf},

YEAR = {2008},

pages = {252--263},

organisation = {AAAI}

}

@InProceedings{PattinsonSchroder08b,

author = {Dirk Pattinson and Lutz Schr{\"o}der},

title = {Admissibility of Cut in Coalgebraic Logics},

year = {2008},

noeditor = {J. Adamek and C. Kupke},

booktitle = {Coalgebraic Methods in Computer Science, CMCS 08},

publisher = {Elsevier},

series = entcs,

volume = {203},

pages = {221-241},

}

@INPROCEEDINGS{blackburn02:tableaux,

author = {P. Blackburn and M. Marx},

title = {Tableaux for Quantified Hybrid Logic},

booktitle = {Automated Reasoning with Analytic Tableaux and Related Method},

year = 2002,

noeditor = {U. Egly and C. Ferm\"uller},

volume = 2381,

series = {LNAI},

pages = {38--52},

publisher = {Springer},

}

@ARTICLE{seligman01:inter,

author = {J. Seligman},

title = {Internalization: The Case of Hybrid Logics},

journal = {J.\ Logic Comput.},

year = {2001},

volume = {11},

pages = {671--689},

nonumber = {5},

}

@ARTICLE{BolanderBlackburn2007term,

author = {T. Bolander and P. Blackburn},

title = {Termination for Hybrid Tableaus},

journal = {J.\ Logic Comput.},

year = {2007},

volume = {17},

pages = {517-554},

nonumber = {3},

}

@ARTICLE{Brauner03a,

author = {T. Bra{\"u}ner},

title = {Natural Deduction for First-Order Hybrid Logic},

journal = {J.\ Logic, Language and Information},

year = {2005},

volume = {14},

pages = {173--198},

}

@InCollection{Areces:2006:HL,

author = "C. Areces and B. ten Cate",

title = "Hybrid Logics",

booktitle = "Handbook of Modal Logics",

publisher = "Elsevier",

year = "2006",

editor = "P. Blackburn and F. Wolter and J. van Benthem",

}

@Book{Troelstra:1996:BPT,

author = "A. Troelstra and H. Schwichtenberg",

title = "Basic Proof Theory",

nonumber = "43",

publisher = "Cambridge University Press",

year = "1996",

noseries = "Cambridge Tracts in Theoretical Computer Science",

}

@InProceedings{Tsarkov:2006:FDL,

author = "D. Tsarkov and I. Horrocks",

ALTbooktitle = "Proc.\ of the Int.\ Joint Conf.\ on Automated

Reasoning (IJCAR~2006)",

booktitle = "Automated Reasoning, IJCAR~2006",

title = "{FaCT}++ Description Logic Reasoner: System

Description",

volume = "4130",

publisher = "Springer",

pages = "292--297",

year = "2006",

series = "LNAI",

}

@InProceedings{Haarslev:2004:EQF,

author = "V. Haarslev and R. M{\"o}ller and R. van der

Straeten

and M. Wessel",

ALTbooktitle = "Proceedings of the 2004 International Workshop on

Description Logics (DL-2004), Whistler, BC, Canada,

June 6-8",

booktitle = "Description Logics, DL 2004",

title = "Extended Query Facilities for Racer and an

Application

to Software-Engineering Problems",

pages = "148--157",

year = "2004",

}

@Article{Sirin:2006:PPO,

author = "E. Sirin and B. Parsia and B. Cuenca Grau and A.

Kalyanpur and Y. Katz",

title = "Pellet: {A} practical {OWL}-{DL} reasoner",

journal = "J.\ Web Semantics",

year = "2006",

}

@InProceedings{CalinEA09,

author = {Georgel Calin and Rob Myers and Dirk Pattinson and Lutz Schr{\"o}der},

title = {CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description)},

year = {2009},

noeditor = {Carlos Areces and Stephane Demri},

booktitle = {Methods for Modalities, M4M-5},

publisher = elsevier,

series = entcs,

volume = {231},

pages = {41-54},

}

@techreport{pattinsonschroder:cut-elim,

author = "L. Schr{\"{o}}der and D. Pattinson",

title = "Cut Elimination in Coalgebraic Logics",

institution = "Imperial College London",

year = 2008,

}

@Article{SchroderPattinson08b,

author = {Lutz Schr{\"o}der and Dirk Pattinson},

title = {Rank-1 modal logics are coalgebraic},

journal = {Journal of Logic and Computation},

volume = { },

pages = { },

note = {To appear},

}

@Article{BlackburnTzakova99,

title = "Hybrid Languages and Temporal Logic",

author = "Patrick Blackburn and Miroslava Tzakova",

journal = "Logic J.\ IGPL",

year = "1999",

nonumber = "1",

volume = "7",

bibdate = "2003-09-24",

bibsource = "DBLP,

http://dblp.uni-trier.de/db/journals/igpl/igpl7.html#BlackburnT99",

pages = "27--54",

URL = "http://www3.oup.co.uk/igpl/Volume_07/Issue_01/#blackburn",

}

@PhDThesis{TencateThesis,

author = {Balder {\noopsort{Cate}}{ten Cate}},

key = {Cate},

title = {Model theory for extended modal languages},

year = {2005},

note = {ILLC Dissertation Series DS-2005-01},

school = {University of Amsterdam}

}

@Article{BezhanishviliTenCate06,

author = {Nick Bezhanishvili and Balder ten Cate},

title = {Transfer results for hybrid logic. {P}art 1: the case without satisfaction operators},

journal = {J.\ Logic Comput.},

year = {2006},

volume = {16},

pages = {177--197},

}

@inproceedings{Areces99,

author = "C. Areces and P. Blackburn and M. Marx",

title ="A road-map on complexity for hybrid logics",

editor = "J. Flum and M. Rodr{\`{\i}}guez-Artalejo",

booktitle = "Proc. 8th Annual Conference on Computer Science Logic",

series = "LNCS",

number = "1683",

pages = "307--321",

year ="1999"

}

@inproceedings{Tzakova99,

author = {M. Tzakova},

title = {Tableau Calculi for Hybrid Logics},

booktitle = {Proc. Automated Reasoning with Analytic Tableaux and

Related Methods (TABLEAUX)},

year = {1999},

pages = {278-292},

editor = {N. Murray},

publisher = {Springer},

series = {LNCS},

volume = {1617},

}

@article{Bolander06,

author = {Thomas Bolander and

Torben Bra{\"u}ner},

title = {Tableau-based Decision Procedures for Hybrid Logic},

journal = {J. Log. Comput.},

volume = {16},

number = {6},

year = {2006},

pages = {737-763},

}

@InProceedings{Goble04,

title = "A Proposal for Dealing with Deontic Dilemmas",

author = "Lou Goble",

ALTbooktitle = "Deontic Logic in Computer Science, 7th International

Workshop on Deontic Logic in Computer Science, {DEON}

2004, Madeira, Portugal, May 26-28, 2004. Proceedings",

booktitle = "Deontic Logic in Computer Science, DEON 2004",

publisher = "Springer",

year = "2004",

volume = "3065",

noeditor = "Alessio Lomuscio and Donald Nute",

pages = "74--113",

series = lnai,

}

@InProceedings{HorrocksEA07,

title = "Hybrid Logics and Ontology Languages",

author = "Ian Horrocks and Birte Glimm and Ulrike Sattler",

series = entcs,

year = "2007",

number = "6",

volume = "174",

bibdate = "2007-06-01",

bibsource = "DBLP,

http://dblp.uni-trier.de/db/journals/entcs/entcs174.html#HorrocksGS07",

pages = "3--14",

URL = "http://dx.doi.org/10.1016/j.entcs.2006.11.022",

booktitle = "International Workshop on Hybrid Logic, HyLo 2006",

}

@inproceedings{Schroder09

, author = " L. Schr{\"{o}}der and D. Pattinson"

, title = "Strong Completeness of Coalgebraic Modal Logics"

, booktitle = "Proc. STACS 2009"

, year = "2009"

, editor = "S. Albers and J.-Y. Marion"

, note = "to appear"

}

@InProceedings{MyersEA09,

author = {Rob Myers and Dirk Pattinson and Lutz Schr{\"o}der},

title = {Coalgebraic Hybrid Logic},

year = {2009},

booktitle = {Foundations of Software Science and Computation Structures, FOSSACS 2009},

publisher = {Springer},

series = lncs,

note = {To appear},

}

@InProceedings{SchroderPattinson09b,

author = {Lutz Schr{\"o}der and Dirk Pattinson},

title = {Strong completeness of coalgebraic modal logics},

year = {2009},

noeditor = {Susanne Albers and Jean-Yves Marion},

booktitle = {Theoretical Aspects of Computer Science, STACS 2009},

note = {To appear},

}

@InProceedings{GlimmEA06,

title = "Conjunctive Query Answering for Description Logics

with Transitive Roles",

author = "Birte Glimm and Ian Horrocks and Ulrike Sattler",

bibdate = "2007-10-31",

bibsource = "DBLP,

http://dblp.uni-trier.de/db/conf/dlog/dlog2006.html#GlimmHS06",

booktitle = "Description Logics, DL 2006",

ALTbooktitle = "Proceedings of the 2006 International Workshop on

Description Logics ({DL2006}), Windermere, Lake

District, {UK}, May 30 - June 1, 2006",

publisher = "CEUR-WS.org",

year = "2006",

volume = "189",

noeditor = "Bijan Parsia and Ulrike Sattler and David Toman",

series = "CEUR Workshop Proceedings",

URL = "http://www.ceur-ws.org/Vol-189/submission_5.pdf",

}

@Article{BlackburnTenCate06,

title = "Pure Extensions, Proof Rules, and Hybrid Axiomatics",

author = "Patrick Blackburn and Balder ten Cate",

journal = "Stud.\ Log.",

year = "2006",

nonumber = "2",

volume = "84",

bibdate = "2007-12-19",