% coalg.bib % belongs to AK % changes: % @InCollection{abramsky:cooks-tour, author = {Abramsky, S.}, title = {A {C}ook's tour of the finitary non-well-founded sets}, booktitle = {We Will Show Them: Essays in Honour of Dov Gabbay}, optpages = {1--18}, publisher = {College Publications}, year = {2005}, OPTeditor = {}, optvolume = {1}, note = {Presented at BCTCS 1988}, } @InCollection{abramsky90, author = {S. Abramsky}, title = {The Lazy Lambda Calculus}, booktitle = {Research Topics in Functional Programming}, publisher = {Addison Wesley}, year = 1990, editor = {D. Turner}, optpages = {65--117} } @incollection{abra-jung:dt, author = "Samson Abramsky and Achim Jung", title = "Domain Theory", booktitle = "Handbook of Logic in Computer Science", publisher = "OUP", OPTeditor = "S. Abramsky and D. Gabbay and T. S. E. Maibaum", Optpages = "1--168", year = "1994", } @Article{abramsky:dtlf, author = {Samson Abramsky}, title = {Domain theory in logical form}, journal = {Ann.\ Pure Appl.\ Logic}, optjournal = {Annals of Pure and Applied Logic}, year = {1991}, volume = {51}, pages = {1--77}, } @Article{abramsky:deb, author = {Samson Abramsky}, title = {A Domain Equation for Bisimulation}, journal = {Information and Computation}, year = {1991}, volume = {92}, optnumber = {2}, Optpages = {161--218}, } @misc{abramsky:bctcs88, author = {Abramsky, S.}, title = {{A Cook's Tour of the Finitary Non-Well-Founded Sets}}, note = {Invited Lecture at BCTCS 1988}, } @Book{aczel:nwfs, author = "Peter Aczel", title = "Non-Well-Founded Sets", year = "1988", publisher = "CSLI", address = "Stanford", annote = "CSLI Lecture Notes, Volume 14", } @InProceedings{aczel:fuop, author = "Peter Aczel", title = "Final Universes of Processes", Optpages = "1--28", ISBN = "", OPTeditor = "S. Brookes and M. Main and A. Melton and M. Mislove and D. Schmidt ", booktitle = "Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics", series = "LNCS", volume = "802", publisher = " ", optaddress = "Berlin", year = "1994", } @InProceedings{acze-mend:fct, author = "Peter Aczel and Nax Paul Mendler", title = "A Final Coalgebra Theorem", OPTeditor = {David H. Pitt and David E. Rydeheard and Peter Dybjer and Andrew M. Pitts and Axel Poign{\'e}}, booktitle = "Category Theory and Computer Science", series = "LNCS", year = "1989", volume = "389", Optpages = "357--365", publisher = " ", optaddress = "Berlin", } @Article{adam-koub:gfp, author = {Ji{\v r}{\'\i} Ad{\'a}mek and V{\'a}clav Koubek}, title = {On the greatest fixed point of a set functor}, journal = {Theoret.\ Comput.\ Sci.}, year = {1995}, volume = {150}, optnumber = {1}, pages = {57--75}, } @Article{aiz:pres, author = {A. Ya. Aizen{\v s}tat}, title = {Defining relations of finite symmetric semigroups}, journal = {Math.\ Sb.\ N.\ S.}, year = {1958}, volume = {45}, optnumber = {87}, pages = {261--280}, } @Misc{adamek:bounded-accessible, author = {Ji{\v r}{\'\i} Ad{\'a}mek}, title = {bounded=accessible}, howpublished = {Categories Mailing List}, month = {March}, year = {2000}, note = {\ \\Available at \verb+http://www.mta.ca/~cat-dist/categories.html+}, OPTannote = {} } @Book{ahs, author = "Ji{\v r}{\'\i} Ad{\'a}mek and Horst Herrlich and George E.\ Strecker", title = "Abstract and Concrete Categories", year = "1990", publisher = "John Wiley \& Sons", } @Book{tarski:cyl-alg, author = "Leon Henkin and J. Donald Monk and Alfred Tarski", title = "Cylindric Algebra", year = "1971", publisher = "North Holland Publishing Company.", } @Book{adam-trnk:automata, author = "Ji{\v r}{\'\i} Ad{\'a}mek and Vera Trnkov{\'a}", title = "Automata and Algebras in Categories", year = "1990", publisher = "Kluwer", optpublisher = "Kluwer Academic Publishers", } @InProceedings{kurz-leal:mfps09, author = {A. Kurz and R. Leal}, title = {Equational Coalgebraic Logic}, optyear = {}, OPTkey = {}, booktitle = {MFPS'09}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {}, } @Proceedings{kpv:jlc, title = {Special Issue on Coalgebraic Logic in the Journal of Logic and Computation}, optyear = {}, OPTkey = {}, optbooktitle = {Journal of Logic and Computation}, opteditor = {A. Kurz and A. Palmigiano and Y. Venema}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, note = {To appear}, OPTannote = {} } @Article{kpv:jlcc, opteditor = {A. Kurz and A. Palmigiano and Y. Venema}, title = {Coalgebra and Logic: a brief overview}, journal = {Journal of Logic and Computation}, note = {To appear}, } @Article{kpv:jlc-intro, author = {A. Kurz and A. Palmigiano and Y. Venema}, title = {Coalgebra and Logic: a brief overview}, journal = {Journal of Logic and Computation}, note = {To appear}, } @Article{kurz:sigact06, author = {A. Kurz}, title = {Coalgebras and their logics}, journal = {SIGACT News}, year = {2006}, volume = {37}, optnumber = {2}, pages = {57-77}, } @Article{adamek-lawv-ros:duality, author = {J. Ad\'amek and F.W. Lawvere and J. Rosick\'y}, title = {On the duality between varieties and algebraic theories}, journal = {Algebra universalis}, year = {2003}, OPTkey = {}, volume = {49}, OPTnumber = {}, OPTpages = {35-49}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Book{arv:varieties, author = {J. Ad\'amek and J. Rosick\'y and E. M. Vitale}, ALTeditor = {}, title = {Algebraic Theories: a Categorical Introduction to General Algebra}, optchapter = {}, publisher = {}, year = {}, Optpages = {}, note = {Draft available at \url{http://www.iti.cs.tu-bs.de/~adamek/algebraic.theories.pdf}}, } @Article{adam-etal:weak-fact, author = {Ji{\v r}{\'\i} Ad{\'a}mek and Horst Herrlich and Ji{\v r}{\'\i} Rosick{\'y} and W. Tholen}, title = {Weak Factorization Systems and Topological Functors}, journal = {Applied Categorical Structures}, year = {2002}, volume = {10}, Optpages = {237--249}, } @Article{ar:sifted-colim, author = {Ji{\v r}{\'\i} Ad{\'a}mek and Ji{\v r}{\'\i} Rosick{\'y}}, title = {On sifted colimits and generalized varieties}, journal = {Th. Appl. Categ.}, year = {2001}, volume = {8}, Optpages = {}, } @Article{adam-pors:cobirk, author = {Ji{\v r}{\'\i} Ad{\'a}mek and Hans-E.\ Porst}, title = {On Varieties and Covarieties in a Category}, journal = {Math.\ Structures Comput.\ Sci.}, year = {2003}, optpages = {201-232}, volume = {13}, } @InProceedings{adam-pors:cmcs01, author = {Ji{\v r}{\'\i} Ad{\'a}mek and Hans-E. Porst}, title = {From varieties of algebras to covarieties of coalgebras}, booktitle = {CMCS'01}, year = {2001}, OPTeditor = {A. Corradini and M. Lenisa and U. Montanari}, volume = {44.1}, OPTnumber = {1}, series = {ENTCS}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Elsevier}, OPTannote = {} } @Book{ar, author = "Ji{\v r}{\'\i} Ad{\'a}mek and Ji{\v r}{\'\i} Rosick{\'y}", title = "Locally Presentable and Accessible Categories", year = "1994", publisher = "CUP", optseries = {London Mathematical Society Lecture Notes Series}, optvolume = {189}, } @Book{r:group-th, author = "Derek Robinson", title = "A Course in the Theory of Groups", year = "1996", publisher = "Springer", optseries = {}, optvolume = {}, } @article{adamek-koubek:gfp, author = {Ji{\v r}{\'\i} Ad\'{a}mek and V{\'a}clav Koubek}, title = {{On the greatest fixed point of a set functor}}, journal = TCS, year = {1995}, volume = {150}, Optpages = {57-75} } @PhdThesis{agostino:diss, author = {Giovanna d'Agostino}, title = {Modal Logic and non-well founded Set Theory: translation, bisimulation, interpolation}, school = {Universiteit van Amsterdam}, year = {1998}, OPTnote = {ILLC Dissertation Series 1998-4}, } @InProceedings{abh:partializing, author = "F. Alessi and P. Baldan and F. Honsell", title = "{P}artializing {S}tone {S}paces {U}sing {SFP} {D}omains (extended abstract)", OPTeditor = "M. Bidoit et al", booktitle = "CAAP '97", series = "LNCS 1158", year = "1997", optvolume = "1158", Optpages = "478--489", optpublisher = " ", optaddress = "Berlin", } @InProceedings{ales:part97, author = {F. Alessi and P. Baldan and F. Honsell}, title = {Partializing {S}tone Spaces Using {SFP} Domains (extended abstract)}, OPTeditor = {M. Bidoit et al}, booktitle = {CAAP '97}, series = {LNCS}, year = {1997}, volume = {1158}, Optpages = {478--489}, } @Book{almeida:finite-semigroups, author = {Jorge Almeida}, title = {Finite semigoups and universal algebra}, publisher = {World Scientific}, year = {1995}, } @article{andr-neme:los, author="Andr{\'e}ka, H. and N{\'e}meti, I.", title="{\L}o\'s lemma holds in every category", journal="Studia Sci.\ Math.\ Hungar.", year="1978", volume="13", optpbages="361--376" } @article{andr-neme:first-order, author="Andr{\'e}ka, H. and N{\'e}meti, I.", title="Injectivity in Categories to Represent All First order Formulas, I", journal="Demonstration Mathematicae", year="1979", volume="XII", number="3", pages="717--732" } @InCollection{andr-neme:injectivity, author = {Hainal Andr{\'e}ka and Istv{\'a}n N{\'e}meti}, title = {A general axiomatizability theorem formulated in terms of cone-injective subcategories}, booktitle = {Universal Algebra}, Optpages = {13--35}, publisher = {North Holland}, year = {1982}, OPTeditor = {B. Csakany and E. Fried and E. Schmidt}, } @Article{abn:guarded, author = {H. Andreka and J. van Benthem and I. Nemeti}, title = {Modal languages and bounded fragments of predicate logic}, journal = {J.\ Philos.\ Logic}, optjournal = {Journal of Philosophical Logic}, year = {1998}, OPTkey = {}, volume = {27}, OPTnumber = {3}, OPTpages = {217-274}, } @TechReport{arba-rutt:comp-conn-tr, author = {F. Arbab and J.J.M.M Rutten}, title = {A coinductive calculus of component connectors}, institution = {CWI}, year = {2002}, number = {SEN-R0216}, address = {Amsterdam}, } @Inproceedings{arba-rutt:comp-conn, author = {F. Arbab and J Rutten}, title = {A coinductive calculus of component connectors}, booktitle = {WADT'02}, Optpages = {35--56}, series = {LNCS 2755}, year = {2003}, optvolume = {2755}, } @INCOLLECTION{arec-cate:hybrid-logic, author = {Areces, C. and ten Cate, B.}, title = {Hybrid Logics}, booktitle = {Handbook of Modal Logics}, optpublisher = {Elsevier}, year = {2006}, opteditor = {Blackburn, P. and Wolter, F. and van Benthem, J.}, } @Article{arbi-mane:fuzzy-machines, author = {Michael A. Arbib and Ernest G. Manes}, title = {Fuzzy machines in a category}, journal = {Bull.\ Austral.\ Math.\ Soc.}, year = {1975}, volume = {13}, Optpages = {169-210}, } @Article{arbi-mane:fuzzy-machines, author = {Michael A. Arbib and Ernest G. Manes}, title = {Fuzzy machines in a category}, journal = {Bull.\ Austral.\ Math.\ Soc.}, year = {1975}, volume = {13}, Optpages = {169-210}, } @Article{arbi-mane:siam, author = {Michael A. Arbib and Ernest G. Manes}, title = {Machines in a Category: An Expository Introduction}, journal = {SIAM Review}, year = {1974}, volume = {16}, OPTnumber = {163--192}, Optpages = {285--302}, } @ARTICLE{arbi-mane:am, AUTHOR = "Michael A. Arbib and Ernest G. Manes", TITLE = "Adjoint machines, state-behaviour machines, and duality", JOURNAL = "Journ. of Pure and Applied Algebra", OPTPAGES = "313--344", VOLUME = "6", YEAR = "1975"} @Article{arbib-manes:80, key = "Arbib \& Manes", author = "Michael A. Arbib and Ernest G. Manes", title = "Machines in a Category", journal = "Journal of Pure and Applied Algebra", month = feb, year = "1980", volume = "19", Optpages = "9--20", annote = "Focuses on greatest fixpoints. 16 references.", } @Article{arbib-manes:82, key = "Arbib \& Manes", author = "Michael A. Arbib and Ernest G. Manes", title = "Parameterized Data Types do not Need Highly Constrained Parameters", journal = "Information and Control", month = feb, year = "1982", volume = "52", number = "2", Optpages = "139--158", annote = "Focuses on greatest fixpoints. 16 references.", } @book{aspe-long:ct, author = "A. Asperti and G. Longo", title = "Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist", publisher = "MIT Press", year = "1991", OPTnote = {Available at \url{http://www.di.ens.fr/users/longo/download.html}}, } @TechReport{awod-hugh:cobirk, author = {S. Awodey and J. Hughes}, title = {The Coalgebraic Dual of {B}irkhoff's Variety Theorem}, institution = {Carnegie Mellon University}, year = {2000}, number = {CMU-PHIL-109}, month = {November}, address = {Pittsburgh, PA, 15213}, OPTurl = {Available at \url{http://www.contrib.andrew.cmu.edu/user/jesse/papers/CoBirkhoff.ps.gz}}, } @Article{awod-hugh:cmcs01-j, author = {S. Awodey and J. Hughes}, title = {Modal Operators and the Formal Dual of {B}irkhoff's Completeness Theorem}, journal = {Math.\ Structures Comput.\ Sci.}, note = {To appear.}, year = {2003}, optpages = {233-258}, volume = {13}, } @book{DL-handbook, opteditor = {Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider}, opteditor = {F. Baader and D. Calvanese and D. McGuinness and D. Nardi and P. Patel-Schneider}, opttitle = {The Description Logic Handbook}, title = {The Description Logic Handbook: Theory, Implementation, and Applications}, optpublisher = {Cambridge University Press}, publisher = {CUP}, year = {2003}, optisbn = {0-521-78176-0}, } @book{bakk-vink:cfs, key = {bakker}, author = {Jaco de Bakker and Eric de Vink}, title = {Control Flow Semantics}, year = {1996}, publisher = {MIT Press}, } @InProceedings{bbv:lindstroem, author = {B. ten Cate and J. van Benthem and J. V{\"a}{\"a}n{\"a}nen}, title = {Lindstr{\"o}m theorems for fragments of first-order logic}, booktitle = {LICS'07}, OPTpages = {}, year = {2007}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTpublisher = {}, } @phdthesis{baltag:diss, author = "Alexandru Baltag", title = "{STS}: A Structural Theory of Sets", school = "Indiana University", year = "1998", } @inproceedings{baltag:aiml98, author = "Alexandru Baltag", title = "{STS}: A Structural Theory of Sets", booktitle = "Proceedings of Advances in Modal Logic 2, Uppsala, 1998", publisher = "CSLI", } @inProceedings{baltag:cmcs00, author = {Alexandru Baltag}, title = {A Logic for Coalgebraic Simulation}, booktitle = "CMCS'00", year = {2000}, OPTeditor = {Horst Reichel}, optvolume = {33}, Optpages = {41--60}, series = {ENTCS 33}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @TechReport{balt-moss-sole:pub-ann, author = {A. Baltag and L. Moss and S. Solecki}, title = {The Logic of Public Announcements, Common Knowledge, and Private Suspicions}, institution = {CWI}, year = {1999}, number = {SEN-R9922}, address = {Amsterdam}, month = {November}, } @Article{bana-herr:imp, author = {B. Banaschewski and H. Herrlich}, title = {Subcategories defined by implications}, journal = {Houston J.\ Math.}, year = {1976}, OPTkey = {}, volume = {2}, optnumber = {2}, OPTmonth = {}, Optpages = {149--171}, OPTnote = {}, OPTannote = {} } @Article{barbosa:components, author = {Luis Barbosa}, title = {Towards a Calculus of Software Components}, journal = {J.~Univ.\ Comp.\ Sci.}, year = {2003}, volume = {9}, optnumber = {8}, Optpages = {891-909}, } @InProceedings{barbosa:fmoods00, author = {Luis Barbosa}, title = {Components as Processes: An Exercise in Coalgebraic Modeling}, booktitle = {}, Optpages = {397--417}, year = {2000}, OPTeditor = {Smith, S. F. and Talcott, C. L.}, publisher = {Kluwer}, } @Article{barr:rel-alg, author = {Michael Barr}, title = {Relational Algebras}, journal = {LNM}, year = {1970}, OPTkey = {}, volume = {137}, OPTnumber = {}, Optpages = {39-55}, OPTmonth = {}, OPTnote = {}, } @book{barr-well:ct, author = "M. Barr and C. Wells", title = "Category Theory for Computing Science", publisher = "Prentice-Hall International", OPTaddress = "Englewood Cliffs, NJ, USA", isbn = "0-13-120486-6", Optpages = "xv + 432", year = "1990" } @Book{barr-well:ttt, author = {Michael Barr and Charles Wells}, title = {Toposes, Triples and Theories}, publisher = {Springer}, year = {1983}, note = {Electronically available.}, } @article{barr:tc, author = "Michael Barr", title = "Terminal coalgebras in well-founded set theory", journal = "Theoret.\ Comput.\ Sci.", year = "1993", month = jun, volume = "114", number = "2", Optpages = "299--315", } @InProceedings{bartels:cmcs01, author = {Falk Bartels}, title = {Generalised Coinduction}, booktitle = {CMCS'01}, year = {2001}, OPTeditor = {A. Corradini and M. Lenisa and U. Montanari}, volume = {44.1}, OPTnumber = {1}, series = {ENTCS}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Elsevier}, OPTannote = {} } @article{bartels:cmcs01-j, author = {Falk Bartels}, title = {Generalised Coinduction}, year = {2003}, volume = {13}, OPTnumber = {1}, journal = {Math.\ Structures Comput.\ Sci.} } @PhdThesis{bartels:diss, author = {Falk Bartels}, title = {On Generalised Coinduction and Probabilistic Specification Formats}, school = {Vrije Universiteit Amsterdam}, year = {2004}, } @Article{BBGK:bitop, author = {G. Bezhanishvili and N. Bezhanishvili and D. Gabelaia and A. Kurz}, title = {Bitopological duality for distributive lattices and {H}eyting algebras}, journal = {Mathematical Structures in Computer Science}, optyear = {2008}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {To appear}, } @Article{BGK:many-val-08, author = {N. Bezhanishvili and M. Gehrke and A. Kurz}, title = {Free {He}yting algebras: revisited}, note = {Presented at \emph{ManyVal'08}, Milan, 19-21 May 2008}, optyear = {2008}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Article{BBdJ:kuznetsov, author = {G. Bezhanishvili and N. Bezhanishvili and D. de Jongh}, title = {The {K}uznetsov-{G}erciu and {R}ieger-{N}ishimura logics: the boundaries of the finite model property}, journal = {Logic and Logical Philosophy}, optyear = {2008}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {To appear}, OPTannote = {} } @Article{bezh:frame-based, author = {N. Bezhanishvili}, title = {Frame based formulas for intuitionistic logic}, journal = {Studia Logica}, optyear = {2008}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {To appear}, OPTannote = {} } @Article{BFV:vietoris-bisim, author = {N. Bezhanishvili and G. Fontaine and Y. Venema}, title = {Vietoris bisimulations}, journal = {Journal of Logic and Computation}, optyear = {2008}, note = {To appear}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Article{bezh-bezh:profinite-ha, author = {G. Bezhanishvili and N. Bezhanishvili}, title = {Profinite {H}eyting Algebras}, journal = {Order}, optyear = {2008}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {To appear}, OPTannote = {} } @PhdThesis{nick:diss, author = {Bezhanishvili, N.}, title = {Lattices of Intermediate and Cylindric Modal Logics}, school = {ILLC, University of Amsterdam}, year = {2006}, OPTkey = {}, OPTtype = {}, OPTaddress = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{bezh-kurz:calco07, author = {N. Bezhanishvili and A. Kurz}, title = {Free modal algebras: A coalgebraic perspective}, booktitle = {CALCO'07}, optpages = {143--157}, year = {2007}, editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, optvolume = {4624}, OPTnumber = {}, series = {LNCS 4624}, publisher = {Springer}, optnote = {Draft.}, } @InProceedings{brad-stir:handbook, author = {Julian Bradfield and Colin Stirling}, opteditor = {J. A. Bergstra and A. Ponse, and S. A. Smolka}, title = {Modal Logics and Mu-Calculi: An Introduction}, optchapter = {4}, booktitle = {Handbook of Process Algebra}, publisher = {Elsevier}, year = {2001}, OPTvolume = {}, optpages = {293-330}, } @Article{bruu-gehr:ontologies, author = {Hans Bruun and Mai Gehrke}, title = {Distributive lattice-structured ontologies}, journal = {}, year = {2006}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, Optpages = {}, OPTmonth = {}, note = {Draft}, OPTannote = {} } @InProceedings{ggp:icalp08, author = {Mai Gehrke and Serge Grigorieff and Jean-Eric Pin}, title = {Duality and equational theory of regular languages}, booktitle = {ICALP'08}, optyear = {2008}, } @Article{bsv:cmcs03-j, author = {Falk Bartels and Ana Sokolova and Erik de Vink}, title = {A hierarchy of probabilistic system types}, journal = {Theoret.\ Comput. Sci.}, year = {2004}, volume = {327}, OPTnumber = {}, Optpages = {3--22}, } @InProceedings{bsv:cmcs03, author = {Falk Bartels and Ana Sokolova and Erik de Vink}, title = {A Hierarchy of probabilistic System Types}, booktitle = {CMCS'03}, year = {2003}, OPTeditor = {H.P. Gumm}, optvolume = {86.1}, OPTnumber = {1}, series = {ENTCS 82}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, optpublisher = {Elsevier}, OPTannote = {} } @techreport{barw-bent:inter, author = "J. Barwise and J. van Benthem", title = "Interpolation, Preservation, and Pebble Games", institution = "ILLC, Amsterdam", number = "ML-96-12", year = "1996", } @Book{barw-etch:liar, author = "Jon Barwise and John Etchemendy", title = "The Liar: An Essay on Truth and Circularity", publisher = "Oxford University Press", year = "1987", } @Book{barw-moss:vc, author = "J. Barwise and L. Moss", title = "Vicious Circles", publisher = "CSLI", year = "1996", annote = "CSLI Lecture Notes Number 60", } @article{barw-moss:corr, author = "J. Barwise and L. Moss", title = "Modal Correspondence for Models", journal = "Journal of Philosophical Logic", year = "1998", volume = "27", number = "3", } @Article{beke:model-categories, author = {Tibor Beke}, title = {Sheafifiable homotopy model categories}, journal = {Math.\ Proc.\ Camb.\ Phil.\ Soc.}, volume = {129}, number = {3}, Optpages = {447--475}, } @PhdThesis{benthem:diss, author = {{van} Benthem, Johan}, title = {Modal Correspondence Theory}, school = {University of Amsterdam}, year = {1976}, OPTkey = {}, OPTtype = {}, OPTaddress = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Book{benthem:mlcl, author = "{van} Benthem, Johan", title = "Modal Logic and Classical Logic", publisher = "Bibliopolis", optaddress = "Naples", year = "1983", } @InCollection{benthem:ct, author = {}, title = {Correspondence Theory}, booktitle = {Handbook of Philosophical Logic}, publisher = {Reidel}, year = {1984}, OPTeditor = {D. Gabbay and F. Guenthner}, volume = {2}, address = {Dordrecht}, } @Article{benthem:inf, author = {{Johan van} Benthem}, title = {Modality, Bisimulation and Interpolation in Infinitary Logic}, journal = {Ann.\ Pure Appl.\ Logic}, optjournal = {Annals of Pure and Applied Logic}, year = {1999}, OPTkey = {}, volume = {96}, OPTnumber = {}, Optpages = {29--41}, } @Article{benthem:modal-frame-classes, author = {{Johan van} Benthem}, title = {Modal Frame Classes Revisited}, journal = {Fundamenta Informaticae}, year = {1993}, volume = {18}, Optpages = {307--317}, } @InProceedings{berg-jaco:loop, author = {J. van den Berg and B. Jacobs}, title = {The LOOP compiler for Java and JML}, OPTcrossref = {}, OPTkey = {}, booktitle = {TACAS'01}, Optpages = {299--312}, year = {2001}, OPTeditor = {T. Margaria and W. Yi}, optvolume = {2031}, OPTnumber = {}, series = {LNCS 2031}, optpublisher = {}, } @Article{bhw:95, author = "Michel Bidoit and Rolf Hennicker and Martin Wirsing", title = "Behavioural and abstractor specifications", journal = "Science of Computer Programming", volume = "25", year = "1995", Optpages = "149--186" } @InProceedings{bh:94, author = "Michel Bidoit and Rolf Hennicker", title = "Proving behavioural theorems with standard first-order logic", Optpages = "41--58", ISBN = "", OPTeditor = "G.~Levi and M.~Rodriguez-Artalejo", booktitle = "Proc. Algebraic and Logic Programming, 4th International Conference, ALP '94, Madrid, September 1994", series = "LNCS", volume = "850", year = "1994", } @Article{bh:96, author = "Michel Bidoit and Rolf Hennicker", title = "Behavioural theories and the proof of behavioural properties", journal = "Theoret.\ Comput.\ Sci.", volume = "175", year = "1996", Optpages = "3--55", } @Article{bh:98, author = "Michel Bidoit and Rolf Hennicker", title = "Modular correctness proofs of behavioural implementations", journal = "Acta Informatica", volume = "35", year = "1998", Optpages = "951--1005" } @InProceedings{bhk:fossacs01, author = {Michel Bidoit and Rolf Hennicker and Alexander Kurz}, title = {On the Duality between Observability and Reachability}, optbooktitle = {Foundations of Software Science and Computation Structures (FoSSaCS'01)}, booktitle = {FoSSaCS'01}, Optpages = {72--87}, year = {2001}, OPTeditor = {F. Honsell and M. Miculan}, optvolume = {2030}, series = {LNCS 2030}, } @Article{bhk:fossacs01-j, author = {Michel Bidoit and Rolf Hennicker and Alexander Kurz}, title = {Observational logic, constructor-based logic, and their duality}, journal = {Theoretical Computer Science}, year = {2003}, volume = {298}, Optpages = {471--510}, optnote = {To appear. Extended version of \cite{bhk:fossacs01}. Available as CWI Technical Report SEN-R0223, 2002}, } @Article{bhk:obsreach, author = "Michel Bidoit and Rolf Hennicker and Alexander Kurz", title = "On Observability and Reachability", year = "2000", OPTnote = "\ \\ \verb=http://www.cwi.nl/~kurz/obsreach.ps.gz=", } @InProceedings{bh:fossacs02, author = {Michel Bidoit and Rolf Hennicker}, title = {On the Integration of Observability and Reachability Concepts}, booktitle = {FoSSaCS'02}, Optpages = {21--36}, year = {2002}, OPTeditor = {M.\ Nielsen and U.\ Engberg}, optvolume = {2303}, series = {LNCS 2303}, } @Article{bkr:vietoris, author = {M.M. Bonsangue and A. Kurz and I.M. Rewitzky}, title = {Coalgebraic representations of distributive lattices with operators}, journal = {Topology and its Applications}, year = {2007}, OPTvolume = {154}, OPTnumber = {4}, Optpages = {778--791}, note = {To appear, available online}, } @InProceedings{bons-kurz:lics07, author = {M.M. Bonsangue and A. Kurz}, optbooktitle = {LICS'07}, booktitle = {LICS}, title = {Pi-calculus in logical form}, year = {2007}, optpages = {303-312}, optpublisher = {IEEE}, } @InProceedings{bons-kurz:fossacs05, author = {Marcello Bonsangue and Alexander Kurz}, booktitle = {FoSSaCS}, title = {Duality for Logics of Transition Systems}, year = {2005}, series = {LNCS}, volume = {3441}, opteditor = {V. Sassone}, pages = {455-469} } @InProceedings{bons-kurz:fossacs06-1, author = {Marcello Bonsangue and Alexander Kurz}, booktitle = {FoSSaCS'06}, title = {Presenting Functors by Operations and Equations}, optyear = {2006}, optseries = {LNCS 3921}, optvolume = {}, opteditor = {}, optpages = {}, } @Misc{bons-kurz:present-fun, author = {Marcello Bonsangue and Alexander Kurz}, title = {Presenting Functors by Operations and Equations}, series = {LNCS}, volume = {3921}, year = {2006}, note = {Draft, electronically available}, opteditor = {Luca Aceto and Anna Ing{\'o}lfsd{\'o}ttir}, OPTannote = {}, } @inproceedings{bons-kurz:fossacs06, author = {Marcello M. Bonsangue and Alexander Kurz}, title = {Presenting Functors by Operations and Equations}, booktitle = {FoSSaCS}, year = {2006}, optpages = {172-186}, ee = {http://dx.doi.org/10.1007/11690634_12}, crossref = {DBLP:conf/fossacs/2006}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/fossacs/2006, opteditor = {Luca Aceto and Anna Ing{\'o}lfsd{\'o}ttir}, title = {Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings}, booktitle = {FoSSaCS}, publisher = {Springer}, series = {LNCS}, volume = {3921}, year = {2006}, isbn = {3-540-33045-3}, bibsource = {DBLP, http://dblp.uni-trier.de} } @Misc{bons-kurz:t0-dr, author = {Marcello Bonsangue and Alexander Kurz}, title = {Duality for Logics of Transition Systems}, year = {2004}, note = {Draft, electronically available}, OPTannote = {} } @Misc{bons-kurz:t0-sa, author = {Marcello Bonsangue and Alexander Kurz}, title = {On topological dualities for modal logic}, optyear = {2004}, note = {Presented at the 19th Summer Conference on Topology and its Applications, Cape Town, South Africa. Electronically available. 2004}, OPTannote = {} } @Article{bons-kok:inf-logic, author = {M. Bonsangue and J. Kok}, title = {Towards and infinitary logic of domains: {A}bramsky logic for transition systems}, journal = {Inform. and Comput.}, year = {1995}, volume = {155}, Optpages = {}, } @Article{bjk:tzero, author = {Marcello Bonsangue and Bart Jacobs and Joost N. Kok}, title = {Duality beyond Sober Spaces: Topological Spaces and Observation Frames}, journal = {Theoret.\ Comput.\ Sci.}, volume = "151", optnumber = "1", Optpages = "79--124", year = "1995", } @PhdThesis{bonsangue:diss, author = {Marcello M. Bonsangue}, title = {Topological Dualities in Semantics}, school = {Vrije Universiteit Amsterdam}, year = {1996}, } @Book{borc-bour:malcev, author = {Francis Borceux and Dominique Bourn}, ALTeditor = {}, title = {Mal'cev, Protomodular, Homological and Semi-abelian Categories}, publisher = {Kluwer}, year = {2004}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Book{hca, author = "Borceux, Francis", title = "Handbook of Categorical Algebra", publisher = "Cambridge University Press", year = "1994", } @InProceedings{borz:completeness, author = {Tomasz Borzyszkowski}, title = {Completeness of a logical system for structured specifications}, OPTeditor = "F.~Parisi-Presicce", booktitle = "Recent Trends in Algebraic Development Techniques, WADT 97", series = "LNCS", volume = "1376", optaddress = "Berlin", year = "1998", Optpages = {107--121}, } @Book{brv:ml, author = {Patrick Blackburn and Maarten de Rijke and Yde Venema}, title = {Modal Logic}, publisher = {CUP}, year = {2001}, } @Book{brin-rewi:ps, author = {Chris Brink and Ingrid M. Rewitzky}, title = {A Paradigm for Program Semantics: Power Structures and Duality}, publisher = {Cambridge University Press}, year = {2001}, } @Book{burr-sank:ua, author = {S. Burris and H.P. Sankappanavar}, title = {A Course in Universal Algebra}, publisher = {Springer}, year = {1981}, OPTseries = {Graduate Texts in Mathematics}, OPTvolume = {78} } @inProceedings{buss-rosu:cmcs00, author = {S. Buss and G. Ro\c{s}u}, title = {Incompleteness of Behavioural Logic}, booktitle = {CMCS'00}, year = {2000}, OPTeditor = {Horst Reichel}, volume = {33}, Optpages = {61--80}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, optaddress = {Berlin}, } @INPROCEEDINGS{calin-etal:coloss, title = {{COLOSS}: The Coalgebraic Logic Satisfiability Solver}, author = {G. Calin and R. Myers and D. Pattinson and L. Schr{\"{o}}der}, booktitle = {Proc. Methods for Modalities 5 (2007)}, year = {2007}, series = {ENTCS}, optseries = {Electr. Notes in Theoret. Comp. Sci.}, optnote = {14 pp, to appear} } @Article{cgs:mod-top, author = {B. ten Cate and D. Gabelaia and Dmitry Sustretov}, title = {Modal languages for topology: expressivity and definability}, note = {arXiv 0610357}, year = {2006}, key = {Cate}, } @TechReport{ckw:wpb, author = {A. Carboni and G. Kelly and R. Wood}, title = {A 2-categorical approach to change of base and geometric morphisms {I}}, institution = {Department of Pure Mathematics, University of Sydney}, year = {1990}, number = {90-1}, } @Book{clark-davey:nat98, author = {David M. Clark and Brian A. Davey}, title = {Natural Dualities for the Working Algebraist}, publisher = {Cambridge University Press}, optaddress = {Cambridge}, year = {1998}, } @Article{cela-jans:priestley, author = {S. Celani and R. Jansana}, title = {Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic}, journal = {Logic Journal of the IGPL}, year = {1999}, volume = {7}, Optpages = {683-715}, } @Book{chag-zakh:ml, author = {Alexander Chagrov and Michael Zakharyaschev}, title = {Modal Logic}, publisher = {Clarendon Press}, year = {1997}, } @InProceedings{ckpsv:bcs08, author = {C. C{\^\i}rstea and A. Kurz and D. Pattinson and L. Schr{\"o}der and Y. Venema}, title = {Modal Logics are Coalgebraic}, OPTcrossref = {}, OPTkey = {}, booktitle = {Visions of Computer Science}, OPTpages = {}, note = {London, 22-24 September 2008}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, optpublisher = {BCS}, OPTnote = {}, OPTannote = {} } @article{ckpsv:bcs08-j, author = {C. C{\^\i}rstea and A. Kurz and D. Pattinson and L. Schr{\"o}der and Y. Venema}, title = {Modal Logics are Coalgebraic}, journal = {The Computer Journal}, note = {Journal version of \cite{ckpsv:bcs08}; to appear} } @PhdThesis@PhdThesis{cirstea:diss, author = {C{\^\i}rstea, Corina}, title = {Integrating Observations and Computations in the Specification of State-Based, Dynamical Systems}, school = {University of Oxford}, year = {2000}, } @inproceedings{cirstea:coalg-ha, author = "C{\^\i}rstea, Corina", title = "Coalgebraic Semantics for Hidden Algebra: parameterized objects and inheritance", OPTeditor = "F.~Parisi-Presicce", booktitle = "Recent Trends in Algebraic Development Techniques, WADT 97", series = "LNCS", volume = "1376", year = "1998", } @inProceedings{cirstea:cmcs99, title = {A Coequational Approach to Specifying Behaviours}, Optpages = {173--194}, author = {C{\^\i}rstea, Corina}, booktitle = {CMCS'99}, year = {1999}, OPTeditor = {B. Jacobs and J. Rutten}, volume = {19}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @inProceedings{cirstea:cmcs00, title = {An Algebra-Coalgebra Framework for System Specification}, Optpages = {81--112}, author = {C{\^\i}rstea, Corina}, booktitle = {CMCS'00}, year = {2000}, OPTeditor = {Horst Reichel}, volume = {33}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @inProceedings{cirstea:cmcs02, author = {C{\^\i}rstea, Corina}, title = {Institutionalising Many-Sorted Coalgebraic Modal Logic}, year = {2002}, booktitle = {CMCS'02}, OPTeditor = {L.S. Moss}, volume = {65.1}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @InProceedings{cirstea:fossacs02, author = {C{\^\i}rstea, Corina}, title = {On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability}, booktitle = {FoSSaCS'02}, Optpages = {82--97}, year = {2002}, OPTeditor = {M. Nielsen and U. Engberg}, optvolume = {2303}, series = {LNCS 2303}, } @inproceedings{cirstea:cmcs04, author = {C{\^\i}rstea, Corina}, title = {On Logics for Coalgebraic Simulation}, OPTeditor = "J. Adamek", booktitle = "CMCS'04", series = {ENTCS 106}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", optvolume = {}, year = {2004}, } @inproceedings{cirstea:cmcs03, author = {C{\^\i}rstea, Corina}, title = {On Expressivity and Compositionality in Logics for Coalgebras}, OPTeditor = "H.P. Gumm", booktitle = "CMCS'03", series = {ENTCS}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", optvolume = {82}, year = {2003}, } @inproceedings{cirs-patt:concur04, author = {C{\^\i}rstea, Corina and Dirk Pattinson}, title = {Modular Construction of Modal Logics}, opteditor = "Philippa Gardner, Nobuko Yoshida", booktitle = "CONCUR'04", series = {LNCS}, volume = {3170}, year = {2004}, optpages = {258-275}, } @article{cirs-patt:concur04-j, author = {C{\^\i}rstea, Corina and Dirk Pattinson}, title = {Modular construction of complete coalgebraic logics}, journal = {Theor. Comput. Sci.}, volume = {388}, number = {1-3}, year = {2007}, pages = {83-108}, } @InCollection{clou-pitt:nom-equ-log, author = {R. Clouston and A. Pitts}, title = {Nominal Equational Logic}, booktitle = {Computation, Meaning and Logic, Articles dedicated to Gordon Plotkin }, optpages = {223--257}, publisher = {Elsevier}, year = 2007, opteditor = {L. Cardelli and M. Fiore and G. Winskel}, volume = 172, series = {Electronic Notes in Theoretical Computer Science} } @incollection{corradini:equations, author = "Andrea Corradini", title = "A Complete Calculus for Equational Deduction in Coalgebraic Specification", OPTeditor = "F.~Parisi-Presicce", booktitle = "Recent Trends in Algebraic Development Techniques, WADT 97", series = "LNCS", volume = "1376", year = "1998", } @inProceedings{corr-etal:cmcs98, title = "Structured Transition System as Lax Coalgebras", author = "A. Corradini and M. Gro{\ss}e-Rhode and R. Heckel", booktitle = "CMCS'98", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", series = {ENTCS}, OPTseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", volume = {11}, year = "1998", Optpages = "23--42", } @Proceedings{cmcs98, title = "Coalgebraic Methods in Computer Science (CMCS'98)", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", publisher = "Electronic Notes in Theoret.\ Comput.\ Sci.", volume = {11}, year = "1998", } @Proceedings{cmcs99, title = "Coalgebraic Methods in Computer Science", OPTeditor = "Bart Jacobs and Jan Rutten", volume = {19}, series = {ENTCS}, year = "1999", optaddress = {Amsterdam}, } @Proceedings{cmcs00, title = {Coalgebraic Methods in Computer Science (CMCS'00)}, year = {2000}, OPTeditor = {Horst Reichel}, volume = {33}, series = {ENTCS}, optseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, optaddress = {Berlin}, } @Proceedings{cmcs01, title = {Coalgebraic Methods in Computer Science (CMCS'01)}, year = {2001}, OPTeditor = {A. Corradini and M. Lenisa and U. Montanari}, volume = {44.1}, series = {ENTCS}, optseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, optaddress = {Genova}, } @Proceedings{cmcs02, title = "Coalgebraic Methods in Computer Science (CMCS'02)", OPTeditor = "L. Moss", series = "ENTCS", volume = {65.1}, year = "2002", } @Proceedings{cmcs03, title = "Coalgebraic Methods in Computer Science (CMCS'03)", OPTeditor = "H. Peter Gumm", publisher = "Electronic Notes in Theoret.\ Comput.\ Sci.", volume = {82.1}, year = "2003", } @misc{cmcs, key = {{CMCS}}, note = {Coalgebraic Methods in Computer Science, volumes 11,19,33,44,65,82 of \emph{ENTCS}}, } @Book{dave-prie:lo, author = {B. A. Davey and H. A. Priestley}, title = {Introduction to Lattices and Order}, publisher = {Cambridge University Press}, year = {1990}, } @Article{dave-gala:heyting, author = {B. Davey and J. Galati}, title = {A coalgebraic view of {H}eyting duality}, journal = {Studia Logica}, optyear = {}, optvolume = {}, optpages = {}, note = {To appear}, } @Article{davis:quasi-cotripleable, author = {Robert Davis}, title = {Quasi-cotripleable categories}, journal = {Proceedings of the American Mathematical Society}, volume = {35}, Optpages = {43--38}, year = {1972}, } @inproceedings{desharnais98, author = {J. Desharnais and A. Edalat and P. Panangaden}, title = {A logical characterization of bisimulation for labeled {M}arkov processes}, booktitle = {13th IEEE Symposium on Logic in Computer Science, Indianapolis 1998}, pages = {478--489}, year = 1998 } @article{DesharnaisGJP03:approx-LMP, author = {Josee Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden}, title = {Approximating labelled Markov processes}, journal = {Inf. Comput.}, volume = {184}, number = {1}, year = {2003}, pages = {160-200}, ee = {http://dx.doi.org/10.1016/S0890-5401(03)00051-8}, bibsource = {DBLP, http://dblp.uni-trier.de} } @techreport{diaconescu:eha, author = "R\u{a}zvan Diaconescu", title = "Behavioural Coherence in object-oriented algebraic specification", institution = "Japan Advanced Institute for Science and Technology", number = "IS-RR-98-0017F", year = "1998", } @Book{doberkat:stoch-rel, author = {E.-E. Doberkat}, ALTeditor = {}, title = {Stochastic Relations}, publisher = {Chapman\&Hall}, year = {2007}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Book{Dvalishvili, author = "Dvalishvili, B.", title = "Bitopological Spaces: Theory, Relations with generalized Algebraic Structures, and Applications", year = "2005", publisher = "Elsevier", optaddress = "Stanford", optannote = "CSLI Lecture Notes, Volume 14", } @Article{dunn:pml, author = {J. Micheal Dunn}, title = {Positive modal logic}, journal = {Studia Logica}, year = {1995}, volume = {55}, number = {2}, Optpages = {301--317}, } @incollection{emerson:tl, author = "{E.A. Emerson}", booktitle = "Handbook of Theoret.\ Comput.\ Sci.", title = {Temporal and modal logic}, OPTeditor = {J. van Leeuwen}, volume = {1}, publisher = "Elsevier", year = "1990", } @Book{engelking:gt, author = {Ryszard Engelking}, title = {General Topology}, publisher = {Heldermann Verlag}, year = {1989}, } @article{esak:topo74, author = {Esakia, L.L.}, title = {Topological {K}ripke Models}, journal = {Soviet Mathematics Doklady}, volume = 15, Optpages = {147--151}, year = 1974, } @article{escardo:st, author = {Mart\'\in Escard\'o}, title = {Synthetic topology of data types and classical spaces}, journal = {ENTCS}, year = {2004}, volume = {87}, Optpages = {21--156}, } @Book{flum-zieg:top-mod-theory, author = {J. Flum and M. Ziegler}, ALTeditor = {}, title = {Topological Model Theory}, publisher = {Springer}, year = {1980}, OPTseries = {LNM 769}, } @Article{fjp:aal, author = {J.M. Font and R. Jansana and D. Pigozzi}, title = {A Survey of Abstract Algebraic Logic}, journal = {Studia Logica}, year = {2003}, volume = {74}, Optpages = {13--71}, } @InProceedings{fmp:fossacs02, author = {Gianluigi Ferrari and Ugo Montanari and Marco Pistore}, title = {Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation}, booktitle = {FoSSaCS'02}, Optpages = {238--250}, year = {2002}, OPTeditor = {M. Nielsen and U. Engberg}, optvolume = {2303}, series = {LNCS 2303}, } @InProceedings{fiore:fossacs05, author = {M. Fiore}, title = {Mathematical models of computational and combinatorial structures}, optyear = {}, OPTkey = {}, booktitle = {FoSSaCS'05}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {} } @InProceedings{fior-hur:icalp07, author = {M. Fiore and C.-K. Hur}, title = {Equational systems and free constructions}, OPTcrossref = {}, OPTkey = {}, booktitle = {ICALP}, OPTpages = {607-619}, year = {2007}, opteditor = {Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki}, volume = {4596}, OPTnumber = {}, series = {LNCS}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {International Colloquium on Automata, Language and Programming (ICALP 2007)}, OPTannote = {}, optcrossref = {DBLP:conf/icalp/2007}, } @inproceedings{DBLP:conf/icalp/FioreH07, author = {Marcelo P. Fiore and Chung-Kil Hur}, title = {Equational Systems and Free Constructions (Extended Abstract)}, booktitle = {ICALP}, year = {2007}, pages = {607-618}, ee = {http://dx.doi.org/10.1007/978-3-540-73420-8_53}, crossref = {DBLP:conf/icalp/2007}, bibsource = {DBLP, http://dblp.uni-trier.de} } @article{fh:mfps08, author = {Marcelo P. Fiore and Chung-Kil Hur}, title = {Term Equational Systems and Logics: (Extended Abstract)}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {218}, year = {2008}, pages = {171-192}, ee = {http://dx.doi.org/10.1016/j.entcs.2008.10.011}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/icalp/2007, opteditor = {Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki}, title = {Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings}, booktitle = {ICALP}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4596}, year = {2007}, isbn = {978-3-540-73419-2}, bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{fms:lics96, author = {M. Fiore and E. Moggi and D. Sangiorgi}, title = {A fully-abstract model for the $\pi$-calculus}, booktitle = {LICS'96}, Optpages = {76 - 117}, year = {1996}, } @InProceedings{fpt:lics99, author = {M. Fiore and G. Plotkin and D. Turi}, title = {Abstract syntax and variable binding}, booktitle = {LICS}, Optpages = {193-200}, year = {1999}, } @InProceedings{freyd91, author = {P. Freyd}, title = {Algebraically complete categories}, optbooktitle = {Como Category Theory Conference}, opteditor = {A. Carboni and M. C. Pedicchio and G. Rosolini}, year = 1991, series = {LNM 1488}, optvolume = 1488, optpages = {95--104}, optpublisher = {Springer Verlag} } @InProceedings{freyd92, optauthor = {P. J. Freyd}, author = {P. Freyd}, title = {Remarks on algebraically compact categories}, opteditor = {M. P. Fourman and P. T. Johnstone and A. M. Pitts}, optvolume = 177, series = {{L.M.S.} Lecture Notes 177}, optpages = {95--106}, optbooktitle = {Applications of Categories in Computer Science}, year = 1992, optpublisher = {Cambridge University Press} } @Article{frig-gold:polynomial, author = {David Friggens and Robert Goldblatt}, title = {A Modal Proof Theory for Final Polynomial Coalgebras}, journal = {Theoret.\ Comput.\ Sci}, year = {2006}, OPTkey = {}, volume = {360}, OPTnumber = {}, optpages = {1--22}, OPTmonth = {}, optnote = {}, OPTannote = {} } @incollection{gabbay:forcie, author = "Gabbay, Murdoch J. and Mathijssen, Aad", title = "A Formal Calculus for Informal Equality with Binding", booktitle = "WOLLIC'07", optbooktitle = "Logic, Language, Information and Computation", optseries = "LNCS", optpublisher = "Springer", optisbn = "978-3-540-73443-7", optyear = "2007", optmonth = "7", optpages = "162-176", optvolume = "4576", optPDF = {http://www.gabbay.org.uk/papers/forcie.pdf}, } @article{gabb-math:nomuae, author = "Murdoch J. Gabbay and Aad Mathijssen", title = "Nominal (universal) algebra: equational logic with names and binding", year = "2009", PDF = {http://www.gabbay.org.uk/papers/nomuae.pdf}, journal={Journal of Logic and Computation}, note={In press}, } @article{gabbay:oneaah-jv, author={Murdoch J. Gabbay and Aad Mathijssen}, title={\href{http://www.gabbay.org.uk/papers.html#oneaah-jv}{One-and-a-halfth-order Logic (journal version)}}, journal={Journal of Logic and Computation}, doi = "10.1093/logcom/exm064", year={2008}, volume={18}, number={4}, pages={521-562}, PDF = {http://www.gabbay.org.uk/papers#oneaah-jv}, } @Article{gabbay:hsp, author = {M.J. Gabbay}, title = {Nominal Algebra and the {HSP} Theorem}, journal = {J.\ Logic Computation}, year = {2008}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {doi:10.1093/logcom/exn055}, OPTannote = {} } @InProceedings{gabb-pitt:lics99, author = {M. Gabbay and A. Pitts}, title = {A New Approach to Abstract Syntax Involving Binders}, OPTcrossref = {}, OPTkey = {}, booktitle = {LICS}, OPTpages = {214--224}, year = {1999}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {} } @MastersThesis{gabelaia:masters, author = {David Gabelaia}, title = {Modal definability in topology}, school = {University of Amsterdam}, year = {2001}, OPTkey = {}, OPTtype = {}, OPTaddress = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @article{gehr:orde91, author = {Gehrke, M.}, journal = {Zeitschrift f\"ur Mathematische Logik und Grundlagen der Mathematik}, Optpages = {5--15}, title = {The order structure of Stone spaces and the $T_D$-separation axiom}, volume = 37, year = 1991, } @Article{gehr-jons:DLO, author = {M. Gehrke and B. J{\'o}nsson}, title = {Bounded distributive lattices with operators}, journal = {Math.\ Japonica}, year = {1994}, OPTkey = {}, volume = {40}, OPTnumber = {}, Optpages = {207-215}, optmonth = {}, OPTnote = {}, OPTannote = {} } @phdthesis{gerbrandy:diss, author = "Jelle Gerbrandy", title = "Bisimulations on Planet Kripke", school = "University of Amsterdam", year = "1999", } @Book{cld, author = {G. Gierz and K. H. Hofmann and K. Keimel and J. D. Lawson and M. Mislove and D. S. Scott}, title = {Continuous Lattices and Domains}, publisher = {Cambridge University Press}, year = {2003}, } @Article{gogu-burs:inst, author = "J.\ Goguen and R.\ Burstall", title = "Institutions: abstract model theory for specification and programming", journal = jacm, year = "1992", volume = "39 (1)", Optpages = "95--146", } @InProceedings{ghan-kurz:calco07, author = {N. Ghani and A. Kurz}, title = {Higher Dimensional Trees, Algebraically}, optbooktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007}, booktitle = {CALCO'07}, pages = {226-241}, year = {2007}, opteditor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, OPTvolume = {}, OPTnumber = {}, series = {LNCS 4624}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Springer}, OPTnote = {}, OPTannote = {} } @Article{ghani-etal:cmcs02-j, author = {Ghani, N and L\"uth, C and de Marchi, F and Power, J}, title = {Dualizing Initial Algebras}, journal = {Math.\ Structures Comput.\ Sci.}, year = {2003}, volume = {13}, optnumber = {1}, optpages = {349-370}, } @InCollection{brau-ghil:foml, author = {Torben Bra{\"u}ner and Silvio Ghilardi}, title = {First-Order Modal Logic}, booktitle = {Handbook of Modal Logic}, OPTcrossref = {}, OPTkey = {}, OPTpages = {}, publisher = {Elsevier}, year = {2007}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTtype = {}, OPTchapter = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @article {Ghilardi92, AUTHOR = {Ghilardi, S.}, TITLE = {Free Heyting algebras as bi-Heyting algebras}, JOURNAL = {C. R. Math. Rep. Acad. Sci. Canada}, VOLUME = {14}, YEAR = {1992}, PAGES = {240--244}, } @article{ghilardi:normal-forms, AUTHOR = {Ghilardi, S.}, TITLE = {An algebraic theory of normal forms}, JOURNAL = {Ann. Pure Appl. Logic}, VOLUME = {71}, YEAR = {1995}, OPTPAGES = {189--245}, } @article{ghil-melo:can-ext, author = {Silvio Ghilardi and Giancarlo Meloni}, title = {Constructive Canonicity in Non-Classical Logics}, journal = {Ann. Pure Appl. Logic}, volume = {86}, optnumber = {1}, year = {1997}, optpages = {1-32}, } @book{gierz03, author = {G. Gierz and K. H. Hofmann and K. Keimel and J. D. Lawson and M. Mislove and D. S. Scott}, title = {Continuous Lattices and Domains}, publisher = {Cambridge University Press}, series = {Encyclopedia of Mathematics and its Applications}, volume = 93, year = {2003} } @Article{goguen:realization, author = "Joseph Goguen", title = "Realisation is Universal", journal = "Mathematical System Theory", volume = "6", number = "4", year = "1973", Optpages = {359--374}, } @InProceedings{gogu-rosu:hiding-more, author = {J. Goguen and G. Ro\c{s}u}, title = {Hiding More of Hidden Algebra}, booktitle = {Formal Methods (FM'99)}, Optpages = {1704--1719}, year = {1999}, OPTeditor = {J.M. Wing and J. Woodcock and J. Davies }, volume = {1709}, series = {LNCS}, } @Article{gogu-diac:ha, author = "J. Goguen and R. Diaconescu", title = "Towards an algebraic semantics for the object paradigm", journal = "LNCS", volume = "785", year = "1994", } @article{gogu-malc:ha, author = "J. Goguen and G. Malcolm", title = "A Hidden Agenda", journal = "Theoret.\ Comput.\ Sci.", volume = "245", number = "1", Optpages = "55-101", year = "2000", } @TechReport{gogu-malc:ha-tr, author = "J. Goguen and G. Malcolm", title = "A Hidden Agenda", institution = "UCSD", number = "CS97-538", year = "1997", } @InCollection{gold-thom:def, author = "R. I. Goldblatt and S. K. Thomason", title = "Axiomatic Classes in Propositional Modal Logic", booktitle = "Algebra and Logic", OPTeditor = "J. Crossley", year = "1974", annote = "LNM 450" } @Article{goldblatt:varieties, author = {Robert Goldblatt}, title = {Varieties of Complex Algebras}, journal = {Ann.\ Pure Appl.\ Logic}, year = {1989}, volume = {44}, optnumber = {}, optpages = {173-242}, } @InCollection{goldblatt:history, author = {Robert Goldblatt}, title = {Mathematical Modal Logic: a View of its Evolution}, booktitle = {Handbook of the History of Logic}, optpages = {1-98}, publisher = {Elsevier}, year = {2006}, OPTeditor = {Dov M. Gabbay and John Woods}, OPTvolume = {7}, OPTnumber = {}, OPTseries = {}, OPTchapter = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Article{goldblatt:modal-frames, author = {Robert Goldblatt}, title = {Maps and Monads for Modal Frames}, journal = {Studia Logica}, year = {2006}, volume = {83}, OPTnumber = {}, Optpages = {307-329}, } @Article{goldblatt:final-hmp, author = {Robert Goldblatt}, title = {Final Coalgebras and the Hennessy-Milner Property}, journal = {Ann.\ Pure Appl.\ Logic}, optjournal = {Ann. of Pure and Applied Logic}, year = {2006}, volume = {183}, OPTnumber = {}, Optpages = {77-93}, } @InCollection{goldblatt:iml, author = "Robert Goldblatt", title = "A Framework for Infinitary Modal Logic", chapter = "9", booktitle = "Mathematics of Modality", publisher = "CSLI", year = "1993", } @book{goldblatt:ltc, author = "Robert Goldblatt", title = "Logics of Time and Computation", publisher = "CSLI", series = "CSLI Lecture Notes", volume = "7", note = "Second Edition", year = "1992", } @InCollection{goldblatt:mm, author = "Robert Goldblatt", title = "Metamathematics of Modal Logic", chapter = "1", booktitle = "Mathematics of Modality", publisher = "CSLI", series = "CSLI Lecture Notes", volume = "43", year = "1993", } @article{goldblatt:meta-76, author = {Goldblatt, R.I.}, journal = {Reports on Mathematical Logic}, Optpages = {41--78}, title = {Metamathematics of Modal Logic {I}}, volume = 6, year = 1976, } @InCollection{goldblatt:hmp, author = "Robert Goldblatt", title = "Saturation and the {H}ennessy-{M}ilner Property", OPTeditor = "A.~Ponse et.al.", booktitle = "Modal Logic and Process Algebra", publisher = "CSLI", series = "CSLI Lecture Notes", volume = "53", year = "1995", } @Article{goldblatt:cobirk, author = {Robert Goldblatt}, title = {What is the Coalgebraic Analogue of {B}irkhoff's Variety Theorem?}, journal = {Theoret.\ Comput.\ Sci.}, year = {2001}, volume = {266}, Optpages = {853--886}, } @Article{goldblatt:duality, author = {Robert Goldblatt}, title = {Duality for Some Categories of Coalgebras}, journal = {Algebra Universalis}, year = {2001}, volume = {46}, Optpages = {389--416}, } @InProceedings{goldblatt:cmcs01, author = {Robert Goldblatt}, title = {A Calculus of Terms for Coalgebras of Polynomial Functors}, booktitle = {CMCS'01}, year = {2001}, OPTeditor = {A. Corradini and M. Lenisa and U. Montanari}, optvolume = {44.1}, OPTnumber = {1}, series = {ENTCS 44}, } @InProceedings{goldblatt:aiml4, author = {Robert Goldblatt}, title = {Equational Logic of Polynomial Coalgebras}, booktitle = {Advances in Modal Logic 4}, optyear = {}, OPTeditor = {Philippe Balbiani and Nobu-Yuki Suzuki and Frank Wolter and Michael Zakharyaschev}, publisher = {King's College London}, year = {2003}, Optpages = {149-184}, } @Article{goldblatt:obs-ultraproducts, author = {Robert Goldblatt}, title = {Observational Ultraproducts of Polynomial Coalgebras}, journal = {Ann.\ Pure Appl.\ Logic}, year = {2003}, volume = {123}, OPTnumber = {}, Optpages = {235-290}, } @InProceedings{goldblatt:enlargements, author = {Robert Goldblatt}, title = {Enlargements of Polynomial Coalgebras}, booktitle = {Proceedings of the 7th and 8th Asian Logic Conferences}, Optpages = {}, OPTyear = {2003}, OPTOPTeditor = {R. Downey and D. Decheng and Tung Shih Ping and Qiu Yu Hui and M. Yasugi}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, publisher = {World Scientific}, } @Article{goldblatt:compact, author = {Robert Goldblatt}, title = {A Compactification of Polynomial Coalgebras}, journal = {Topology Proceedings}, optyear = {}, note = {To appear}, } @Book{gray:adjointness, author = {Gray, John W.}, title = {Formal category theory: adjointness for $2$-categories.}, year = {1974}, volume = {391}, series = {Lecture Notes in Mathematics}, publisher = {Springer}, } @InProceedings{gumm:calco05, author = {H.P. Gumm}, title = {From {T}-Coalgebras to Filter Structures and Transition Systems}, booktitle = {CALCO'05}, Optpages = {194-212}, year = {2005}, OPTeditor = {}, OPTvolume = {}, series = {LNCS 3629}, OPTpublisher = {}, } @article{gumm-schr:coalg-struct, author = "H. Peter Gumm and Tobias Schr{\"o}der", title = "Types and Coalgebraic Structure", journal = "Algebra Universalis", year = "", note = {to appear}, } @Misc{gumm:uc, OPTkey = {}, author = {H. Peter Gumm}, title = {Elements of the general theory of coalgebras}, howpublished = {LUATCS'99}, year = {1999}, address = {Rand Afrikaans University, Johannesburg, South Africa} } @inproceedings{gumm-schr:cmcs98, author = "H. P. Gumm and T. Schr{\"o}der", title = "Covarieties and Complete Covarieties", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", series = {ENTCS}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = "1998", volume = "11", } @article{gumm-schr:cmcs98-j, author = "H. P. Gumm and T. Schr{\"o}der", title = "Covarieties and Complete Covarieties", journal = "Theoret.\ Comput.\ Sci.", year = "2001", volume = "260", Optpages = "71--86", } @article{gumm-schr:products, author = "H. P. Gumm and T. Schr{\"o}der", title = "Products of Coalgebras", journal = "Algebra Universalis", year = "2001", volume = "46", number = "1--2", Optpages = "163--185", } @inproceedings{gumm-schr:weaklim, author = "H. P. Gumm and T. Schr{\"o}der", title = "Coalgebraic Structure from Weak Limit Preserving Functors", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'00", series = {ENTCS}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = "2000", volume = "33", Optpages = {113--134}, } @techreport{gumm-schr:bounded, author = "H. P. Gumm and T. Schr{\"o}der", title = "Coalgebras of bounded type", institution = "FG Informatik, Philipps-Universität Marburg", number = "25", year = "2000", OPTnote = "\ \\ \verb=http://www.mathematik.uni-marburg.de/~gumm/Papers/Bounded.ps=", } @article{gumm:cobirk, author = "H. Peter Gumm", title = "Equational and Implicational Classes of Co-Algebras. {E}xtended Abstract", journal = "RelMiCS'4. The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science, Warsaw", year = "1998", } @article{gumm:cobirk-j, author = "H. Peter Gumm", title = "Equational and implicational classes of colgebras.", journal = "Theoret.\ Comput.\ Sci.", volume = "260", year = "2001", optpages = {57-69}, } @article{gumm:cmcs98-j, author = "H. Peter Gumm", title = "Equational and Implicational Classes of Coalgebras", journal = "Theoret.\ Comput.\ Sci.", year = "2001", volume = "260", Optpages = "57--69", } @Article{gumm:filter, author = "H. Peter Gumm", title = "Functors for Coalgebras", journal = "Algebra Universalis", volume = {45}, year = {2001}, Optpages = {135--147}, } @Book{gumm:varieties, author = {H.\ Peter Gumm}, title = {Geometrical Methods in Congruence Modular Varieties}, optpublisher = {Memoirs of the American Mathematical Society}, publisher = {Memoirs Amer.\ Math.\ Soc.}, year = {1983}, OPTkey = {}, optvolume = {286}, optseries = {Memoirs of the American Mathematical Society}, } @Article{halmos:monadic-BAs, author = {Paul Halmos}, title = {Algebraic {L}ogic {I}. {M}onadic {B}oolean algebras}, journal = {Compos. Math.}, volume = {12}, year = {1955}, pages = {217-249}, } @Book{halmos:al, author = {Paul Halmos}, title = {Algebraic Logic}, publisher = {Chelsea Publishing}, year = {1962}, } @InProceedings{HJS:cmcs06, author = {Ichiro Hasuo and Bart Jacobs and Ana Sokolova}, title = {Generic Trace Theory}, booktitle = {CMCS'06}, Optpages = {47-65}, year = {2006}, OPTeditor = {}, optvolume = {}, OPTnumber = {}, series = {ENTCS 164}, OPTpublisher = {}, OPTnote = {}, } @Article{heif-mong:prob-ml, author = {Aviad Heifetz and Philippe Mongin}, title = {Probabilistic logic for type spaces}, journal = {Game. Econ. Behav.}, year = {2001}, volume = {35}, pages = {31--53} } @inproceedings{hensel-reichel:de, author = "U. Hensel and H. Reichel", title = "Defining Equations in Terminal Coalgebras", OPTeditor = "E. Astesiano and G. Reggio and A. Tarlecki", booktitle = "Recent Trends in Data Type Specification (COMPASS/ADT 1995)", series = "LNCS", volume = "906", Optpages = "307--318", year = "1995", coden = "LNCSD9", ISSN = "0302-9743", bibdate = "Sat May 11 13:45:32 MDT 1996", acknowledgement = ack-nhfb, } @misc{rolf:habil, author = "Rolf Hennicker", title = "Structured Specifications with Behavioural Operators: Semantics, Proof Methods and Applications", howpublished = "{Habilitationsschrift, Universit\"at M\"unchen}", year = "1997", } @misc{hennicker:habil, author = "Rolf Hennicker", title = "Structured Specifications with Behavioural Operators: Semantics, Proof Methods and Applications", howpublished = "{Habilitation thesis, Universit\"at M\"unchen}", year = "1997", } @inproceedings{hb:ol, author = "Rolf Hennicker and Michel Bidoit", title = "Observational Logic", OPTeditor = {Armando Haeberer}, booktitle = "Algebraic Methodology and Software Technology (AMAST'98)", series = "LNCS", volume = "1548", year = "1999", } @TechReport{hb:ol-long, author = {Rolf Hennicker and Michel Bidoit}, title = {Observational Logic (long version)}, institution = {LSV, Ecole Normale Sup{\'e}rieure de Cachan}, month = {June}, year = {1998}, number = {LSV-98-6}, note = {www.lsv.ens-cachan.fr/Publis/RAPPORTS\_LSV/rr-lsv-1998-6.rr.ps}, } @inproceedings{henn-kurz:cmcs99, author = "Rolf Hennicker and Alexander Kurz", title = "$({\Omega},{\Xi})$-Logic: On the algebraic extension of coalgbraic specifications", OPTeditor = "B. Jacobs and J. Rutten", booktitle = "CMCS'99", year = "1999", series = {ENTCS}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", volume = "19", Optpages = "195--211", } @Article{henn-miln:hml, author = {M. Hennessy and R. Milner}, title = {Algebraic Laws for Nondeterminism}, journal = {Journal of the Association for Computing Machinery}, year = {1985}, volume = {32}, Optpages = {137--161}, } @article{herm-jaco:pred-lift, author = "C. Hermida and B. Jacobs", title = "Structural induction and coinduction in a fibrational setting", journal = " Information and Computation", volume = "145", Optpages = "107--152", number = "2", year = "1998" } @Book{herr-stre:ct, author = {H. Herrlich and G. Strecker}, title = {Category Theory}, publisher = {Allyn and Bacon}, year = {1973}, } @InProceedings{hollenberg:hmc, author = "Marco Hollenberg", title = "{H}ennessy-{M}ilner Classes and Process Algebra", OPTeditor = "A.~Ponse and M. de Rijke and Y. Venema", booktitle = "Modal Logic and Process Algebra", publisher = "CSLI", series = "CSLI Lecture Notes", volume = "53", year = "1995", } @InProceedings{hughes:cmcs01, author = {Jesse Hughes}, title = {Modal Operators for Coequations}, booktitle = {CMCS'01}, year = {2001}, OPTeditor = {A. Corradini and M. Lenisa and U. Montanari}, volume = {44.1}, OPTnumber = {1}, series = {ENTCS}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Elsevier}, OPTannote = {} } @PhdThesis{hughes:diss, author = {Jesse Hughes}, title = {A Study of Categories of Algebras and Coalgebras}, school = {Carnegie Mellon University, Pittsburgh}, year = {2001}, OPTnote = {Available at \url{http://www.cs.kun.nl/~jesseh/}}, } @Misc{Hughes:cobirk-abstract, author = {Hughes, Jesse}, title = {The Coalgebraic Analogue of {B}irkhoff's Variety Theorem}, howpublished = {Bulletin of Symbolic Logic}, month = {June}, year = {2000}, note = {Abstract for talk delivered at 1999--2000 Winter Meeting of the ASL, Washington, DC}, OPTannote = {} } @Article{hugh-jaco:simulations, author = {Jesse Hughes and Bart Jacobs}, title = {Simulations in Coalgebra}, journal = {Theoret.\ Comput.\ Sci.}, year = {2004}, volume = {327}, optpages = {71-108}, } @Article{isbell:adequate-subcategories, author = {John Isbell}, title = {Adequate Subcategories}, journal = {Illinois Journal of Mathematics}, year = {1960}, volume = {41}, Optpages = {541--552}, } @Misc{jacobs:homepage, author = {Bart Jacobs}, title = {Hompage at \url{http://www.cs.kun.nl/~bart/}}, url = {http://www.cs.kun.nl/~bart/}, } @inProceedings{jacobs:cmcs00, author = {Bart Jacobs}, title = {Towards a Duality Result in Coalgebraic Modal Logic}, booktitle = {CMCS'00}, year = {2000}, OPTeditor = {Horst Reichel}, optvolume = {33}, Optpages = {163--198}, series = {ENTCS 33}, optseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @Misc{jacobs:duality, OPTkey = {}, author = {Bart Jacobs}, title = {Towards a Duality Result in the Modal Logic of Coalgebras}, howpublished = {\verb=http://www.cs.kun.nl/~bart/PAPERS/duality.ps.Z=}, annote = {see jacobs:cmcs00}, } @Book{jacobs:cltt, author = "Bart Jacobs", title = "Categorical Logic and Type Theory", year = "1998", publisher = "Elsevier", } @inproceedings{jacobs:mongr, author = "Bart Jacobs", title = "Mongruences and Cofree Coalgebras", booktitle = "Algebraic Methods and Software Technology (AMAST'95)", OPTeditor = "V.~S.~Alagar and M.~Nivat", series = "LNCS", volume = "936", Optpages = "245--260", year = "1995", coden = "LNCSD9", } @TechReport{jacobs:inher, author = "Bart Jacobs", title = "Inheritence and Cofree Constructions", type = "Report", number = "CS R 9564", institution = "CWI, Amsterdam", year = "1995", url = "ftp://ftp.cwi.nl/pub/CWI/reports/AP/CS-R9607.ps.Z", } @inproceedings{jacobs:oo, author = "Bart Jacobs", title = "Objects and Classes, Co-algebraically", booktitle = "Object-Orientation with Parallelism and Persistence", OPTeditor = "B. Freitag and C. B. Jones and C. Lengauer and H.-J. Schek", Optpages = "83--103", publisher = "Kluwer", year = "1996", } @Article{jaco-rutt:tutorial, author = "B.~Jacobs and J.~Rutten", title = "A Tutorial on (Co)Algebras and (Co)Induction", journal = "EATCS Bulletin", volume = "62", year = "1997", } @inproceedings{jacobs:cmcs98, title = "Coalgebraic Reasoning about Classes in object-oriented languages", author = "Bart Jacobs", Optpages = "235--246", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", series = {ENTCS}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = "1998", volume = "11", } @techreport{jacobs:automata, author = "Bart Jacobs", title = "Automata and behaviours in categories of processes", number = "CS-R9607", institution = {CWI}, year = "1996" } @Article{jbhbht:java, author = "B.~Jacobs and J. van den Berg and M. Huisman and M. van Berkum and U. Hensel and H. Tews", title = "Reasoning about {J}ava Classes (Preliminary Report)", journal = "Object-Oriented Programming Systems, Languages and Applications, ACM Press", Optpages = "329--340", year = "1998", address = "Amsterdam", } @InProceedings{elza-jung:priestley, author = {M. A. El-Zawawy and A. Jung}, title = {Priestley duality for strong proximity lattices}, optbooktitle = {Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics ({MFPS~XXII})}, optpages = {199--217}, booktitle = {MFPS~XXII}, year = 2006, opteditor = {S. Brookes and M. Mislove}, optvolume = 158, series = {ENTCS 158}, } @Article{jkm:mls, author = {A. Jung and M. Kegelmann and M. A. Moshier}, title = {Multi lingual sequent calculus and coherent spaces}, journal = {Fundamenta Informaticae}, year = {1999}, volume = {37}, optpages = {369--412} } @techreport{jung-mosh:bitop, author = {A. Jung and M. A. Moshier}, title = {On the bitopological nature of {S}tone duality}, institution = {School of Computer Science, University of Birmingham}, number = {CSR-06-13}, year = {2006}, } @InProceedings{jung95b, author = {A. Jung and Ph. S{\"u}nderhauf}, title = {On the duality of compact vs.\ open}, booktitle = {Papers on General Topology and Applications: Eleventh Summer Conference at University of Southern Maine}, opteditor = {S. Andima and R. C. Flagg and G. Itzkowitz and P. Misra and Y. Kong and R. Kopperman}, optseries = {Annals of the New York Academy of Sciences}, optvolume = 806, optpages = {214--230}, year = 1996, } @PhdThesis{kupke:thesis, author = {Clemens Kupke}, title = {Finitary Coalgebraic Logics}, school = {ILLC}, year = {2006}, OPTkey = {}, OPTtype = {}, address = {Amsterdam}, } @inproceedings{hans-kupk:cmcs04, author = {Helle Hansen and Clemens Kupke}, title = {A coalgebraic perspective on monotone modal logic}, OPTeditor = "J. Adamek", booktitle = "CMCS'04", series = {ENTCS 106}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", optvolume = {}, year = {2004}, } @InProceedings{hans-kupk-pacu:calco07, author = {Helle Hansen and Clemens Kupke and Eric Pacuit}, title = {Bisimulation for Neighbourhood Structures}, booktitle = {CALCO'07}, OPTcrossref = {}, OPTkey = {}, optpages = {279--293}, year = {2007}, OPTeditor = {}, optvolume = {4624}, series = {LNCS 4624}, publisher = {Springer}, } @InCollection{hhjt:classes, author = "U. Hensel and M. Huisman and B. Jacobs and H. Tews", title = "Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools", booktitle = "European Symposium on Programming", OPTeditor = "Ch. Hankin (ed)", series = "LNCS", volume = "1381", Optpages = "105-121", year = "1998", } @inproceedings{hens-jaco:proof-principles, author = "Ulrich Hensel and Bart Jacobs", title = "Proof Principles for Iterated Datatypes", OPTeditor = {E. Moggi and G. Rosolini}, booktitle = {Category Theory and Computer Science}, series = {LNCS}, Optpages = "220-241", year = "1997", volume = {1290}, } @Article{hodkinson:hybrid, author = {I. Hodkinson}, title = {Hybrid formulas and elementarily generated modal logics}, journal = {Notre Dame J. Formal Logic}, year = {2006}, OPTkey = {}, volume = {47}, OPTnumber = {}, OPTpages = {443-478}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{hofmann:lics99, author = {M. Hofmann}, title = {Semantical analysis of higher-order abstract syntax}, OPTcrossref = {}, OPTkey = {}, booktitle = {LICS}, OPTpages = {}, year = {1999}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {} } @Book{jacobs:intro-coalg, author = {Bart Jacobs}, ALTeditor = {}, title = {Introduction to Coalgebra. Towards Mathematics of States and Observations}, publisher = {}, year = {}, note = {In preparation, draft electronically available}, } @Article{jacobs:oo99, author = "Bart Jacobs", title = "Coalgebras in Specification and Verification for Object-Oriented Languages", journal = "Newsletter 3 of the Dutch Association for Theoret.\ Comput.\ Sci. (NVTI)", Optpages = "15--27", year = "1999", } @Article{jnw:openmaps, author = "A. Joyal and M. Nielsen and G. Winskel", title = "Bisimulation as open maps", journal = "LICS", year = "1993", } @Article{jacobs:temporal, author = {Bart Jacobs}, title = {The temporal logic of coalgebras via Galois algebras}, journal = {Math.\ Structures Comput.\ Sci.}, year = {202}, OPTkey = {}, volume = {12}, OPTnumber = {}, Optpages = {875-903}, } @TechReport{jacobs:tl, author = {Bart Jacobs}, title = {The Temporal Logic of Coalgebras via Galois Algebras}, institution = {Computing Science Institute Nijmegen}, year = {1999}, number = {CSI-R9906}, OPTmonth = {April}, } @article{jacobs:many-sorted, author = {Bart Jacobs}, title = {Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study}, journal = {Theor.\ Inform.\ Appl.}, volume = {35}, optnumber = {1}, year = {2001}, pages = {31--59}, } @TechReport{jacobs:many-sorted-tr, author = {Bart Jacobs}, title = {Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study}, institution = {Computing Science Institute Nijmegen}, year = {2000}, number = {CSI-R0020}, OPTmonth = {}, } @Book{johnstone:elephant, author = {P. Johnstone}, ALTeditor = {}, title = {Sketches of an Elephant: A Topos Theory Compendium}, publisher = {OUP}, year = {2002}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{johnstone:vietoris-locales, author = {Peter Johnstone}, title = {Vietoris Locales and Localic Semilattices}, booktitle = {Continuous Lattices and their Applications}, Optpages = {155--180}, year = {1985}, OPTeditor = {R.-E. Hoffmann and K.H. Hofmann}, volume = {101}, series = {Lecture Notes in Pure and Applied Mathematics}, publisher = {Marcel Dekker}, } @book{johnstone:elephant1, author = {Johnstone, Peter T. }, howpublished = {Hardcover}, publisher = {{Oxford University Press, USA}}, title = {Sketches of an Elephant: A Topos Theory Compendium, vol. 1 (Oxford Logic Guides, 43)}, year = {2002} } @Book{johnstone:stone-spaces, author = {Peter Johnstone}, title = {Stone Spaces}, publisher = {Cambridge University Press}, year = {1982}, } @Article{johnstone-etal:lics98, author = {P. Johnstone and J. Power and T. Tsujishita and H. Watanabe and J. Worrell}, title = {An Axiomatics for Categories of Transition Systems as Coalgebras}, journal = {LICS'98}, year = {1998}, Optpages = {207--213}, } @Article{jons-tars:bao1, author = {B. J{\'o}nsson and A. Tarski}, title = {Boolean algebras with operators, Part 1}, journal = {Amer.\ J.\ Math.}, year = {1951}, volume = {73}, Optpages = {891--939}, } @Article{jons-tars:bao2, author = {B. J{\'o}nsson and A. Tarski}, title = {Boolean algebras with operators, Part 2}, journal = {American Journal of Mathematics}, year = {1952}, volume = {74}, Optpages = {127--162}, } @MastersThesis{juerjens:da, author = {Jan J{\"u}rjens}, title = {{Kleine Objekte in Kategorien von Algebren}}, school = {{Universit{\"a}t Bremen}}, year = {1998}, } @InProceedings{jung95b, author = {A. Jung and Ph. S{\"u}nderhauf}, title = {On the duality of compact vs.\ open}, booktitle = {Papers on General Topology and Applications: Eleventh Summer Conference at the University of Southern Maine}, opteditor = {S. Andima and R. C. Flagg and G. Itzkowitz and P. Misra and Y. Kong and R. Kopperman}, series = {Annals of the New York Academy of Sciences}, volume = 806, pages = {214--230}, year = 1996 } @article { gabbay:nomahs, author = {Murdoch J. Gabbay}, title = {\href{http://www.gabbay.org.uk/papers.html#nomahs}{Nominal Algebra and the {HSP} Theorem}}, journal = {Journal of Logic and Computation}, year = {2008}, note = {To appear} } @article{gabbay:oneaah-jv, author={Murdoch J. Gabbay and Aad Mathijssen}, title={One-and-a-halfth-order Logic}, journal={J. Log. Comput.}, doi = "10.1093/logcom/exm064", year={2008}, volume={18}, number={4}, pages={521-562}, PDF = {http://www.gabbay.org.uk/papers#oneaah-jv}, } @article{gabbay:newaas-jv, author = {Murdoch~J.~Gabbay and A. M. Pitts}, title = {\href{http://www.gabbay.org.uk/papers.html#newaas-jv}{A New Approach to Abstract Syntax with Variable Binding}}, journal = {Formal Aspects of Computing}, year = {2001}, volume = {13}, number = {3--5}, pages = {341--363}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.1999.782617} } @Book{kalman-etal:mst, author = {R. E. Kalman and P. L. Falb and M. A. Arbib}, ALTOPTeditor = {}, title = {Topics in Mathematical System Theory}, publisher = {McGraw-Hill}, year = {1969}, } @Book{karp:infinite, author = {C. Karp}, title = {Languages with Expressions of Infinite Length}, publisher = {North-Holland}, year = {1964}, } @Article{kawa-mori:fc, author = {Y. Kawahari and M. Mori}, title = {A small final coalgebra theorem}, journal = {Theoret.\ Comput.\ Sci.}, year = {1998}, } @Book{keisler:inf-log, author = "H.~J.~Keisler", title = "Model Theory for Infinitary Logic", publisher = "North-Holland", optaddress = "Amsterdam", year = "1971", } @Book{kelley:gt, author = {John Kelley}, title = {General Topology}, publisher = {Springer}, year = {1955}, } @Article{kell-powe:adjunctions, author = {G. Kelly and J. Power}, title = {Adjunctions whose counits are coequalizers and presentations of enriched monads}, journal = {J.Pure Appl. Algebra}, year = {1993}, volume = {89}, Optpages = {163--179}, } @Article{KPS:timed, author = {Marco Kick and John Power and Alex Simpson}, title = {Coalgebraic semantics for timed processes}, journal = {Inform.\ and Comput.}, year = {2006}, OPTkey = {}, volume = {204}, OPTnumber = {}, optpages = {588-609}, } @InProceedings{kick:cmcim02, author = {Marco Kick}, title = {Rule formats for timed processes}, booktitle = {CMCIM'02,}, Optpages = {}, year = {2002}, OPTeditor = {A. Kurz}, volume = {68.1}, series = {ENTCS}, publisher = {Elsevier}, } @InProceedings{kick:icalp02, author = {Marco Kick}, title = {Bialgebraic modelling of timed processes}, booktitle = {ICALP'02}, Optpages = {}, year = {2002}, OPTeditor = {P. Widmayer and F. Triguero and R. Morales and M. Hennessy and S. Eidenbenz and R. Conejo}, optvolume = {2380}, series = {LNCS 2380}, annote = {LNCS 2380}, } @InProceedings{klin:mfps07, author = {B. Klin}, title = {Coalgebraic modal logic beyond sets}, series = {ENTCS}, volume = {173}, year = {2007}, OPTcrossref = {}, OPTkey = {}, booktitle = {MFPS}, Optpages = {}, } @InProceedings{klin:lics07, author = {B. Klin}, title = {Bialgebraic operational semantics and modal logic}, OPTcrossref = {}, OPTkey = {}, booktitle = {LICS'07}, Optpages = {}, year = {2007}, } @InProceedings{klin:calco05, author = {B. Klin}, title = {The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic}, OPTcrossref = {}, OPTkey = {}, booktitle = {CALCO'05}, Optpages = {}, optyear = {2005}, } @PhdThesis{klin:diss, author = {Bartosz Klin}, title = {An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics}, school = {University of Aarhus}, year = {2004}, } @InProceedings{klin-sobo:concur03, author = {Bartosz Klin and Pawel Sobocinski}, title = {Syntactic formats for free: An abstract approach to process equivalence}, booktitle = {Proceedings of CONCUR 2003}, Optpages = {}, year = {2003}, OPTOPTeditor = {}, volume = {2671}, series = {LNCS}, } @InProceedings{kome-schu:dec-sup-con, author = {Jan Komenda and J.H. van Schuppen}, title = {Decentralized supervisory control with coalgebra}, optbooktitle = {European Control Conference 2003 (ECC'03)}, booktitle = {ECC'03}, year = {2003}, } @inproceedings{kozen:sem-prob, author = {Kozen,, Dexter}, title = {Semantics of probabilistic programs}, booktitle = {SFCS '79: Proceedings of the 20th Annual Symposium on Foundations of Computer Science (sfcs 1979)}, year = {1979}, pages = {101--114}, doi = {http://dx.doi.org/10.1109/SFCS.1979.38}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, } @misc{kracht:habil, author = "Marcus Kracht", title = "", school = "{Freie Universit\"at Berlin}", year = "", } @book{kracht:ml, author = {Marcus Kracht}, title = {Tools and Techniques in Modal Logic}, optseries = {Studies in Logic}, optvolume = {142}, publisher = {Elsevier}, year = {1999}, } @Book{kroeger:tl, author = "Fred Kr{\"o}ger", title = "Temporal Logic of Programs", year = "1987", publisher = "Springer", } @article{kripke:completeness, author = "Saul A. Kripke", title = "A Completeness Theorem in Modal Logic", journal = "Journal of Symbolic Logic", volume = "24", number = "1", Optpages = "1--14", year = "1959" } @article{kripke:semantics1, author = "Saul A. Kripke", title = "Semantical Analysis of Modal Logic {I}: Normal Modal Propositional Calculi", journal = "Zeitschrift f{\"u}r Mathematische Logik und Grundlagen der Mathematik", volume = "9", Optpages = "67--96", year = "1963" } @inproceedings{kripke:semantics2, author = "{S.A. Kripke}", title = "Semantical Considerations on Modal Logic", booktitle = "Proceedings of a Colloquium: Modal and Many Valued Logics", volume = "16", Optpages = "83--94", year = "1963" } @InProceedings{kupk-vene:lics05, author = {Clemens Kupke and Yde Venema}, title = {Closure properties of coalgebra automata}, booktitle = {LICS'05}, year = {2005}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, optpages = {199-208}, } @InBook{kurucz:combining, author = {A. Kurucz}, ALTeditor = {J. van Benthem and P.Blackburn and F. Wolter}, title = {Handbook of Modal Logic}, chapter = {Combining modal logics}, publisher = {Elsevier}, year = {2007}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTtype = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTpages = {}, OPTnote = {}, OPTannote = {} } @article{kurz-petr:cmcs08-j, author = {A. Kurz and D. Petri{\c s}an}, title = {Functorial Coalgebraic Logic: The case of many-sorted varieties}, year = {2008}, note = {Submitted to Information and Computation}, } @inproceedings{kurz-petr:cmcs08, author = {A. Kurz and D. Petri{\c s}an}, title = {Functorial Coalgebraic Logic: The case of many-sorted varieties}, booktitle = {CMCS'08}, year = {2008}, optvolume = {203}, optnumber = {5}, optpages = {175-194}, optseries = {Electr.\ Notes Theor.\ Comput.\ Sci.}, } @Article{kurz-rosi:strcompl, author = {A. Kurz and J. Rosick{\'y}}, title = {Strongly complete logics for coalgebras}, optjournal = {}, year = {July 2006}, optvolume = {}, optpages = {}, note = {Submitted} } @InProceedings{kurz-rosi:calco07, author = {A. Kurz and J. Rosick{\'y}}, title = {The {G}oldblatt-{T}homason-Theorem for Coalgebras}, booktitle = {CALCO}, optpages = {342--355}, year = {2007}, OPTeditor = {}, volume = {4624}, series = {LNCS}, publisher = {Springer}, } @Article{kurz-rosi:weak, author = {A. Kurz and J. Rosick{\'y}}, title = {Weak Factorizations, Fractions and Homotopies}, journal = {Applied Categorical Structures}, year = {2005}, volume = {13}, optpages = {141-160}, } @inproceedings{kurz-palm:cmcs04, author = {Alexander Kurz and Alessandra Palmigiano}, title = {Coalgebras and Modal Expansions of Logics}, OPTeditor = "J. Adamek", booktitle = "CMCS'04", series = {ENTCS 106}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", optvolume = {}, year = {2004}, } @inproceedings{kkp:calco05, author = {Clemens Kupke and Alexander Kurz and Dirk Pattinson}, title = {Ultrafilter Extensions of Coalgebras}, OPTeditor = {J. Fiadeiro and N. Harmann and M. Roggenbach and J. Rutten}, optbooktitle = "Algebra and Coalgebra in Computer Science", booktitle = {CALCO'05}, series = {LNCS 3629}, optvolume = {}, year = {2005}, } @inproceedings{kkp:cmcs04, author = {Clemens Kupke and Alexander Kurz and Dirk Pattinson}, title = {Algebraic Semantics for Coalgebraic Logics}, opteditor = "J. Adamek", booktitle = "CMCS", series = {ENTCS 106}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", volume = {106}, optpages = {219-241}, year = {2004}, } @inproceedings{kkv:aiml08, author = {Clemens Kupke and Alexander Kurz and Yde Venema}, title = {Completeness of the finitary {M}oss logic}, opteditor = "Carlos Areces and Rob Goldblatt", optbooktitle = "AiML'08", booktitle = "Advances in Modal Logic", optseries = {King's College Publications}, optvolume = {82}, optyear = {2008}, note = {Nancy, 9-12 September 2008}, } @inproceedings{kkv:cmcs03, author = {Clemens Kupke and Alexander Kurz and Yde Venema}, title = {Stone Coalgebras}, OPTeditor = "H.P. Gumm", booktitle = "CMCS'03", series = {ENTCS}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", volume = {82}, year = {2003}, } @techreport{kkv:cmcs03-tr, author = {Clemens Kupke and Alexander Kurz and Yde Venema}, title = {Stone Coalgebras}, institution = {CWI}, address = {Amsterdam}, number = {SEN-E0303}, year = {2003}, } @article{kkv:cmcs03-j, author = {Clemens Kupke and Alexander Kurz and Yde Venema}, title = {Stone Coalgebras}, journal = {Theoret.\ Comput.\ Sci.}, year = {2004}, optpages = {109--134}, volume = {327}, } @misc{kurz:da, title = "Model Theory for Temporal Logic", author = "Alexander Kurz", howpublished = "Diploma Thesis", school = "{Technische Universit\"at M\"unchen}", year = "1994", } @techreport{kurz:sf, author = "Alexander Kurz", title = "Sequence Frames", type = "Workshop Verification in New Orientation", number = "St.~03/95", institution = "Univ.~Maribor", year = "1995", } @misc{kurz0, title = "A Note on the Frame Semantics of Modal Logic", author = "Alexander Kurz", howpublished = "ESSLLI-97 Workshop on Polymodal Logic, Aix-en-Provence", year = "1997", } @inproceedings{kurz:cmcs98, title = "Specifying Coalgebras with Modal Logic", author = "Alexander Kurz", optpages = "57--72", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", series = {ENTCS 11}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = "1998", optvolume = "11", url = "http://www.informatik.uni-muenchen.de/~kurz/public_html/cmcs98.ps.gz", } @article{kurz:cmcs98-j, title = "Specifying Coalgebras with Modal Logic", author = "Alexander Kurz", optpages = "119--138", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", journal = "Theoret.\ Comput.\ Sci.", year = "2001", volume = "260", note = "", url = "http://www.informatik.uni-muenchen.de/~kurz/public_html/cmcs98-tcs.ps.gz", } @article{kurz:cmcs98-j-ws, title = "Specifying Coalgebras with Modal Logic", author = "Alexander Kurz", Optpages = "119--138", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", journal = "Theoret.\ Comput.\ Sci.", year = "2001", volume = "260", note = "Earlier version appeared in the Proceedings of CMCS'98, ENTCS, Vol.~11, 1998", url = "http://www.informatik.uni-muenchen.de/~kurz/public_html/cmcs98-tcs.ps.gz", } @InProceedings{kurz:aiml98, title = "A Co-Variety-Theorem for Modal Logic", author = "Alexander Kurz", pages = {367-380}, OPTeditor = "M. Zakharyaschev and K. Segerberg and M. de Rijke and H. Wansing", booktitle = "Advances in Modal Logic 2", publisher = {CSLI}, year = "2001", note = {papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998}, } @InProceedings{kurz:aiml98-sp, title = "A Co-Variety-Theorem for Modal Logic", author = "Alexander Kurz", OPTeditor = "M. Zakharyaschev and K. Segerberg and M. de Rijke and H. Wansing", booktitle = "Advances in Modal Logic 2", year = "2001", publisher = "CSLI", note = "Selected Papers from AiML 2, Uppsala, 1998", url = "http://www.informatik.uni-muenchen.de/~kurz/", } @InProceedings{kurz:aiml98-j-ws, title = "A Co-Variety-Theorem for Modal Logic", author = "Alexander Kurz", OPTeditor = "M. Zakharyaschev and K. Segerberg and M. de Rijke and H. Wansing", booktitle = "Advances in Modal Logic 2", year = "2001", publisher = "CSLI", note = "Selected Papers from AiML 2, Uppsala, 1998", url = "http://www.informatik.uni-muenchen.de/~kurz/", } @Article{kurz:krakau, title = "Modal Rules are Co-Implications", author = "Alexander Kurz", year = "1999", month = {February}, note = {Contribution to the 11th Internation Congress of Logic, Methodology and Philosophy of Science. Revised May 2000. \url{http://www.informatik.uni-muenchen.de/~kurz/}}, url = {http://www.informatik.uni-muenchen.de/~kurz/public_html/coimp.ps.gz}, } @Article{kurz:coimp, title = "Modal Rules are Co-Implications", author = "Alexander Kurz", volume = "", year = "1999", month = {February}, note = "Revised May 2000.\\ \verb=http://www.informatik.uni-muenchen.de/~kurz/=", url = "http://www.informatik.uni-muenchen.de/~kurz/public_html/coimp.ps.gz", } @InProceedings{kurz:cmcs01, author = {Alexander Kurz}, title = {Modal Rules are Co-Implications}, booktitle = {CMCS'01}, year = {2001}, OPTeditor = {A. Corradini and M. Lenisa and U. Montanari}, optvolume = {44.1}, OPTnumber = {1}, series = {ENTCS 44}, optpublisher = {Elsevier}, } @inproceedings{kurz-patt:cmcs00, author = {Alexander Kurz and Dirk Pattinson}, title = {Notes on Coalgebras, Co-Fibrations and Concurrency}, Optpages = "199-233", OPTeditor = "H. Reichel", booktitle = "CMCS'00", OPTseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", series = "ENTCS", year = "2000", volume = "33", url = "http://www.informatik.uni-muenchen.de/~kurz/public_html/ccc.ps.gz", } @article{kurz-pet:manys, author = {Alexander Kurz and Daniela Petrisan}, title = {Functorial Coalgebraic Logic: The Case of Many-sorted Varieties}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {203}, number = {5}, year = {2008}, pages = {175-194}, ee = {http://dx.doi.org/10.1016/j.entcs.2008.05.025}, } @article{kurz-petr:domains9, author = {Alexander Kurz and Daniela Petrisan}, title = {On Universal Algebra over Nominal Sets}, journal = {Math.\ Struct.\ Comp.\ Sci.}, volume = {}, number = {}, year = {}, pages = {}, note = {Accepted for publication}, } @unpublished{kurz:limits, author = "Alexander Kurz", title = "Limits in Categories of Coalgebras", year = "", note = "Draft.\\ \verb=http://www.informatik.uni-muenchen.de/~kurz/public_html/limits.ps.gz=", } @article{kurz-henn:cmcs99-j, OPTauthor = "A. Kurz and R. Hennicker", author = "Alexander Kurz and Rolf Hennicker", journal = "Theoret.\ Comput.\ Sci.", title = "On Institutions for Modular Coalgebraic Specifications", year = "2002", volume = "280", Optpages = "69--103", } @article{kurz:dual, optauthor = "A. Kurz", author = "Alexander Kurz", title = "Modal Logic is Dual to Equational Logic", year = "2000", month = "January", note = "\ \\ \verb+http://www.informatik.uni-muenchen.de/~kurz+", } @phdthesis{kurz:diss, optauthor = "A. Kurz", author = "Alexander Kurz", title = "{Logics for Coalgebras and Applications to Computer Science}", school = "{LMU}", year = "2000", OPTnote = {\url{http://www.informatik.uni-muenchen.de/~kurz}}, } @techreport{kurz-patt:cmcs00-tr, optauthor = {A. Kurz and D. Pattinson}, author = {Alexander Kurz and Dirk Pattinson}, title = {Coalgebras and Modal Logics for Parameterised Endofunctors}, institution = {CWI}, year = {2000}, number = {SEN-R0040}, OPTnote = {\url{http:www.cwi.nl/~kurz}}, } @Book{kurz:esslli01, optauthor = "A. Kurz", author = {Alexander Kurz}, title = {Coalgebras and Modal Logic - {C}ourse Notes for {ESSLLI} 2001}, year = {2001}, publisher = {University of Helsinki}, optnote = {{C}ourse Notes for {ESSLLI} 2001}, optnote = {\url{http://www.cwi.nl/~kurz}}, OPTannote = {}, } @InProceedings{kurz:fossacs02, optauthor = "A. Kurz", author = {Alexander Kurz}, title = {Logics Admitting Final Semantics}, booktitle = {FoSSaCS'02}, Optpages = {238--250}, year = {2002}, OPTeditor = {M. Nielsen and U. Engberg}, optvolume = {2303}, series = {LNCS 2303}, optpublisher = {Springer}, } @InProceedings{kurz-rosi:cmcs02, optauthor = {A. Kurz and J. Rosick{\'y}}, author = {Alexander Kurz and Ji{\v r}{\'\i} Rosick{\'y}}, title = {Modal Predicates and Coequations}, booktitle = {CMCS'02}, Optpages = {}, year = {2002}, OPTeditor = {Lawrence Moss}, volume = {65.1}, series = {ENTCS}, publisher = {Elsevier}, } @article{kurz-rosi:cmcs02-j, optauthor = {A. Kurz and J. Rosick{\'y}}, author = {Alexander Kurz and Ji{\v r}{\'\i} Rosick{\'y}}, title = {Operations and Equations for Coalgebras}, year = {2005}, journal = {Math.\ Structures Comput.\ Sci.}, optpages = {149--166}, volume = {15}, } @TechReport{kurz-patt:cmcs02-tr, optauthor = {A. Kurz and D. Pattinson}, author = {Alexander Kurz and Dirk Pattinson}, title = {Coalgebraic Modal Logic of Finite Rank}, institution = {CWI, Amsterdam}, year = {2002}, number = {SEN-R0222}, } @InProceedings{kurz-patt:cmcs02, optauthor = {A. Kurz and D. Pattinson}, author = {Alexander Kurz and Dirk Pattinson}, title = {Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic}, booktitle = {CMCS'02}, Optpages = {}, year = {2002}, OPTeditor = {Lawrence Moss}, volume = {65.1}, series = {ENTCS}, publisher = {Elsevier}, } @Article{kurz-patt:cmcs02-j, author = {A. Kurz and D. Pattinson}, OPTauthor = {Alexander Kurz and Dirk Pattinson}, title = {Coalgebraic Modal Logic of Finite Rank}, journal = {Math.\ Structures Comput.\ Sci.}, year = {2005}, volume = {15}, pages = {453--473}, } @InProceedings{kurz:wadt02, author = {Alexander Kurz}, title = {Notions of Behaviour and Reachable-Part and Their Institutions}, booktitle = {WADT'02}, Optpages = {312--327}, series = {LNCS 2755}, year = {2003}, optvolume = {2755}, } @Proceedings{kurz:cmcim02, title = {Proceedings of the workshop on Categorical Methods for Concurrency, Interaction, and Mobility (CMCIM'02)}, year = {2002}, OPTbooktitle = {}, OPTeditor = {Alexander Kurz}, volume = {68.1}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, series = {ENTCS}, } @Proceedings{kurz:cmcim03, title = {Proceedings of the workshop on Categorical Methods for Concurrency, Interaction, and Mobility (CMCIM'03)}, year = {2003}, OPTbooktitle = {}, OPTeditor = {Thomas Hildebrandt, Alexander Kurz}, volume = {}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, series = {ENTCS}, } @Article{kurz-palm:vietoris, author = {Alexander Kurz and Alessandra Palmigiano}, title = {Coalgebras and and Modal Expansions of Logics}, journal = {}, year = {2004}, OPTeditor = "J. Adamek", booktitle = "CMCS'04", series = {ENTCS}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", volume = {}, year = {2004}, } @book{lamb-scot:cl, author = "J. Lambek and P. Scott", title = "Introduction to Higher Order Categorical Logic", volume = "7", publisher = "Cambridge University Press", address = "Cambridge, England", isbn = "0-521-24665-2", Optpages = "ix+293", year = "1986" } @article{lars-skou:bisim, author = {Kim Guldstrand Larsen and Arne Skou}, title = {Bisimulation through Probabilistic Testing}, journal = {Inf. Comput.}, volume = {94}, optnumber = {1}, year = {1991}, optpages = {1-28}, bibsource = {DBLP, http://dblp.uni-trier.de} } @inproceedings{lasota:cmcs99, title = "Coalgebra morphisms subsume open maps", author = "S{\l}awomir Lasota", Optpages = "23--38", OPTeditor = "B. Jacobs and J. Rutten", booktitle = "CMCS'99", OPTseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", series = {ENTCS}, year = "1999", volume = "19", } @article{lawvere:adjointness, author = {F.W. Lawvere}, title = {Adjointness in foundations}, journal = {Dialectica}, volume = {23}, pages = {281--296}, year = 1969, note = {Republished in \emph{Reprints in Theory Appl. Categ.}}, } @article{lawvere:isbell, author = {F.W. Lawvere}, title = {Taking Categories Seriously}, journal = {Revista Colombiana de Matem{\'a}ticas}, volume = {XX}, Optpages = {147-178}, year = 1986, note = {Republished in \emph{Reprints in Theory Appl. Categ.}}, } @article{lawvere:metric, author = {F.W. Lawvere}, title = {Metric spaces, generalized logic and closed categories}, journal = {Rendiconti del Seminario Matematico e Fisico di Milano}, volume = {XLIII}, Optpages = {135-166}, year = 1973, note = {Republished in \emph{Reprints in Theory Appl. Categ.}}, } @PhdThesis{lawvere:thesis, author = {F. William Lawvere}, title = {Functorial Semantics of Algebraic Theories}, school = {Columbia University}, year = {1963}, OPTkey = {}, OPTtype = {}, OPTaddress = {}, OPTmonth = {}, note = {Republished in \emph{Reprints in Theory Appl. Categ.}}, OPTannote = {} } @phdthesis{lesske:diss, author = "Frank Le{\selectlanguage{german}"s}ke", title = "{\selectlanguage{german}Abstrakte Datentypen und Temporale Logik: Ein kombinierter Spezifikationsansatz}", school = "{Universit\"at M\"unchen}", year = "1994", } @Book{cwm, author = "Mac Lane, Saunders", title = "Category Theory for the Working Mathematician", publisher = "Springer", year = "1971", } @Article{LPW:op-sem, author = {Marina Lenisa and John Power and Hiroshi Watanabe}, title = {Category theory for operational semantics}, journal = {Theor. Comput. Sci.}, year = {2004}, volume = {327}, OPTnumber = {1-2}, optpages = {135-154}, } @article{emichael, author = {E. Michael}, title = {Topologies on spaces of subsets}, journal = {Transactions of the American Mathematical Society}, volume = 71, Optpages = {152-182}, year = 1951 } @InProceedings{linton:la-jolla, author = {F.E.J. Linton}, title = {Some aspects of equational categories}, booktitle = {Proceedings of the Conference on Categorical Algebra, La Jolla, 1965}, Optpages = {84--91}, year = {1966}, OPTeditor = {S. Eilenberg and D.K. Harrison and S. Mac Lane and H. R{\"o}hrl}, publisher = {Springer}, } @InCollection{linton:functorial-semantics, author = {F.E.J. Linton}, title = {An outline of functorial semantics}, OPTeditor = {B. Eckmann}, booktitle = {Seminar on triples and categorical homology theory}, optvolume = {80}, series = {LNM 80}, optseries = {Lecture Notes in Mathematics}, optpublisher = {Springer}, year = {1969}, Optpages = {7--52}, } @Article{mahr-mako:admit-initial-semantics, author = "B. Mahr and J. A. Makowsky", title = "Characterizing Specification Language which admit Initial Semantics", journal = "Theoret.\ Comput.\ Sci.", volume = "31(1+2)", Optpages = "59--60", year = "1984", } @Article{makkai:stone-FOL, author = {Michael Makkai}, title = {Stone duality for first order logic}, journal = {Adv.\ in Math.}, year = {1987}, volume = {65}, OPTpages = {97-170}, } @Incollection{malcev:quasiprimitive, author = {A. I. Mal'cev}, title = {Quasiprimitive Classes of Abstract Algebras}, booktitle = {The Metamathematics of Algebraic Systems, Collected Papers: 1936--1967}, year = {1971}, publisher = {North-Holland}, note = {Originally published in Dokl.\ Akad.\ Nauk SSSR 108, 187--189, 1956.} } @TechReport{malc-gogu:94, author = "G. Malcolm and J. Goguen", title = "Proving Correctness of Refinement and Implementation", year = "1994", institution = "Oxford University Computing Laboratory", number = "PRG-114", } @Article{malcolm:beh-equiv, author = "Grant Malcolm", title = "Behavioural Equivalence, Bisimulation, and Minimal Realisation", journal = "LNCS", volume = "1130", Optpages = "359--378", year = "1996", coden = "LNCSD9", ISSN = "0302-9743", bibdate = "Tue Oct 29 14:12:39 MST 1996", acknowledgement = ack-nhfb, PUBLISHER = "Springer", OPTADDRESS = "Berlin", } @Book{manes:at, author = "Ernest G.\ Manes", title = "Algebraic Theories", publisher = "Springer", year = "1976", } @book{mann-pnue:tl, author = "Zohar Manna and Amir Pnueli", title = "The Temporal Logic of Reactive and Concurrent Systems", publisher = "Springer", year = "1992", } @Article{mart-solo:ma, author = {D. Martin and R. Solovay}, title = {Internal {C}ohen extensions}, journal = {Annals of Mathematical Logic}, year = {1970}, OPTkey = {}, volume = {2}, OPTnumber = {}, OPTmonth = {}, Optpages = {143--178}, } @unpublished{merz:3ebenen, author = "Stephan Merz", title = "Three Aspects of Object Systems: On the Formal Specification of Object Systems", year = "1993", } @Article{mili-moss:recursive, author = {S. Milius and L. Moss}, title = {The Category Theoretic Solution of Recursive Program Schemes}, journal = {Theoret.\ Comput.\ Sci.}, year = {2006}, volume = {366}, Optpages = {293-312}, } @article{mpw:pi1, author = {Robin Milner and Joachim Parrow and David Walker}, title = {A Calculus of Mobile Processes, I}, journal = {Inf. Comput.}, volume = {100}, optnumber = {1}, year = {1992}, optpages = {1-40}, bibsource = {DBLP, http://dblp.uni-trier.de} } @Book{milner:ccs, author = {Robin Milner}, title = {A Calculus of Communicating Systems}, publisher = {Springer}, series = {LNCS}, year = {1980}, volume = {92}, } @book{milner:cc, author = {Robin Milner}, title = {Communication and Concurrency}, publisher = {Prentice Hall}, series = {International series in computer science}, year = {1989}, } @inproceedings{MisloveOPW:dual-LMP, author = {Michael W. Mislove and Jo{\"e}l Ouaknine and Dusko Pavlovic and James Worrell}, title = {Duality for Labelled Markov Processes}, booktitle = {FoSSaCS}, year = {2004}, pages = {393-407}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2987{\&}spage=393}, bibsource = {DBLP, http://dblp.uni-trier.de} } @book{moerdijk-macl:Sheavesgl, author = {Maclane, Saunders and Moerdijk, Ieke }, howpublished = {Paperback}, isbn = {0387977104}, keywords = {category-theory, logic, mathematics, theoretical-computer-science}, month = {October}, publisher = {Springer}, title = {Sheaves in Geometry and Logic : A First Introduction to Topos Theory (Universitext)}, url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20\&path=ASIN/0387977104}, year = {1994} } @InProceedings{mosh-petr:calco09, author = {M. A. Moshier and D. Petri{\c s}an}, title = {A Duality Theorem fo Real ${C}^*$ Algebras}, booktitle = {CALCO'09}, OPTpages = {}, OPTyear = {}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpublisher = {}, } @InProceedings{moshier02, author = {M. A. Moshier and A. Jung}, title = {A Logic for Probabilities in Semantics}, booktitle = {CSL'02}, optbooktitle = {Computer Science Logic}, opteditor = {Julian Bradfield}, optpublisher = {Springer Verlag}, optseries = {Lecture Notes in Computer Science}, optvolume = 2471, optpages = {216--231}, optseries = {LNCS 2471}, optyear = 2002, } @Article{moshier04, author = {M. A. Moshier}, title = {On the relationship between compact regularity and {G}entzen's cut rule}, journal = tcs, year = 2004, volume = 316, pages = {113--136} } @article{ipl92moor, author = "Oege de Moor", title = "Inductive data types for predicate transformers", journal = "Information Processing Letters", volume = "43", number = "3", optpages = "113-118", year = "1992"} @Book{hba1, author = {Sabine Koppelberg}, OPTeditor = {J. Donald Monk}, title = {Handbook of Boolean Algebras}, publisher = {North Holland}, year = {1989}, volume = {1}, } @Article{mili-moss:rec, author = {S. Milius and L. Moss}, title = {The Category Theoretic Solution of Recursive Program Schemes}, optjournal = {}, year = {2006}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, Optpages = {}, OPTmonth = {}, note = {Draft}, OPTannote = {} } S. Milius and L. S. Moss, The Category Theoretic Solution of Recursive Program Schemes @inproceedings{monteiro:cmcs98, author = {Lu{\'{\i}}s Monteiro}, title = {Semantic domains based on sets with families of equivalences}, OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", series = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = "1998", volume = "11", } @inProceedings{monteiro:cmcs00, author = {Lu{\'{\i}}s Monteiro}, title = {Observation Systems}, booktitle = {CMCS'00}, year = {2000}, OPTeditor = {Horst Reichel}, volume = {33}, Optpages = {}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, series = {ENTCS}, optaddress = {Berlin}, } @article {moss:finite-models, AUTHOR = {Moss, L.}, TITLE = {Finite models constructed from canonical formulas}, JOURNAL = {J.\ Philoso.\ Logic}, OPTVOLUME = {36}, YEAR = {2007}, OPTPAGES = {605-640}, } @article{moss-vigl:cmcs04-j, author = {Lawrence Moss and Ignacio Viglizzo}, title = {Final Coalgebras for Functors on Measurable Spaces}, journal = {Inf.\ Comput.}, year = {2006}, volume = {204}, OPTnumber = {4}, optpages = {610-636}, } @inProceedings{moss-vigl:cmcs04, author = {Lawrence Moss and Ignacio Viglizzo}, title = {Harsanyi type spaces and final coalgebras constructed from satisfied theories}, booktitle = {CMCS'04}, year = {2004}, series = {ENTCS 106}, } @article{moss:cl, author = "Lawrence Moss", title = "Coalgebraic Logic", optjournal = "Annals of Pure and Applied Logic", journal = {Ann.\ Pure Appl.\ Logic}, volume = "96", year = "1999", Optpages = "277--317", } @Article{moss:corecursion, author = {L. Moss}, title = {Parametric Corecursion}, journal = {Theoret.\ Comput.\ Sci.}, year = {2001}, volume = {260}, Optpages = {139-163}, } @InProceedings{mrrs:cocasl, author = {T. Mossakowski and H. Reichel and M. Roggenbach and L. Schr{\"o}der}, title = {Algebraic-coalgebraic specification in {CoCASL}}, booktitle = {WADT'02}, Optpages = {}, year = {2003}, OPTeditor = {M. Wirsing and R. Hennicker and D. Pattinson}, optvolume = {2755}, series = {LNCS 2755}, } @Article{ouellet:inclusive, author = {Roch Ouellet}, title = {Inclusive first-order logic}, journal = "Stud. Log.", year = "1981", volume = "40", OPTnumber = {1}, pages = "13-28", } @Article{ouellet:polyadic, author = {Roch Ouellet}, title = {A Categorical Approach to Polyadic Algebras}, journal = {Stud. Log.}, year = {1982}, volume = {41}, OPTnumber = {4}, pages = {317-327}, } @InProceedings{padawitz:swinging, author = "Peter Padawitz", title = "Swinging data types: syntax, semantics, and theory", Optpages = "409--435", ISBN = "", OPTeditor = "M.~Haveraaen, O.~Owe, O.-J.~Dahl ", booktitle = "Recent Trends in Data Type Specification", series = "LNCS", volume = "1130", publisher = "Springer", optaddress = "Berlin", year = "1996", } @TechReport{palmigiano:pml, author = {Alessandra Palmigiano}, title = {A New Coalgebraic Semantics for Positive Modal Logic}, institution = {CWI}, address = {Amsterdam}, year = {2002}, } @inproceedings{palmigiano:cmcs03, author = {Alessandra Palmigiano}, title = {A Coalgebraic Semantics for Positive Modal Logic}, OPTeditor = "H.-P. Gumm", booktitle = "CMCS'03", series = {ENTCS}, OPTseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = {2003}, } @article{palmigiano:cmcs03-j, author = {Alessandra Palmigiano}, title = {A coalgebraic view on positive modal logic}, journal = {Theoret.\ Comput.\ Sci.}, optpages = {175--195}, volume = {327}, year = {2004}, } @InProceedings{palmigiano:cmcs02, author = {Alessandra Palmigiano}, title = {Abstract logics as dialgebras}, booktitle = "CMCS'02", series = {ENTCS 65}, year = {2002}, } @article{pigo-sali:VB-calculus, author = {Don Pigozzi and Antonino Salibra}, title = {The abstract variable-binding calculus}, journal = {Stud. Log.}, volume = {55}, number = {1}, year = {1995}, pages = {129-179}, bibsource = {DBLP, http://dblp.uni-trier.de} } @Book{prakash:lmp, author = {P. Panangaden}, title = {Labelled Markov Processes}, publisher = {Imperial College Press}, year = {2009}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @InProceedings{park:bisim, author = {D. Park}, title = {Concurrency and Automata on Infinite Sequences}, booktitle = {Proceedings of the 5th GI Conference}, Optpages = {167--183}, year = {1981}, volume = {104}, series = {LNCS}, publisher = {Springer}, } @InProceedings{patt-schr:fossacs08, author = {D. Pattinson and L. Schr{\"o}der}, title = {Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics}, booktitle = {Fossacs'08}, OPTpages = {}, year = {2008}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpublisher = {}, note = {To appear}, } @InProceedings{pattinson:sem-mod, author = {Dirk Pattinson}, title = {Semantical Principles in the Modal Logic of Coalgebras}, booktitle = {STACS'01}, optyear = {2001}, OPTOPTeditor = {}, optvolume = {2010}, optseries = {LNCS 2010}, OPTnote = {Also available as technical report at \url{http://www.informatik.uni-muenchen.de/~pattinso/}}, } @article{pattinson:expressive-j , author = "D. Pattinson" , title = "Expressive Logics for Coalgebras via Terminal Sequence Induction" , journal = "Notre Dame Journal of Formal Logic" , optnote = "19 Optpages, to appear" , volume = 45 , optpages = "19--33" , year = "2004" } @TechReport{pattinson:sound-complete, author = {Dirk Pattinson}, title = {Coalgebraic Modal Logic: Soundness, Completeness and Decidability}, institution = {LMU M{\"u}nchen}, year = {2002}, OPTnote = {\url{http://www.informatik.uni-muenchen.de/~pattinso/}}, pages = {177--193} } @article{pattinson:cml-j, author = "D. Pattinson", title = "Coalgebraic Modal Logic: Soundness, Completeness and Decidability of Local Consequence", journal = {Theoret.\ Comput.\ Sci.}, year = "2003", volume = "309", optnumber = "1--3", pages = "177--193" } @InCollection{pitts:cl, author = "Andrew M.~Pitts", title = "Categorical Logic", booktitle = "Handbook of Logic in Computer Science", OPTeditor = "S.~Abramsky and D.~M.~Gabbay and T.~S.~E.~Maibaum", publisher = "Oxford University Press", volume = "6", year = "1995", OPTnote = "Available at \url{ftp://ftp.cl.cam.ac.uk/papers/ap/catl.ps.gz}", } @Article{pitts:nom-log, author = {A. Pitts}, title = {Nominal Logic, A First Order Theory of Names and Binding}, journal = {Information and Computation}, year = 2003, optpages = {165--193}, volume = 186 } @TechReport{phoa:fibrations, author = {Wesley Phoa}, title = {An introduction to fibrations, topos theory, the effective topos and modest sets}, institution = {LFCS, University of Edinburgh}, number = {ECS-LFCS-92-208}, year = {1992}, OPTkey = {}, OPTtype = {}, OPTnumber = {}, OPTaddress = {}, OPTmonth = {}, note = {Available at \url{http://www.lfcs.informatics.ed.ac.uk/reports/92/ECS-LFCS-92-208/ECS-LFCS-92-208.ps.gz}}, OPTannote = {} } @InProceedings{plotkin:cmcs01, author = {Gordon Plotkin}, title = {Bialgebraic Semantics and Recursion (Extended Abstract)}, booktitle = {CMCS'01}, year = {2001}, OPTeditor = {A. Corradini and M. Lenisa and U. Montanari}, } @inproceedings{poll-zwan:adt-et, author = {Erik Poll and Jan Zwanenburg}, title = {A Logic for Abstract Data Types as Existential Types}, month = {April}, year = {1999}, Optpages = {}, keywords = {abstract data type, parametricity}, note = {}, url = {http://www.cs.ukc.ac.uk/pubs/1999/644}, booktitle = {Typed Lambda Calculi and Applications (TLCA'99)}, publisher = {Spinger-Verlag}, refereed = {yes}, series = {LNCS}, } @Article{power:enriched-lawvere, author = {John Power}, title = {Enriched Lawvere theories}, journal = {Theory and Applications of Categories}, year = {1999}, volume = {6}, OPTnumber = {7}, optpages = {83-93}, } @inproceedings{powe-wata:cmcs98, title = "An axiomatics for categories of coalgebras", author = "J. Power and H. Watanabe", Optpages = "", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", series = {ENTCS}, OPTseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = "1998", volume = "11", } @InProceedings{pratt:stone-gamut, Author="Pratt, V.R.", Title="The {S}tone Gamut: A Coordinatization of Mathematics", Booktitle="LICS'95", optBooktitle="Logic in Computer Science", optPages="444-454", optMonth="June", optPublisher="IEEE Computer Society", optYear="1995"} @Book{reichel:87, author = "Horst Reichel", title = "Initial computability, algebraic specifications, and partial algebras", year = "1987", publisher = "Clarendon Press", } @Article{reichel:oo, title = "An approach to object semantics based on terminal co-algebras", author = "Horst Reichel", Optpages = "129--152", journal = "Math.\ Structures Comput.\ Sci.", year = "1995", volume = "5", optnumber = "2", } @TechReport{reichel:nested-sketches, author = {Horst Reichel}, title = {Nested Sketches}, institution = {University of Edinburgh}, year = {1998}, number = {ECS-LFCS-98-401}, } @inProceedings{reichel:cmcs98, author = {Horst Reichel}, title = {Dialgebraic Logics}, booktitle = "CMCS'98", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", publisher = "Electronic Notes in Theoret.\ Comput.\ Sci.", volume = {11}, year = "1998", } @Article{tana-powe:var-bind-j, author = {Miki Tanaka and John Power}, title = {Pseudo-distributive laws and axiomatics for variable binding}, journal = {Higher-Order and Symbolic Computation}, year = {2006}, OPTkey = {}, volume = {19}, OPTnumber = {2}, Optpages = {305-337}, } @Article{tana-powe:binding-sig, author = {Miki Tanaka and John Power}, title = {A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics}, journal = {J. Log. Comput.}, year = {2006}, OPTkey = {}, volume = {16}, OPTnumber = {1}, Optpages = {5-25}, } @Article{reichel:wadt99, author = {Horst Reichel}, title = {A Uniform Model Theory for the Specifcation of Data and Process Types}, journal = {}, year = {1999}, note = {Submitted to Proceedings of WADT99} } @Article{reiterman:algebraic-theories, author = {Jan Reiterman}, title = {Algebraic Theories and Varieties of Functor Algebras}, journal = {Fund. Math.}, year = {1983}, volume = {118}, Optpages = {59--68}, } @Article{reiterman:algebraised-chains, author = {Jan Reiterman}, title = {One More Categorical Model of Universal Algebra}, journal = {Mathematische Zeitschrift}, year = {1978}, volume = {161}, Optpages = {137--146}, } @Article{reiterman:reiterman, author = {Jan Reiterman}, title = {The {B}irkhoff theorem for finite algebras}, journal = {Algebra Universalis}, year = {1982}, volume = {14}, Optpages = {1--10}, } @Book{rinow:topologie, author = {Willi Rinow}, title = {Topologie}, publisher = {VEB Deutscher Verlag der Wissenschaften}, year = {1975}, address = {Berlin}, } @TechReport{robinson:powerdomain, author = {E. Robinson}, title = {Powerdomains, modalities and the {V}ietoris monad}, institution = {Computer Laboratory Technical Report 98, University of Cambridge}, year = {1986}, } @techreport{roessiger:ml98, title = "From Modal Logic to Terminal Coalgebras", author = "Martin R{\"o}{\ss}iger", year = "1998", type = "Report", number = "MATH-AL-3-1998", institution = "University of Dresden", } @article{roessiger:ml98-j, title = "From Modal Logic to Terminal Coalgebras", author = "Martin R{\"o}{\ss}iger", Optpages = "209--228", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", journal = "Theoret.\ Comput.\ Sci.", year = "2001", volume = "260", url = "http://www.informatik.uni-muenchen.de/~kurz/public_html/cmcs98-tcs.ps.gz", } @article{roessiger:ml98-j-tr, title = "From Modal Logic to Terminal Coalgebras", author = "Martin R{\"o}{\ss}iger", Optpages = "209--228", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", journal = "Theoret.\ Comput.\ Sci.", year = "2001", volume = "260", note = "First appeared as Technical Report MATH-AL-3-1998, Dresden University of Technology, 1998", } @article{roessiger:thisvol, title = "From Modal Logic to Terminal Coalgebras", author = "Martin R{\"o}{\ss}iger", note = "This number", } @inProceedings{roessiger:cmcs99, author = {Martin R{\"o}{\ss}iger}, title = {Languages for Coalgebras on Datafunctors}, booktitle = "CMCS'00", year = {1999}, OPTeditor = {B. Jacobs, J. Rutten}, volume = {19}, Optpages = {55--76}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @inProceedings{roessiger:cmcs00, author = {Martin R{\"o}{\ss}iger}, title = {Coalgebras and Modal Logic}, booktitle = "CMCS", year = {2000}, opteditor = {Horst Reichel}, volume = {33}, Optpages = {299--320}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @PhdThesis{roessiger:diss, author = {Martin R{\"o}{\ss}iger}, title = {Coalgebras, Clone Theory, and Modal Logic}, school = {Dresden University of Technology}, year = {2000}, } @Article{rosi-pola:implicit-operations, author = {J. Rosick\'y and L. Pol{\'a}k}, title = {Implicit operations on finite algebras}, journal = {Colloq.\ Math.\ Soc.\ J.\ Bolyai}, year = {1979}, OPTkey = {}, volume = {28}, } @InProceedings{rosicky:algebraic-categories, author = {Ji{\v r}{\'\i} Rosick\'y}, title = {On algebraic categories}, booktitle = {Universal Algebra (Proc. Coll. Esztergom 1977)}, Optpages = {662--690}, year = 1981, volume = 29, series = {Colloq.\ Math.\ Soc.\ J.\ Bolyai} } @Unpublished{rosicky:homotopy, author = {Ji{\v r}{\'\i} Rosick\'y}, title = {}, note = {Unpublished Manuscript}, } @Article{rosu-gogu:hcd, author = "G. Ro\c{s}u and J. Goguen", title = "Hidden Congruent Deduction", year = "1998", journal = "Proc.~International Workshop on First Order Theorem Proving", note = "{\tt http://www-cse.ucsd.edu/users/goguen/ps/cong.ps.gz}", } @inproceedings{rosu:cmcs98, title = "A {B}irkhoff-like axiomatisability result for hidden algebra and coalgebra", author = "Grigore Ro\c{s}u", Optpages = "179--196", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", series = {ENTCS}, OPTseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = "1998", volume = "11", } @Article{rosu:cobirk, author = {Grigore Ro\c{s}u}, title = {Equational Axiomatizability for Coalgebra}, journal = {Theoret.\ Comput.\ Sci.}, year = {2001}, OPTkey = {}, volume = {260}, OPTnumber = {}, Optpages = {229--247}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Misc{rosu:mod, author = {Grigore Ro\c{s}u}, howpublished = {Personal Communication}, month = {August}, year = {1999}, OPTnote = {}, address = {Marktoberdorf Summerschool}, OPTannote = {} } @PhdThesis{rosu:diss, author = {Grigore Ro\c{s}u}, title = {Hidden Logic}, school = {University of California at San Diego}, year = {2000}, } @PhDThesis{Rothe:2003, author = {Jan Rothe}, title = {Behavioural Equivalences for Coalgebras}, institution = {TU Dresden}, month = August, year = 2003 } @InProceedings{Rot:SyntWeak, author = {J. Rothe}, title = {A Syntactical Approach to Weak Bisimulation for Coalgebras}, booktitle = {Proceedings of CMCS}, opteditor = {L. Moss}, series = {ENTCS}, year = 2002 } @InProceedings{Roth-masu:cmcim02, author = {J. Rothe and D. Ma{\v s}ulovi\'c}, title = {Towards Weak Bisimulation for Coalgebras}, booktitle = {Proceedings of CMCIM'2002}, year = 2002, opteditor = {A. Kurz}, series = {ENTCS}, volume = {68.1} } @Article{rtj:ccsl, author = {J. Rothe and H. Tews and B. Jacobs}, title = {The Coalgebraic Class Specification Language {CCSL}}, journal = {J.~Univ.\ Comp.\ Sci.}, year = {2001}, OPTnote = {Also available at \url{http://wwwtcs.inf.tu-dresden.de/~tews/}}, Optpages = "175--193", volume = "7", optnumber = "2", } @Article{rutten:tcs05, author = {J.J.M.M. Rutten }, title = {A tutorial on coinductive stream calculus and signal flow graphs}, journal = {Theoret.\ Comput.\ Sci.}, year = {2005}, volume = {343}, OPTnumber = {3}, Optpages = {443--481}, } @Article{rutten:counting, author = {J.J.M.M. Rutten}, title = {Coinductive counting with weighted automata}, journal = {J.\ Autom.\ Lang.\ Comb.}, year = {2003}, volume = {8}, OPTnumber = {2}, Optpages = {319--352}, OPTnote = {Special issue with the selected papers of the workshop "Weighted Automata: Theory and Applications" (Dresden, Germany, March 4-8, 2002).}, } @TechReport{rutten:diff-equ, author = "J.J.M.M. Rutten", title = "Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series", type = "Report", number = "SEN-R0023", institution = "CWI, Amsterdam", year = "2000", url = "ftp://ftp.cwi.nl/pub/CWIreports/AP/SEN-R0023.ps.Z", } @misc{rutten:automata-tr, author = "J.J.M.M. Rutten", title = "Automata and Coinduction - An Exercise in Coalgebra", institution = {CWI}, number = {SEN-R9803}, address = {Amsterdam}, year = "1998" } @inProceedings{rutten:automata, author = "J.J.M.M. Rutten", title = "Automata and Coinduction - An Exercise in Coalgebra", year = "1998", booktitle = {CONCUR'98}, OPTeditor = {D. Sangiorigi and R. de Simone}, optvolume = {1466}, series = {LNCS 1466}, } @article{rutten:weighted, author = {J.J.M.M. Rutten}, title = {Weighted colimits and formal balls in generalized metric spaces}, journal = {Topology and its Applications}, volume = {89}, year = {1998}, optpages = {179-202}, } @TechReport{rutt-turi:fs-tr, author = "J. Rutten and D. Turi", title = "On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders", type = "Report", number = "CS-R9241", institution = "CWI, Amsterdam", year = "1992", url = "ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9241.ps.Z", } @PhdThesis{thijs:diss, author = {Albert Thijs}, title = {Simulation and Fixpoint Semantics}, school = {Rijksuniversiteit Groningen}, year = {1996}, } @article{turi-rutt:fcs, author = "D. Turi and J. Rutten", title = "On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces", journal = "Math.\ Structures Comput.\ Sci.", volume = "8", year = "1998", } @TechReport{rutten:co-ind, author = "J.J.M.M. Rutten", title = "A structural co-induction theorem", type = "Technical Report", number = "CS R 9346", institution = "CWI, Amsterdam", year = "1993", url = "ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9346.ps.Z", } @TechReport{rutt-turi:if, author = "J. Rutten and D. Turi", title = "Initial Algebra and Final Coalgebra Semantics for Concurrency", type = "Report", number = "CS-R9409", institution = "CWI, Amsterdam", year = "1994", url = "ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9409.ps.Z", } @InCollection{rutten:ts, author = "J.J.M.M. Rutten", title = "A calculus of transition systems (towards universal coalgebra)", booktitle = "Modal Logic and Process Algebra", OPTeditor = "A. Ponse and M. de Rijke and Y. Venema", publisher = "CSLI", series = "CSLI Lecture Notes", volume = "53", year = "1995", } @TechReport{rutten:uc, author = "J.J.M.M. Rutten", title = "Universal Coalgebra: {A} Theory of Systems", type = "Technical Report", number = "CS R 9652", institution = "CWI, Amsterdam", year = "1996", url = "ftp://ftp.cwi.nl/pub/CWI/reports/AP/CS-R9652.ps.Z", } @article{rutten:uc-j, author = "J.J.M.M. Rutten", title = "Universal Coalgebra: {A} Theory of Systems", journal = "Theoret.\ Comput.\ Sci.", year = "2000", volume = "249", Optpages = "3--80", OPTnote = {First appeared as technical report CS R 9652, CWI, Amsterdam, 1996.}, url = "ftp://ftp.cwi.nl/pub/CWI/reports/AP/CS-R9652.ps.Z", } @TechReport{rutten:control, author = "J.J.M.M. Rutten", title = "Coalgebra, Concurrency, and Control", type = "Report", number = "SEN-R9921", institution = "CWI, Amsterdam", year = "1999", url = "ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R99??.ps.Z", } @article{Saheb-Djahromi80, author = {N. Saheb-Djahromi}, title = {CPO'S of Measures for Nondeterminism}, journal = {Theor. Comput. Sci.}, volume = {12}, year = {1980}, pages = {19-37}, bibsource = {DBLP, http://dblp.uni-trier.de} } @Article{samb-vacc:topology, author = {G. Sambin and V. Vaccaro}, title = {Topology and duality in modal logic}, journal = {Ann.\ Pure Appl.\ Logic}, optjournal = {Annals of Pure and Applied Logic}, year = {1988}, volume = {37}, Optpages = {249--296}, } @Article{sann-tarl:siai, author = {D.~Sannella and A.~Tarlecki}, title = {Specifications in arbitrary institutions}, journal = {Information and Computation}, year = {1988}, volume = {76}, Optpages = {165--210}, } @misc{schroeder:example, author = {Tobias Schr\"oder}, note = {Personal Communication}, year = {January 2001}, } @InProceedings{schroeder:fossacs05, author = {L. Schr\"oder}, title = {Expressivity of {C}oalgebraic {M}odal {L}ogic: {T}he {L}imits and {B}eyond}, booktitle = {FoSSaCS}, Optpages = {}, year = {2005}, opteditor = {V. Sassone}, volume = {3441}, OPTnumber = {}, series = {LNCS}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {Springer}, OPTnote = {}, OPTannote = {} } @InProceedings{schr-patt:icalp07, author = {L. Schr\"oder and D. Pattinson}, title = {Modular Algorithms for Heterogeneous Modal Logics}, booktitle = {ICALP'07}, year = {2007}, opteditor = {Lars Arge and Andrzej Tarlecki and Christian Cachin}, optvolume = {4596}, OPTnumber = {}, optseries = {}, OPTpublisher = {}, optpages = {}, } @InProceedings{schr-patt:stacs07, author = {L. Schr\"oder and D. Pattinson}, title = {Rank-1 Modal Logics are Coalgebraic}, booktitle = {STACS'07}, year = {2007}, opteditor = {}, optvolume = {4596}, OPTnumber = {}, optseries = {LNCS}, OPTpublisher = {Springer}, optpages = {459-471}, } @InProceedings{schr-patt:lics06, author = {L. Schr\"oder and D. Pattinson}, title = {{PSPACE} Bounds for Rank 1 Modal Logics}, booktitle = {LICS'06}, year = {2006}, opteditor = {Rajeev Alur}, optvolume = {}, OPTnumber = {}, optseries = {}, OPTpublisher = {IEEE}, optpages = {231-240}, } @article{segerberg:diss, author = "Krister Segerberg", title = "An essay in classical modal logic", journal = "Filosofiska Studier 13", address = "Uppsala", year = "1971", } @Article{segerberg:iml, author = "Krister Segerberg", title = "A Model Existence Theorem in Infinitary Propositional Modal Logic", journal = "Journal of Philosophical Logic", volume = "23", Optpages = "337-367", year = "1994", } @InProceedings{smyth:pred-trans, author = {M.B. Smyth}, title = {Power domains and predicate transformers: a topological view}, booktitle = {Proceedings 10th International Colloquium on Automata, Languages and Programming}, Optpages = {662--675}, year = {1983}, OPTeditor = {J.~Diaz}, volume = {154}, series = {LNCS}, publisher = {Springer}, } @incollection{smyth:handbook, author = "Michael Smyth", title = {Topology}, booktitle = "Handbook of Logic in Computer Science", OPTeditor = "S.~Abramsky and D.~M.~Gabbay and T.~S.~E.~Maibaum", publisher = "OUP", optvolume = "1", year = "1993" } @incollection{stirling:tl, author = "Colin Stirling", title = "Modal and temporal logics", booktitle = "Handbook of Logic in Computer Science", OPTeditor = "S.~Abramsky and D.~M.~Gabbay and T.~S.~E.~Maibaum", publisher = "Oxford University Press", volume = "2", year = "1992", } @InProceedings{stark:lics96, author = {I. Stark}, title = {A fully-abstract domain model for the $\pi$-calculus}, booktitle = {LICS'96}, Optpages = {36-42}, year = {1996}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTpublisher = {IEEE Comp.\ Soc.\ Press}, } @article{stark:pi-calc, author = {Ian Stark}, title = {Free-algebra models for the pi -calculus}, journal = {Theor. Comput. Sci.}, volume = {390}, number = {2-3}, year = {2008}, pages = {248-270}, ee = {http://dx.doi.org/10.1016/j.tcs.2007.09.024}, bibsource = {DBLP, http://dblp.uni-trier.de} } @InProceedings{staton:calco09, author = {S. Staton}, title = {Relating coalgebraic notions of bisimulation with applications to name-passing process calculi}, booktitle = {CALCO}, year = {2009}, publisher = {Springer}, series = {LNCS}, volume = {5728}, OPTnumber = {}, opteditor = {Alexander Kurz and Marina Lenisa and Andrzej Tarlecki}, Optpages = {}, } @Article{stone:ba, author = {M. H. Stone}, title = {The theory of representations for Boolean algebras}, journal = {Trans. Amer. Math. Soc}, year = {1936}, OPTkey = {}, volume = {40}, OPTnumber = {}, Optpages = {37-111}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Article{stone:dl, author = {M. H. Stone}, title = {Topological representation of distributive lattices and {B}rouwerian lattices}, journal = {\v Casopis p\v est.\ mat. fys.}, year = {1937}, OPTkey = {}, volume = {67}, OPTnumber = {}, Optpages = {1-25}, OPTmonth = {}, OPTnote = {}, OPTannote = {} } @Misc{streicher:fib-benabou, author = {Thomas Streicher}, title = {Fibred Categories {\'a} la {J}.\ {B}{\'e}nabou}, howpublished = {\url{http://www.mathematik.tu-darmstadt.de/~streicher/FIBR/fib.ps.gz}}, year = {1999}, OPTnote = {}, OPTannote = {} } @phdthesis{sturm:diss, author = "Holger Sturm", title = "{Modale Fragmente von ${\cal L}_\infty$ und ${\cal L}_{\omega{_1}\omega}$}", school = "{Universit\"at M\"unchen}", year = "1997", } @Article{sturm:compl, author = "Holger Sturm", title = "{A Complete Axiomatization for $ML_{\omega_1}$}", journal = "", year = "1998", note = "forthcoming", } @Article{sturm:interpol, author = "Holger Sturm", title = "{Interpolation and Preservation in $ML_{\omega_1}$}", journal = "", year = "1998", note = "forthcoming", } @Article{sturm:elementary, author = "Holger Sturm", title = "Elementary Classes in Basic Modal Logic", journal = "", year = "1998", note = "forthcoming", } @Article{suzuki:can-lattice, author = {T. Suzuki}, title = {Canonicity results of substructural and lattice-based logics}, journal = {The Review of Symbolic Logic}, year = {}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {accepted}, OPTannote = {} } @Article{suzuki:can-poset, author = {T. Suzuki}, title = {On canonicity of poset expansions}, optjournal = {Algebra Universalis}, year = {}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, OPTmonth = {}, note = {submitted to Algebra Universalis}, OPTannote = {} } @Article{tarlecki:free-models, title = "On the Existence of Free Models in Abstract Algebraic Institutions", author = "Andrzej Tarlecki", journal = "Theoret.\ Comput.\ Sci.", year = "1986", volume = "37", Optpages = "269--304", note = "Preliminary version, University of Edinburgh, Computer Science Department, Report CSR-165-84, 1984", } @incollection{tarlecki:inst, author = "Andrzej Tarlecki", title = "Institutions: An Abstract Framework for Formal Specifications", OPTeditor = "E.~Astesiano and H.-J.~Kreowski and B.~Krieg-Br{\"u}ckner", booktitle = "Algebraic Foundations of Systems Specification", optaddress = "Berlin", publisher = "Springer", year = "1999", chapter = "4", } @Book{taylor:pfm, author = {Paul Taylor}, title = {Practical Foundations of Mathematics}, publisher = {Cambridge University Press}, year = {1999}, } @inProceedings{tews:cmcs00, author = {Hendrik Tews}, title = {Coalgebras for Binary Methods}, booktitle = "CMCS'00", year = {2000}, OPTeditor = {Horst Reichel}, volume = {33}, Optpages = {321--347}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @inproceedings{tews:cmcs04, author = {Hendrik Tews}, title = {Predicate and Relation Lifting for Parametric Algebraic Specifications}, OPTeditor = "J. Adamek", booktitle = "CMCS'04", series = {ENTCS 106}, optseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", optvolume = {}, year = {2004}, } @Article{tews:bin-meth, author = {Hendrik Tews}, title = {Coalgebras for binary methods: Properties of bisimulations and invariants}, journal = {Theor.\ Inform.\ Appl.}, year = {2001}, OPTkey = {}, volume = {35}, OPTnumber = {}, Optpages = {83-111}, } @PhdThesis{tews:diss, author = {Hendrik Tews}, title = {Coalgebraic Methods for Object-Oriented Specification}, school = {University of Dresden}, year = {2002}, } @article{thomason:cama, author = {Thomason, S.K.}, title = {Categories of frames for modal logics}, journal = {Journal of Symbolic Logic}, volume = 37, Optpages = {439--442}, year = 1975, } @PhdThesis{turi:diss, author = {Daniele Turi}, title = {Functorial Operational Semantics and its Denotational Dual}, school = {Free University, Amsterdam}, year = {1996}, } @inproceedings{turi-plot:sos, author = "Daniele Turi and Gordon Plotkin", title = "Towards a mathematical operational semantics", booktitle = "LICS'97", Optpages = "280--305", year = "1997", } CMCS'04", series = {ENTCS 106 @InProceedings{venema:cmcs04, author = {Y. Venema}, title = {Automata and Fixed Point Logics for Coalgebras}, booktitle = {CMCS'04}, Optpages = {}, year = {2004}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, series = {ENTCS 106}, OPTpublisher = {}, } @Article{venema:coalg-aut, author = {Yde Venema}, title = {Automata and Fixed Point Logics: a Coalgebraic Perspective}, journal = {Inf.\ Comput.}, year = {2006}, volume = {204}, OPTnumber = {4}, Optpages = {637-678}, } @InBook{venema:ac, author = {Yde Venema}, opteditor = {}, title = {Handbook of Modal Logic}, chapter = {Algebras and Coalgebras}, optpublisher = {}, optyear = {}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTtype = {}, OPTaddress = {}, OPTedition = {}, OPTmonth = {}, Optpages = {}, note = {To appear. Electronically available.}, OPTannote = {} } @InCollection{venema:arrow-logic, author = {Yde Venema}, title = {A crash course in arrow logic}, booktitle = {Arrow Logic and Multi-Modal Logic}, Optpages = {3--34}, publisher = {CSLI}, optpublisher = {\textsc{csli} publications}, year = {1996}, OPTeditor = {M. Marx and L. {P\'{o}los} and M. Masuch}, series = {Studies in Logic, Language and Information}, address = {Stanford}, } @InCollection{venema:update-modality, author = {Yde Venema}, title = {Dynamic Logics in their Logical Surroundings}, booktitle = {Logic in Action}, Optpages = {115--153}, publisher = {Universiteit van Amsterdam}, year = {2001}, address = {Amsterdam}, } @InCollection{venema:model-definability, author = {Yde Venema}, title = {Model definability, purely modal}, booktitle = {JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday}, OPTpages = {}, publisher = {Amsterdam University Press}, year = {1999}, OPTeditor = {J. Gerbrandy, M. Marx, M. de Rijke and Y. Venema}, OPTaddress = {Amsterdam}, } @book{vickers:tvl, author = "Steven J. Vickers", title = "Topology Via Logic", OPTvolume = "5", publisher = "CUP", optpublisher = "Cambridge University Press", year = "1989" } @inproceedings{vink-rutt:prob-bisim, key = {vink}, author = "E.P. {de Vink} and J.J.M.M. Rutten", title = "Bisimulation for probabilistic transition systems: a coalgebraic approach", OPTeditors = {P. Degano, R. Gorrieri, and A. Marchetti-Spaccamela}, booktitle = {Proceedings of ICALP'97}, volume = {1256}, series = {LNCS}, Optpages = {460--470}, year = "1997", } @Article{vietoris:1922, author = {L. Vietoris}, title = {Bereiche zweiter {O}rdnung}, journal = {Monatsh. f{\"u}r Math. und Phys.}, year = {1922}, OPTkey = {}, volume = {32}, OPTnumber = {}, Optpages = {258--280}, } @Article{vink-rutt:prob-bisim-j, author = {Erik de Vink and Jan Rutten}, title = {Bisimulation for probabilistic transition systems: A coalgebraic approach}, journal = {Theoret.\ Comput.\ Sci.}, year = {1999}, volume = {221}, Optpages = {}, } @Book{wechler:ua, author = {Wolfgang Wechler}, title = {Universal Algebra for Computer Scientists}, publisher = {Springer}, year = {1992}, volume = {25}, series = {EATCS Monographs on Theoret.\ Comput.\ Sci.}, } @incollection{wins-niel:mc, author = {G. Winskel and M. Nielsen}, title = {Models for Concurrency}, OPTeditor = {Abramsky, S. and Gabbay, D. and Maibaum, T. S. E.}, booktitle = {Handbook of Logic in Computer Science}, publisher = {Oxford University Press}, year = 1995, optpages = {1--148}, } @article{winskel:powerdomain, author = {G. Winskel}, title = {Note on powerdomains and modality}, journal = {Theoret. Comp. Sci.}, year = {1985}, volume = {36}, Optpages = {}, } @Misc{wonham:des, author = {W. M. Wonham}, title = {Notes on control of discrete-event systems}, howpublished = {http://www.control.utoronto/people/profs/wonham/wonham.html}, OPTmonth = {}, year = {1999}, } @inProceedings{wolter:cmcs00, author = {Uwe Wolter}, title = {On Corelations, Cokernels, and Coequations}, booktitle = "CMCS'00", year = {2000}, OPTeditor = {Horst Reichel}, volume = {33}, Optpages = {347--366}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @Article{worrell:final-sequence, author = {James Worrell}, title = {On the final sequence of an finitary set functor}, journal = {Theoret.\ Comput.\ Sci.}, year = {2005}, volume = {338}, optpages = {184--199}, } @inproceedings{worrell:cmcs98, title = "Toposes of Coalgebras and Hidden Algebra", author = "James Worrell", Optpages = "", OPTeditor = "B. Jacobs and L. Moss and H. Reichel and J. Rutten", booktitle = "CMCS'98", series = {ENTCS}, OPTseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", year = "1998", volume = "11", } @inproceedings{worrell:cmcs99, author = "James Worrell", title = "Terminal sequences for accessible endofunctors", OPTeditor = "B. Jacobs and J. Rutten", booktitle = "CMCS'99", year = "1999", series = {ENTCS 19}, OPTseries = "Electronic Notes in Theoret.\ Comput.\ Sci.", optvolume = "19", Optpages = "39--53", } @inProceedings{worrell:cmcs00, author = {James Worrell}, title = {Coinduction for recursive data types: partial order, metric spaces and $\Omega$-categories}, booktitle = "CMCS'00", year = {2000}, OPTeditor = {Horst Reichel}, volume = {33}, Optpages = {367--386}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @inProceedings{worrell:cmcs02, author = {James Worrell}, title = {A Note on Coalgebras and Presheaves}, booktitle = "CMCS'02", year = {2002}, OPTeditor = {Lawrence S. Moss}, volume = {65.1}, Optpages = {}, series = {ENTCS}, OPTseries = {Electronic Notes in Theoret.\ Comput.\ Sci.}, } @PhdThesis{worrell:diss, author = {James Worrell}, title = {On Coalgebras and Final Semantics}, school = {Oxford University Computing Laboratory}, year = {2000}, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % oo.bib %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @INCOLLECTION{ckrw:java, AUTHOR = "P. Cenciarelli and A. Knapp and B. Reus and M. Wirsing", TITLE = "{An Event-Based Structural Operational Semantics of Multi-Threaded Java}", OPTEDITOR = "Jim Alves-Foss", BOOKTITLE = "Formal Syntax and Semantics of Java", SERIES = "LNCS", VOLUME = "1523", PUBLISHER = "Springer", OPTADDRESS = "Berlin", YEAR = 1999, OPTPAGES = "157--200"} @Article{Denker:1995:TOS, author = "G. Denker", title = "Transactions in Object-Oriented Specifications", journal = "LNCS", volume = "906", Optpages = "203--??", year = "1995", coden = "LNCSD9", ISSN = "0302-9743", bibdate = "Sat May 11 13:45:32 MDT 1996", acknowledgement = ack-nhfb, PUBLISHER = "Springer", OPTADDRESS = "Berlin", } @techreport{denk-hart:troll3, author = "G. Denker and P. Hartel", title = "{TROLL---An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics (TROLL Version 3.0)}", year = "1997", institution = "Technische Universit{\"a}t Braunschweig", number = "Informatik Berichte 97-03", } @inproceedings{drcs:trans, author = "G. Denker and J. Ramos and C. Caleiro and A. Sernadas", title = "A linear temporal logic approach to objects with transactions", booktitle = "Algebraic Methodology and Software Technology (AMAST'97)", OPTeditor = "Michael Johnson", series = "LNCS", volume = "1349", Optpages = "170--184", year = "1997", coden = "LNCSD9", ISSN = "0302-9743", bibdate = "Tue Apr 28 08:51:33 MDT 1998", acknowledgement = ack-nhfb, PUBLISHER = "Springer", OPTADDRESS = "Berlin", } @InCollection{ehrich:dtl98, author = "H.-D. Ehrich and C. Caleiro and A. Sernadas and G. Denker", title = "{Logics for Specifying Concurrent Information Systems}", OPTeditor = "J. Chomicki and G. Saake", booktitle = "Logics for Databases and Information Systems", publisher = "Kluwer", Optpages = "167--198", year = "1998", } @InProceedings{ESSS94, key = "ESSS94", author = "H.-D. Ehrich and A. Sernadas and G. Saake and C. Sernadas", title = "{Distributed Temporal Logic for Concurrent Object Families}", OPTeditor = "R. Wieringa and R. Feenstra", booktitle = "Working papers of the Int. Workshop on Information Systems - Correctness and Reusability", publisher = "Vrije Universiteit Amsterdam", type = "Rapport", number = "IR-357", Optpages = "22--30", year = "1994", } @book{hartel:diss, author = "Peter Hartel", title = "Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme", publisher = "infix-Verlag", address = "Sankt Augustin", series = "Reihe DISDBIS", year = "1997", } @InProceedings{SerEhr90, author = "A. Sernadas and H-D. Ehrich", title = "What is an object, after all?", booktitle = "DS4, Windermere", year = "1990", month = jul, annote = "algebra - can non-trivial methods be handled?", } @InProceedings{uustalu:merger, author = "Tarmo Uustalu", title = "Combining object-oriented and logic paradigms: A modal logic programming approach", OPTeditor = "O. Lehrmann Madsen", booktitle = "Proceedings 6th European Conf. on Object-Oriented Programming, ECOOP'92", year = "1992", series = "LNCS", volume = "615", Optpages = "98--113", optaddress = "Berlin", publisher = "Springer", } @phdthesis{uustalu:m-thesis, author = "Tarmo Uustalu", title = "Combination of Object-Oriented and Logic Paradigms", school = "Tallinn Technical University", note = "MSc (Eng) thesis", year = "1991", } @incollection{pare-schumacher:indexed-families, author = "R. Par\'{e} and D. Schumacher", title = "Abstract families and the adjoint functor theorems", OPTeditor = "P. T. Johnstone and R. Par\'{e}", booktitle = "Indexed Categories and Their Applications", number = "661", series = "Springer Lect. Notes Math.", Optpages = "1 - 25", publisher = "Springer", year = "1978" } @article{goguen-burstall:institutions, title = {{Institutions: Abstract Model Theory for Specification and Programming}}, author = {J. Goguen and R. Burstall}, journal = {Journal of the Association for Computing Machinery}, volume = {39}, number = {1}, year = {1992} } @techreport{pattinson:cml-report, author = {Dirk Pattinson}, title = {{Coalgebraic Modal Logic: Soundness, Completeness and Decidablility}}, institution = {Institut f\"{u}r Informatik, LMU M\"{u}nchen}, year = {2002} } @Misc{pattinson:nasslli, OPTkey = {}, author = {Dirk Pattinson}, title = {An Introduction to the Theory of Coalgebras}, OPThowpublished = {}, OPTmonth = {}, year = {2003}, note = {{C}ourse Notes for {NASSLLI} 2003}}, OPTannote = {} } %%%%extra.bib: @inproceedings{pavlovic-pratt:reals, author = {Du{\v s}ko Pavlovi{\' c} and Vaughan Pratt}, title = {On coalgebra of real numbers}, booktitle = {Electronic Notes in Theoret.\ Comput.\ Sci.}, volume = {19}, publisher = {Elsevier Science Publishers}, OPTeditor = {B. Jacobs and J. Rutten}, year = {2000} } @TechReport{pattinson:tsi-report, author = {Dirk Pattinson}, title = {Expressive Logics for Coalgebras via Terminal Sequence Induction}, institution = {Institut f\"{u}r Informatik, LMU M\"{u}nchen}, year = {2002} }