@book(ada90,
 author       = {Ji\v{r}\'i Ad\'amek and Horst Herrlich and George E. Strecker},
 year         = {1990},
 title        = {Abstract and Concrete Categories:\ {T}he Joy of Cats},
 publisher    = {John Wiley and Sons},
)
@inproceedings(ale01,
 author       = {Natasha Alechina and Michael Mendler and Valeria de Paiva and Eike Ritter},
 year         = {2001},
 title        = {Categorical and Kripke Semantics for Constructive {S}4 Modal Logic},
 editor       = {Laurent Fribourg},
 booktitle    = {Computer Science Logic (CSL'01)},
 series       = {LNCS},
 volume       = {2142},
 publisher    = {Springer},
 pages        = {292--307},
 doi          = {10.1007/3-540-44802-0\_21},
)
@book(awo10,
 author       = {Steve Awodey},
 year         = {2010},
 title        = {Category Theory},
 edition      = {second},
 publisher    = {Oxford University Press},
)
@article(awo08,
 author       = {Steve Awodey and Kohei Kishida},
 year         = {2008},
 title        = {Topology and Modality:\ {T}he Topological Interpretation of First-Order Modal Logic},
 journal      = {Review of Symbolic Logic},
 volume       = {1},
 pages        = {146--166},
 doi          = {10.1017/S1755020308080143},
)
@article(bal03,
 author       = {Alexandru Baltag},
 year         = {2003},
 title        = {A Coalgebraic Semantics for Epistemic Programs},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {82},
 pages        = {17--37},
 doi          = {10.1016/S1571-0661(04)80630-3},
)
@article(bal04,
 author       = {Alexandru Baltag and Lawrence Moss},
 year         = {2004},
 title        = {Logics for Epistemic Programs},
 journal      = {Synthese},
 volume       = {139},
 pages        = {165--224},
 doi          = {10.1023/B:SYNT.0000024912.56773.5e},
)
@inproceedings(bal98,
 author       = {Alexandru Baltag and Lawrence Moss and S{\l}awomir Solecki},
 year         = {1998},
 title        = {The Logic of Public Announcements, Common Knowledge and Private Suspicions},
 editor       = {Itzhak Gilboa},
 booktitle    = {Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VII)},
 pages        = {43--56},
 url          = {http://www.tark.org/proceedings/tark\_jul22\_98/p43-baltag.pdf},
)
@book(ben11,
 author       = {Johan van Benthem},
 year         = {2011},
 title        = {Logical Dynamics of Information and Interaction},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511974533},
)
@article(ben06,
 author       = {Johan van Benthem and Jan van Eijck and Barteld Kooi},
 year         = {2006},
 title        = {Logics of Communication and Change},
 journal      = {Information and Computation},
 volume       = {204},
 pages        = {1620--1662},
 doi          = {10.1016/j.ic.2006.04.006},
)
@book(bla01,
 author       = {Patrick Blackburn and Maarten de Rijke and Yde Venema},
 year         = {2001},
 title        = {Modal Logic},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781107050884},
)
@article(car87,
 author       = {Aurelio Carboni and Robert F. C. Walters},
 year         = {1987},
 title        = {Cartesian Bicategories I},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {49},
 pages        = {11--32},
 doi          = {10.1016/0022-4049(87)90121-6},
)
@book(cha97,
 author       = {Alexander Chagrov and Michael Zakharyaschev},
 year         = {1997},
 title        = {Modal Logic},
 publisher    = {Clarendon Press},
)
@article(cir11,
 author       = {Corina C{\^i}rstea and Alexander Kurz and Dirk Pattinson and Lutz Schr{\"o}der and Yde Venema},
 year         = {2011},
 title        = {Modal Logics are Coalgebraic},
 journal      = {The Computer Journal},
 volume       = {54},
 pages        = {31--41},
 doi          = {10.1093/comjnl/bxp004},
)
@inproceedings(cir07,
 author       = {Corina C{\^i}rstea and Mehrnoosh Sadrzadeh},
 year         = {2007},
 title        = {Coalgebraic Epistemic Update Without Change of Model},
 editor       = {Till Mossakowski and Ugo Montanari and Magne Haveraaen},
 booktitle    = {Algebra and Coalgebra in Computer Science (CALCO 2007)},
 series       = {LNCS},
 volume       = {4642},
 publisher    = {Springer},
 pages        = {158--172},
 doi          = {10.1007/978-3-540-73859-6\_11},
)
@incollection(coe11,
 author       = {Bob Coecke and {\'E}ric Oliver Paquette},
 year         = {2011},
 title        = {Categories for the Practising Physicist},
 editor       = {Bob Coecke},
 booktitle    = {New Structures for Physics},
 publisher    = {Springer},
 pages        = {173--286},
 doi          = {10.1007/978-3-642-12821-9\_3},
)
@book(dit08,
 author       = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
 year         = {2008},
 title        = {Dynamic-Epistemic Logic},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@book(fre90,
 author       = {Peter J. Freyd and Andre Scedrov},
 year         = {1990},
 title        = {Categories, Allegories},
 publisher    = {North-Holland},
)
@book(gab09,
 author       = {Dov M. Gabbay and Valentin Shehtman and Dimitrij Skvortsov},
 year         = {2009},
 title        = {Quantification in Nonclassical Logic},
 volume       = {1},
 publisher    = {Elsevier},
)
@article(ghi10,
 author       = {Silvio Ghilardi},
 year         = {2010},
 title        = {Continuity, Freeness, and Filtrations},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {20},
 pages        = {193--217},
 doi          = {10.3166/jancl.20.193-217},
)
@book(har79,
 author       = {David Harel},
 year         = {1979},
 title        = {First-Order Dynamic Logic},
 publisher    = {Springer},
 doi          = {10.1007/3-540-09237-4},
)
@book(har00,
 author       = {David Harel and Dexter Kozen and Jerzy Tiuryn},
 year         = {2000},
 title        = {Dynamic Logic},
 publisher    = {MIT Press},
)
@article(her11,
 author       = {Claudio Hermida},
 year         = {2011},
 title        = {A Categorical Outlook on Relational Modalities and Simulations},
 journal      = {Information and Computation},
 volume       = {209},
 pages        = {1505--1517},
 doi          = {10.1016/j.ic.2010.09.009},
)
@book(jac16,
 author       = {Bart Jacobs},
 year         = {2016},
 title        = {Introduction to Coalgebra:\ {T}owards Mathematics of States and Observation},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9781316823187},
)
@book(joy84,
 author       = {Andr{\'e} Joyal and Myles Tierney},
 year         = {1984},
 title        = {An Extension of the Galois Theory of Grothendieck},
 publisher    = {American Mathematical Society},
)
@article(kar98,
 author       = {Burghard von Karger},
 year         = {1998},
 title        = {Temporal Algebra},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {8},
 pages        = {277--320},
 doi          = {10.1017/S0960129598002540},
)
@article(kis11,
 author       = {Kohei Kishida},
 year         = {2011},
 title        = {Neighborhood-Sheaf Semantics for First-Order Modal Logic},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {278},
 pages        = {129--143},
 doi          = {10.1016/j.entcs.2011.10.011},
)
@inproceedings(kis13,
 author       = {Kohei Kishida},
 year         = {2013},
 title        = {Public Announcements under Sheaves},
 editor       = {Yoichi Motomura and Alastair Butler and Daisuke Bekki},
 booktitle    = {New Frontiers in Artificial Intelligence (JSAI-isAI 2012 Workshops)},
 series       = {LNCS},
 volume       = {7856},
 publisher    = {Springer},
 pages        = {96--108},
 doi          = {10.1007/978-3-642-39931-2_8},
)
@incollection(kis17,
 author       = {Kohei Kishida},
 year         = {forthcoming},
 title        = {Categories and Modalities},
 editor       = {Elaine M. Landry},
 booktitle    = {Categories for the Working Philosopher},
 publisher    = {Oxford University Press},
)
@incollection(koo07,
 author       = {Barteld Kooi},
 year         = {2007},
 title        = {Dynamic Term-Modal Logic},
 booktitle    = {A Meeting of the Minds:\ {P}roceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007},
 publisher    = {College Publications},
 pages        = {173--185},
)
@article(kup11,
 author       = {Clemens Kupke and Dirk Pattinson},
 year         = {2011},
 title        = {Coalgebraic Semantics of Modal Logics:\ {A}n Overview},
 journal      = {Theoretical Computer Science},
 volume       = {412},
 pages        = {5070--5094},
 doi          = {10.1016/j.tcs.2011.04.023},
)
@article(kur13,
 author       = {Alexander Kurz and Alessandra Palmigiano},
 year         = {2013},
 title        = {Epistemic Updates on Algebras},
 journal      = {Logical Methods in Computer Science},
 volume       = {9},
 number       = {4},
 eid          = {17},
 doi          = {10.2168/LMCS-9(4:17)2013},
)
@incollection(lac10,
 author       = {Stephen Lack},
 year         = {2010},
 title        = {A 2-Categories Companion},
 editor       = {John C. Baez and J. Peter May},
 booktitle    = {Towards Higher Categories},
 publisher    = {Springer},
 pages        = {105--191},
 doi          = {10.1007/978-1-4419-1524-5\_4},
)
@article(lam99,
 author       = {Joachim Lambek},
 year         = {1999},
 title        = {Diagram Chasing in Ordered Categories with Involution},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {143},
 pages        = {293--307},
 doi          = {10.1016/S0022-4049(98)00115-7},
)
@article(lew68,
 author       = {David K. Lewis},
 year         = {1968},
 title        = {Counterpart Theory and Quantified Modal Logic},
 journal      = {Journal of Philosophy},
 volume       = {65},
 pages        = {113--26},
 doi          = {10.2307/2024555},
)
@inproceedings(ma11,
 author       = {Minghui Ma},
 year         = {2011},
 title        = {Mathematics of Public Announcements},
 editor       = {Hans van Ditmarsch and J{\'e}r{\^o}me Lang and Shier Ju},
 booktitle    = {Logic, Rationality and Interaction:\ {T}hird International Workhop, LORI 2011},
 publisher    = {Springer},
 pages        = {193--205},
 doi          = {10.1007/978-3-642-24130-7\_14},
)
@book(mac98,
 author       = {Mac Lane, Saunders},
 year         = {1998},
 title        = {Categories for the Working Mathematician},
 edition      = {second},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4757-4721-8},
)
@book(mac92,
 author       = {Mac Lane, Saunders and Ieke Moerdijk},
 year         = {1992},
 title        = {Sheaves in Geometry and Logic:\ {A} First Introduction to Topos Theory},
 publisher    = {Springer-Verlag},
 doi          = {10.1007/978-1-4612-0927-0},
)
@article(mos99,
 author       = {Lawrence S. Moss},
 year         = {1999},
 title        = {Coalgebraic Logic},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {96},
 pages        = {277--317},
 doi          = {10.1016/S0168-0072(98)00042-6},
)
@incollection(pit00,
 author       = {Andrew M. Pitts},
 year         = {2000},
 title        = {Categorical Logic},
 editor       = {Samson Abramsky and Dov M. Gabbay and Thomas S. E. Maibaum},
 booktitle    = {Handbook of Logic in Computer Science, Volume 5:\ {A}lgebraic and Logical Structures},
 publisher    = {Oxford University Press},
 pages        = {39--128},
)
@article(tho75,
 author       = {S. K. Thomason},
 year         = {1975},
 title        = {Categories of Frames for Modal Logic},
 journal      = {Journal of Symbolic Logic},
 volume       = {40},
 pages        = {439--442},
 doi          = {10.2307/2272167},
)