MATHEMATICAL MODAL LOGIC: A VIEW OF ITS EVOLUTION

94 Robert Goldblatt[̷Lukasiewicz and Tarski, 1930] Jan ̷Lukasiewicz and Alfred Tarski. Untersuchungen über denaussagenkalkül. Comptes Rendus des séances de la Société des Sciences et des Lettres deVarsovie, 23:30–50, 1930. English translation by J. H. Woodger as Investigations into theSentential Calculus in [Tarski, 1956], 38–59.[Lyndon, 1950] Roger C. Lyndon. The representation of relational algebras. Annals of Mathematics,51(3):707–729, 1950.[Mac Lane, 1971] Saunders Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.[MacColl, 1880] Hugh MacColl. Symbolic Reasoning. Mind, 5:54, 1880.[MacColl, 1906] Hugh MacColl. Symbolic Logic and its Applications. Longmans, Green andCo., London, 1906.[Macnab, 1976] D. S. Macnab. An Algebraic Study of Modal Operators on Heyting Algebras,with Applications to Topology and Sheafification. PhD thesis, University of Aberdeen, 1976.[Macnab, 1981] D. S. Macnab. Modal operators on Heyting algebras. Algebra Universalis,12:5–29, 1981.[Makinson, 1966] D. C. Makinson. On some completeness theorems in modal logic. Zeitschriftfür Mathematische Logik und Grundlagen der Mathematik, 12:379–384, 1966.[Makinson, 1969] D. C. Makinson. A normal modal calculus between T and S4 without thefinite model property. The Journal of Symbolic Logic, 34:35–38, 1969.[Makinson, 1970] D. C. Makinson. A generalisation of the concept of relational model for modallogic. Theoria, 36:331–335, 1970.[Makinson, 1971] D. C. Makinson. Some embedding theorems for modal logic. Notre DameJournal of Formal Logic, 12:252–254, 1971.[Maksimova, 1992] L. L. Maksimova. Modal logics and varieties of modal algebras: The Bethproperties, interpolation and amalgamation. Algebra and Logic, 31:90–105, 1992.[Manes, 1976] Ernest G. Manes. Algebraic Theories. Springer-Verlag, 1976.[Marx and Venema, 1997] Maarten Marx and Yde Venema. Multi-Dimensional Modal Logic.Kluwer Academic Publishers, 1997.[Mates, 1986] Benson Mates. The Philosophy of Leibniz. Oxford University Press, 1986.[McKenzie, 1972] Ralph McKenzie. Equational bases and nonmodular lattice varieties. Transactionsof the American Mathematical Society, 174:1–43, 1972.[McKinsey and Tarski, 1944] J. C. C. McKinsey and Alfred Tarski. The algebra of topology.Annals of Mathematics, 45:141–191, 1944.[McKinsey and Tarski, 1946] J. C. C. McKinsey and Alfred Tarski. On closed elements in closurealgebras. Annals of Mathematics, 47:122–162, 1946.[McKinsey and Tarski, 1948] J. C. C. McKinsey and Alfred Tarski. Some theorems about thesentential calculi of Lewis and Heyting. The Journal of Symbolic Logic, 13:1–15, 1948.[McKinsey, 1941] J. C. C. McKinsey. A solution of the decision problem for the Lewis systemsS2 and S4 with an application to topology. The Journal of Symbolic Logic, 6:117–134, 1941.[McKinsey, 1945] J. C. C. McKinsey. On the syntactical construction of systems of modal logic.The Journal of Symbolic Logic, 10:83–94, 1945.[Meredith, 1956] C. A. Meredith. Interpretations of different modal logics in the ‘propertycalculus’. Mimeograph, Department of Philosophy, University of Canterbury, Christchurch,New Zealand, August 1956. Recorded and Expanded by A. N. Prior.[Meyer, 1975] Albert R. Meyer. Weak monadic second order theory of successor is notelementary-recursive. In R. Parikh, editor, Logic Colloquium. Symposium on Logic Heldat Boston, 1972-73, volume 453 of Lecture Notes in Mathematics, pages 132–154. Springer-Verlag, 1975.[Milner et al., 1993] Robin Milner, Joachim Parrow, and David Walker. Modal logics for mobileprocesses. Theoretical Computer Science, 114:149–171, 1993.[Milner, 1971] Robin Milner. An algebraic notion of simulation between programs. In Proceedingsof the Second International Joint Conference on Artificial Intelligence, pages 481–496,1971.[Milner, 1980] Robin Milner. A Calculus of Communicating Systems, volume 92 of LectureNotes in Computer Science. Springer-Verlag, 1980.[Milner, 1983] Robin Milner. Calculi for synchrony and asynchrony. Theoretical ComputerScience, 25:267–310, 1983.[Milner, 1989] Robin Milner. Communication and Concurrency. Prentice-Hall, 1989.