MATHEMATICAL MODAL LOGIC: A VIEW OF ITS EVOLUTION

96 Robert Goldblatt[Prior, 1967] Arthur N. Prior. Past, Present and Future. Oxford University Press, 1967.[Quine, 1947] W. V. Quine. The problem of interpreting modal logic. The Journal of SymbolicLogic, 12:43–48, 1947.[Rabin, 1969] Michael O. Rabin. Decidability of second-order theories and automata on infinitetrees. Transactions of the American Mathematical Society, 141:1–35, 1969.[Read, 1998] Stephen Read. Hugh MacColl and the algebra of strict implication. Nordic Journalof Philosophical Logic, 3(1):59–83, 1998. Electronically available at: www.hf.uio.no/filosofi/njpl/vol3no1/index.html.[Reichel, 1995] Horst Reichel. An approach to object semantics based on terminal co-algebras.Mathematical Structures in Computer Science, 5:129–152, 1995.[Rescher and Urquhart, 1971] N. Rescher and A. Urquhart. Temporal Logic. Springer-Verlag,1971.[Reynolds, 2001] M. Reynolds. An axiomatization of full computation tree logic. The Journalof Symbolic Logic, 66(3):1011–1057, 2001.[Rößiger, 1998] Martin Rößiger. From modal logic to terminal coalgebras. Technical ReportMATH-AL-3-1998, Technische Universität Dresden, 1998.[Rößiger, 2000] Martin Rößiger. Coalgebras and modal logic. Electronic Notes in TheoreticalComputer Science, 33, 2000.[Rößiger, 2001] Martin Rößiger. From modal logic to terminal coalgebras. Theoretical ComputerScience, 260:209–228, 2001.[Russell, 1905] Bertrand Russell. Necessity and possibility, 1905. Paper read to the OxfordPhilosophical Society on 22 October 1905. Published in The Collected Papers of BertrandRussell, Volume 4, pages 507–520, Routledge, 1994.[Rutten and Turi, 1993] Jan J.M.M. Rutten and Daniele Turi. On the foundations of finalsemantics: Non-standard sets, metric spaces, partial orders. In J. W. de Bakker, W.-P.de Roever, and G. Rozenberg, editors, Semantics: Foundations and Applications. REX Workshop,volume 666 of Lecture Notes in Computer Science, pages 477–530. Springer Verlag, 1993.[Rutten, 1995] J.J.M.M. Rutten. A calculus of transition systems (towards universal coalgebra).In Alban Ponse, Maarten de Rijke, and Yde Venema, editors, Modal Logic and ProcessAlgebra, CSLI Lecture Notes No. 53, pages 231–256. CSLI Publications, Stanford, CA, 1995.[Rutten, 1996] J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical ReportCS-R9652, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1996.[Rutten, 2000] J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Theoretical ComputerScience, 249(1):3–80, 2000.[Sahlqvist, 1975] Henrik Sahlqvist. Completeness and correspondence in the first and secondorder semantics for modal logic. In S. Kanger, editor, Proceedings of the Third ScandinavianLogic Symposium, pages 110–143. North-Holland, Amsterdam, 1975.[Sambin and Vaccaro, 1989] G. Sambin and V. Vaccaro. A new proof of Sahlqvist’s theorem onmodal definability and completeness. The Journal of Symbolic Logic, 54:992–999, 1989.[Savitch, 1970] W. J. Savitch. Relationships between nondeterministic and deterministic tapecomplexities. Journal of Computer and Systems Sciences, 4:177–192, 1970.[Scott, 1970] Dana Scott. Advice on modal logic. In K. Lambert, editor, Philosophical Problemsin Logic, pages 143–173. Reidel, 1970.[Scroggs, 1951] Schiller Joe Scroggs. Extensions of the Lewis system S5. The Journal of SymbolicLogic, 16:112–120, 1951.[Segerberg, 1968a] Krister Segerberg. Decidability of S4.1. Theoria, 34:7–20, 1968.[Segerberg, 1968b] Krister Segerberg. Propositional logics related to Heyting’s and Johansson’s.Theoria, 34:26–61, 1968.[Segerberg, 1970] Krister Segerberg. Modal logics with linear alternative relations. Theoria,36:301–322, 1970.[Segerberg, 1971] Krister Segerberg. An Essay in Classical Modal Logic, volume 13 of FilosofiskaStudier. Uppsala Universitet, 1971.[Segerberg, 1973] Krister Segerberg. Franzén’s proof of Bull’s theorem. Ajatus, 35:216–221,1973.[Segerberg, 1975] Krister Segerberg. That every extension of S4.3 is normal. In Stig Kanger, editor,Proceedings of the Third Scandinavian Logic Symposium, pages 194–196. North-Holland,Amsterdam, 1975.