@article(Berwanger:GL-parity, author = {D. Berwanger}, year = {2003}, title = {{Game Logic} is strong enough for parity games}, journal = {Studia Logica}, volume = {75(2)}, pages = {205--219}, doi = {10.1023/A:1027358927272}, ) @book(Chellas, author = {B. F. Chellas}, year = {1980}, title = {Modal Logic - An Introduction}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511621192}, ) @inproceedings(Cirstea:fossacs14, author = {C{\^{\i}}rstea, C.}, year = {2014}, title = {A Coalgebraic Approach to Linear-Time Logics}, editor = {A. Muscholl}, booktitle = {Foundations of Software Science and Computation Structures - 17th International Conference, {FOSSACS} 2014, Proceedings}, series = {LNCS}, volume = {8412}, publisher = {Springer}, pages = {426--440}, doi = {10.1007/978-3-642-54830-7\_28}, ) @article(Fischer-Ladner:PDL-Reg, author = {M. J. Fischer and R. F. Ladner}, year = {1979}, title = {Propositional dynamic logic of regular programs}, journal = {J. of Computer and System Sciences}, volume = {18}, pages = {194--211}, doi = {10.1016/0022-0000(79)90046-1}, ) @inproceedings(Gumm05:filter-coalg, author = {H. Peter Gumm}, year = {2005}, title = {From \emph{T}-Coalgebras to Filter Structures and Transition Systems}, booktitle = {Algebra and Coalgebra in Computer Science: First International Conference, {CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings}, series = {LNCS}, volume = {3629}, publisher = {Springer}, pages = {194--212}, doi = {10.1007/11548133\_13}, ) @techreport(HKL:cpdl-report, author = {H.H. Hansen and C. Kupke and R.A. Leal}, year = {2014}, title = {Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics}, type = {Technical Report}, institution = {ICIS, Radboud University Nijmegen}, url = {https://pms.cs.ru.nl/iris-diglib/src/icis_tech_reports.php}, note = {See also updated version at \url{http://homepage.tudelft.nl/c9d1n/papers/cpdl-techrep.pdf}}, ) @inproceedings(HKL:CPDL-TCS-2014, author = {H.H. Hansen and C. Kupke and R.A. Leal}, year = {2014}, title = {Strong completeness of iteration-free coalgebraic dynamic logics}, editor = {J. Diaz and I. Lanese and D. Sangiorgi}, booktitle = {Theoretical Computer Science (TCS 2014). 8th IFIP TC 1/WG 2.2 International Conference}, series = {LNCS}, volume = {8705}, publisher = {Springer}, pages = {281--295}, doi = {10.1007/978-3-662-44602-7\_22}, ) @inproceedings(Jacobs15:recipe, author = {B. Jacobs}, year = {2015}, title = {A recipe for state-and-effect triangles}, booktitle = {Algebra and Coalgebra in Computer Science: Sixth International Conference (CALCO 2015), Proceedings}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, doi = {10.4230/LIPIcs.CALCO.2015.113}, ) @article(Jacobs-CMCS-2014, author = {Bart Jacobs}, year = {2015}, title = {Dijkstra and Hoare monads in monadic computation}, journal = {Theoretical Computer Science}, doi = {10.1016/j.tcs.2015.03.020}, note = {Article in Press}, ) @article(Kozen:mu, author = {D. Kozen}, year = {1983}, title = {Results on the propositional mu-calculus}, journal = {Theoretical Computer Science}, volume = {27}, pages = {333--354}, doi = {10.1016/0304-3975(82)90125-6}, ) @article(KozenParikh81:PDL, author = {D. Kozen and R. Parikh}, year = {1981}, title = {An elementary proof of the completeness of {PDL}}, journal = {Theoretical Computer Science}, volume = {14}, pages = {113--118}, doi = {10.1016/0304-3975(81)90019-0}, ) @article(KupkePatt:CML-survey, author = {C. Kupke and D. Pattinson}, year = {2011}, title = {Coalgebraic semantics of modal logics: an overview}, journal = {Theoretical Computer Science}, volume = {412(38)}, pages = {5070--5094}, doi = {10.1016/j.tcs.2011.04.023}, ) @book(MacLane, author = {S. MacLane}, year = {1998}, title = {Categories for the Working Mathematician}, edition = {2nd}, publisher = {Springer}, ) @incollection(Parikh85, author = {R. Parikh}, year = {1985}, title = {The logic of games and its applications}, booktitle = {Topics in the Theory of Computation}, series = {Annals of Discrete Mathematics}, volume = {14}, publisher = {Elsevier}, doi = {10.1016/S0304-0208(08)73078-0}, ) @article(PaulyParikh:GL-overview, author = {M. Pauly and R. Parikh}, year = {2003}, title = {{Game Logic}: An Overview}, journal = {Studia Logica}, volume = {75(2)}, pages = {165--182}, doi = {10.1023/A:1027354826364}, ) @article(rutten:uc-j, author = {J. J. M. M. Rutten}, year = {2000}, title = {Universal Coalgebra: {A} Theory of Systems}, journal = {Theoretical Computer Science}, volume = {249}, pages = {3--80}, doi = {10.1016/S0304-3975(00)00056-6}, ) @inproceedings(SchroPatt:StrongC, author = {L. Schr\"{o}der and D. Pattinson}, year = {2009}, title = {Strong completeness of coalgebraic modal logics}, booktitle = {Proceedings of STACS 2009}, pages = {673--684}, doi = {10.4230/LIPIcs.STACS.2009.1855}, ) @article(Schr07, author = {Lutz Schr{\"{o}}der}, year = {2007}, title = {A finite model construction for coalgebraic modal logic}, journal = {J. Log. Algebr. Program.}, volume = {73}, number = {1-2}, pages = {97--110}, doi = {10.1016/j.jlap.2006.11.004}, ) @article(Walukiewicz00, author = {I. Walukiewicz}, year = {2000}, title = {Completeness of {K}ozen's {A}xiomatisation of the {P}ropositional {\relax$\mathrm{\mu}\relax\GenericError { }{LaTeX Error: Bad math environment delimiter}{See the LaTeX manual or LaTeX Companion for explanation.}{Your command was ignored.\MessageBreak Type I to replace it with another command,\MessageBreak or to continue without it.}}-Calculus}, journal = {Inf. Comput.}, volume = {157}, number = {1-2}, pages = {142--182}, doi = {10.1006/inco.1999.2836}, ) @incollection(Wyler81, author = {O. Wyler}, year = {1981}, title = {Algebraic theories of continuous lattices}, editor = {B. Banaschewski and R.-E. Hoffman}, booktitle = {Continuous Lattices}, series = {Lect. Notes Math.}, volume = {871}, publisher = {Springer}, address = {Berlin}, pages = {187--201}, doi = {10.1007/978-3-642-61598-6\_11}, )