@PREAMBLE{ {\providecommand{\noopsort}[1]{}} }
@string{lncs="LNCS"}
@string{entcs="ENTCS"}
@string{lnai="LNAI"}
@string{elsevier="Elsevier"}
@string{springer="Springer"}
@Book{AdamekHerrlich90,
author = {J. Ad{\'a}mek and H. Herrlich and G. E. Strecker},
title = {Abstract and Concrete Categories},
publisher = {Wiley Interscience},
year = 1990,
}
@article{Barr93,
title = "Terminal coalgebras in well-founded set theory",
author = "M. Barr",
journal = "Theoret.\ Comput.\ Sci.",
volume = "114",
year = "1993",
pages = "299-315",
}
@InProceedings{BartelsEA03,
author = {F. Bartels and A. Sokolova and E. de Vink},
title = {A hierarchy of probabilistic system types},
booktitle = {Coalgebraic Methods in Computer Science},
year = {2003},
OPTeditor = {},
volume = {82},
OPTnumber = {},
series = {ENTCS},
publisher = {Elsevier}
}
@article{Bartels03,
author = {F. Bartels},
title = {Generalised Coinduction},
journal = {Math.\ Struct.\ Comput.\ Sci.},
volume = {13},
nonumber = {2},
year = {2003},
pages = {321-348},
}
@Article{Bizard90,
author = {W. Blizard},
title = {Negative membership},
journal = {Notre Dame J.\ Formal Logic},
year = {1990},
volume = {31},
pages = {346--368}
}
@Book{CASL-UM,
author = "M. Bidoit and P. D. Mosses",
title = "\textsc{Casl} User Manual",
publisher = "Springer",
year = "2004",
series = "LNCS",
volume = "2900",
}
@Book{Chellas80,
author = {B. Chellas},
title = {Modal Logic},
publisher = {Cambridge University Press},
year = {1980}
}
@Article{Rutten00,
author = "J. Rutten",
title = "Universal Coalgebra: A Theory of Systems",
journal = "Theoret.\ Comput.\ Sci.",
volume = "249",
pages = "3--80",
year = "2000",
}
@Article{DAgostinoVisser02,
author = {G. D'Agostino and A. Visser},
title = {Finality regained:
A coalgebraic study of {Scott}-sets and multisets},
journal = {Arch.\ Math.\ Logic},
year = {2002},
volume = {41},
OPTnumber = {},
pages = {267--298}
}
@Article{GlabbeekEA95,
author = {R. Van Glabbeek and S. Smolka and B. Steffen and C. Tofts},
title = {Reactive, generative and stratified models for
probabilistic processes.},
journal = {Inform.\ and Comput.},
year = {1995},
volume = {121},
OPTnumber = {},
OPTpages = {59--80}
}
@InProceedings{HansenKupke04,
author = {H. H. Hansen and C. Kupke},
title = {A Coalgebraic Perspective on Monotone Modal Logic},
booktitle = {Coalgebraic Methods in Computer Science},
pages = {121--143},
year = {2004},
noeditor = {J.\ Ad{\'a}mek and S.\ Milius},
volume = {106},
series = {ENTCS},
publisher = {Elsevier}
}
@Article{JonssonTarski51,
author = {B. J{\'o}nnson and A. Tarski},
title = {Boolean algebras with operators {I}},
journal = {Amer.\ J.\ Math.},
year = {1951},
volume = {73},
pages = {891--939}
}
@inproceedings{Reichel99,
author = {H. Reichel},
title = {A Uniform Model Theory for the Specification of Data
and Process Types},
booktitle = "Recent Developments in Algebraic Development Techniques,
14th International Workshop (WADT 99)",
series = "LNCS",
publisher = "Springer",
year = 2000,
volume = {1827},
pages = {348--365},
}
@InProceedings{Klin04,
author = {B. Klin},
title = {A Coalgebraic Approach to Process Equivalence and a
Coinduction Principle for Traces},
booktitle = {Coalgebraic Methods in Computer Science},
pages = {201--218},
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,
}
@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",
}
@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,
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,
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",
}
@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},
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
}
@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",
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,
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",
}
@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",
bibsource = "DBLP,
http://dblp.uni-trier.de/db/journals/sLogica/sLogica84.html#BlackburnC06",
pages = "277--322",
}
@InProceedings{Marx02,
author = {Maarten Marx},
title = {Narcissists, Stepmothers and Spies},
OPTcrossref = {},
OPTkey = {},
booktitle = {International Workshop on Description Logics},
OPTpages = {},
year = {2002},
OPTeditor = {},
OPTvolume = {},
OPTnumber = {},
series = "CEUR Workshop Proceedings",
OPTaddress = {},
OPTmonth = {},
OPTorganization = {},
publisher = "CEUR-WS.org",
OPTnote = {},
OPTannote = {}
}
@Article{CirsteaEA09,
author = {Corina Cirstea and Alexander Kurz and Dirk Pattinson and Lutz Schr{\"o}der and Yde Venema},
title = {Modal logics are coalgebraic},
journal = {The Computer Journal},
year = {2009},
note = {In print},
}
@inproceedings{JaninWalukiewicz95,
Author = {D. Janin and I. Walukiewicz},
Booktitle = {Mathematical Foundations of Computer Science, MFCS 1995},
volume = {969},
series = lncs,
pages = {552--562},
publisher = springer,
Title = {Automata for the modal {$\mu$}-calculus and related results},
Year = {1995}}
@InProceedings{HansenEA07,
title = "Bisimulation for Neighbourhood Structures",
author = "Helle Hvid Hansen and Clemens Kupke and Eric Pacuit",
bibdate = "2007-08-28",
bibsource = "DBLP,
booktitle = "Algebra and Coalgebra in Computer Science, CALCO 2007",
ALTbooktitle = "Algebra and Coalgebra in Computer Science, Second
International Conference, {CALCO} 2007, Bergen, Norway,
August 20-24, 2007, Proceedings",
publisher = "Springer",
year = "2007",
volume = "4624",
noeditor = "Till Mossakowski and Ugo Montanari and Magne
Haveraaen",
ISBN = "978-3-540-73857-2",
pages = "279--293",
series = lncs,
}
@InProceedings{Gaifman82,
author = "H. Gaifman",
title = "On Local and Non-Local Properties",
editor = "J. Stern",
booktitle = "Logic Colloquium 1981",
ALTbooktitle = "Proc. of the Herbrand Symposium, Logic Colloquium
'81",
pages = "105--135",
year = "1982",
ALTpublisher = "North Holland Pub. Co.",
publisher = "North Holland",
hb-library = "h mat 010 i/50-82",
}
@incollection{Otto06,
author = {M. Otto},
title = {Bisimulation Invariance and Finite Models},
booktitle = {Logic Colloquium 2002},
series = {Lect.\ Notes Log.},
volume = {27},
editor = {Z. Chatzidakis, P. Koepke, W. Pohlers},
pages = {276-298},
publisher = {ASL},
year = 2006
}
@Article{Rosen97,
title = "Modal Logic over Finite Structures",
author = "Eric Rosen",
ALTjournal = "Journal of Logic, Language and Information",
journal = "J.\ Logic, Language and Information",
year = "1997",
number = "4",
volume = "6",
bibdate = "2002-01-03",
bibsource = "DBLP,
pages = "427--439",
}
@PhdThesis{BenthemThesis,
author = "J. van Benthem",
school = "Department of Mathematics, University of Amsterdam",
title = "Modal Correspondence Theory",
year = "1978",
}
@Article{Rijke00,
title = "A Note on Graded Modal Logic",
author = "Maarten de Rijke",
journal = "Stud.\ Log.",
year = "2000",
nonumber = "2",
volume = "64",
bibdate = "2002-11-28",
bibsource = "DBLP,
pages = "271--283",
}
@Article{Elgesem97,
author = {Dag Elgesem},
title = {The modal logic of agency},
journal = {Nordic J.\ Philos.\ Logic},
year = {1997},
volume = {2},
OPTnumber = {2},
pages = {1--46}
}
@inproceedings{PacuitSalame04
, author = "Eric Pacuit and Samer Salame"
, title = "Majority Logic"
, booktitle = " Principles of Knowledge Representation and Reasoning, KR 04"
, noeditor = "D. Dubois and C.A. Welty and M.-A. Williams"
, publisher = "AAAI Press"
, pages = "598--605"
, year = "2004"
}
@Article{Ladner77,
author = "Richard Ladner",
title = "The computational complexity of provability in systems
of modal propositional logic",
journal = "SIAM J.\ Comput.",
volume = "6",
year = "1977",
pages = "467--480",
}
@Article{GovernatoriRotolo05,
author = "Guido Governatori and Antonino Rotolo",
title = "On the Axiomatisation of {E}lgesem's Logic of Agency
and Ability",
journal = "J.\ Philos.\ Logic",
year = "2005",
volume = "34",
nonumber = "4",
pages = "403--431",
}
@Article{Halpern95,
author = {Joseph Halpern},
title = { The effect of bounding the number of primitive
propositions and the depth of nesting on the complexity
of modal logic},
journal = {Artificial Intelligence},
year = {1995},
volume = {75},
OPTnumber = {2},
pages = {361--372}
}
@Article{FattorosiBarnabaDeCaro85,
author = {M. Fattorosi-Barnaba and F. {De Caro}},
title = {Graded Modalities {I}},
journal = {Stud.\ Log.},
year = {1985},
volume = {44},
OPTnumber = {2},
pages = {197--221}}
@InProceedings{CholvyEA05,
title = "Ability in a Multi-agent Context: {A} Model in the
Situation Calculus",
author = "Laurence Cholvy and Christophe Garion and Claire
Saurel",
publisher = springer,
year = "2006",
volume = "3900",
bibdate = "2006-05-02",
bibsource = "DBLP,
booktitle = "Computational Logic in Multi-Agent Systems, CLIMA 2005",
noeditor = "Francesca Toni and Paolo Torroni",
ISBN = "3-540-33996-5",
pages = "23--36",
series = lncs,
noURL = "http://dx.doi.org/10.1007/11750734_2",
}
@Article{CirsteaPattinson07,
author = {C. C{\^i}rstea and D. Pattinson},
title = {Modular Construction of Modal Logics},
journal = {Theoret.\ Comput.\ Sci.},
volume = {388},
number = {1-3},
pages = {83-108},
year = {2007},
}
@InProceedings{PattinsonSchroder09a,
author = {Dirk Pattinson and Lutz Schr{\"o}der},
title = {Generic Modal Cut Elimination Applied to Conditional Logics},
year = {2009},
noeditor = {Martin Giese and Arild Waaler},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009},
publisher = springer,
series = lncs,
volume = {5607},
}
@InProceedings{OlivettiPozzato03,
title = "{CondLean}: {A} Theorem Prover for Conditional Logics",
author = "Nicola Olivetti and Gian Luca Pozzato",
bibdate = "2003-11-04",
bibsource = "DBLP,
ALTbooktitle = "TABLEAUX",
ALTbooktitle = "Automated Reasoning with Analytic Tableaux and Related
Methods, International Conference, {TABLEAUX} 2003,
Rome, Italy, September 9-12, 2003. Proceedings",
booktitle = "Automated Reasoning with Analytic Tableaux and Related
Methods, {TABLEAUX} 2003",
publisher = springer,
year = "2003",
volume = "2796",
noeditor = "Marta Cialdea Mayer and Fiora Pirri",
ISBN = "3-540-40787-1",
pages = "264--270",
series = lncs,
}