References
van Benthem, J., 1991,Language in Action, North-Holland, Amsterdam.
Cole, P., ed., 1978,Syntax and Semantics 9: Pragmatics, Academic Press, New York.
Fernando, T., 1992, “Transition Systems and Dynamic Semantics”, in Pearce and Wagner, eds, 232–251.
Fitting, M., 1983,Proof Methods for Modal and Intuitionistic Logics, Reidel, Dordrecht.
French, Uehling, and Wettstein, eds, 1979,Contemporary Perspectives in the Philosophy of Language, University of Minnesota Press, Minneapolis.
Gabbay, D. and Guenthner, F., eds, 1984,Handbook of Philosophical Logic, Vol. I (Classical Logic), Reidel, Dordrecht.
Gabbay, D. and Guenthner, F., eds, 1984,Handbook of Philosophical Logic, Vol. II (Extensions of Classical Logic), D. Reidel, Dordrecht.
Gargov, G., Passy, S., and Tinchev, T., 1987, “Modal Environment for Boolean Speculations”, in D. Skordev, ed., 253–263.
Groenendijk, J., Janssen, T., and Stokhof, M., eds, 1981,Formal Methods in the Study of Language, Mathematisch Centrum, Amsterdam.
Groenendijk, J. and Stokhof, M., 1991, “Dynamic Predicate Logic”,Linguistics and Philosophy 14, 39–100.
Gyuris, V., Kurucz, Á., Németi, I., and Sain, I., 1992, “Associativity Implies Undecidability in Arrow Logic”, inLogic at Work, Proceedings of the Applied Logic Conference, CCSOM, Amsterdam.
Harel, D., 1984, “Dynamic Logic”, in Gabbay and Guenthner, eds, 497–604.
Heim, I., 1982,The Semantics of Definite and Indefinite Noun Phrases, PhD Thesis, University of Massachussets.
Henkin, L., 1950, “Completeness in the Theory of Types”,Journal of Symbolic Logic 15, 81–91.
Henkin, L., Monk, J., and Tarski, A., 1971,Cylindric Algebras. Part 1, North Holland, Amsterdam.
Henkin, L., Monk, J., and Tarski, A., 1985,Cylindric Algebras. Part 2, North Holland, Amsterdam.
Kamp, H., 1971, “Formal Properties of ‘now’”,Theoria 37, 227–273.
Kamp, H., 1981, “A Theory of Truth and Semantic Representation”, in Groenendijk, Janssen and Stokhof, eds.
Kalman, L. and Polos, L., 1993,Papers from the 2nd Symposium on Logic and Language, Akadémiai Kiadó, Budapest.
Kaplan, D., 1979, “On the Logic of Demonstratives”, in French, Uehling, and Wettstein, eds, 401–412.
Kuhn, S., 1989, “The Domino Relation: Flattening a Two Dimensional Modal Logic,Journal of Philosophical Logic 18, 173–195.
Marx, M., Szabolcs, M., Németi, I., and Sain, I., 1992, “Investigations in Arrow Logic”, inLogic at Work, Proceedings of the Applied Logic Conference, CCSOM, Amsterdam.
Montague, R., 1970, “Universal Grammar”,Theoria 36, 373–398.
Németi, I., 1992, “Decidability of Weakened Versions of First Order Logic”, inLogic at Work, Proceedings of the Applied Logic Conference, CCSOM, Amsterdam.
Pearce, D. and Wagner, G., 1992,Logics in AI. Proceedings of JELIA '92, Springer Verlag, Berlin.
de Rijke, M., 1992a, “A System of Dynamic Modal Logic”, Technical Report CSLI-92-170, Stanford University, to appear inJournal of Philosophical Logic.
de Rijke, M., 1992b, “Meeting Some Neighbours”, ILLC Report LP-92-10, University of Amsterdam, to appear in J. van Eijck and A. Visser, eds,Logic and Information Flow, MIT Press.
Segerberg, K., 1980, “Two Dimensional Modal Logic”,Journal of Philosophical Logic 9, 77–96.
Stalnaker, R., 1978, “Assertion”, in Cole, ed.
Skordev, D., ed., 1987,Mathematical Logic and its Applications, Plenum Press, New York.
Thomason, S., 1972, “Semantic Analysis of Tense Logic”,Journal of Symbolic Logic 37, 150–158.
Veltman, F., 1991, “Defaults in Update Semantics”, to appear inJournal of Philosophical Logic.
Venema, Y., 1991,Many Dimensional Modal Logic, Academisch Proefschrift, Universiteit van Amsterdam.
Venema, Y., 1992, “A Note on the Tense Logic of Dominoes”,Journal of Philosophical Logic 21, 173–182.
Venema, Y., 1994, “A Crash Course in Arrow Logic”, Logic Group Preprint Series No. 107, Department of Philosophy, Utrecht University, to appear in L. Pólós, M. Marx and M. Masuch, eds,Arrow Logic.
Vermeulen, K., 1991, “Merging Without Mystery”, Logic Group Preprint Series No. 70, Department of Philosophy, Utrecht University.
Vermeulen, K., 1992, “Incremental Semantics for Propositional Texts”, inLogic at Work, Proceedings of the Applied Logic Conference, CCSOM, Amsterdam.
Visser, A., 1992a, “Actions Under Presuppositions”, Logic Group Preprint Series No. 70, Department of Philosophy, Utrecht University.
Visser, A., 1992b, “Meanings in Time”, manuscript, Department of Philosophy, Utrecht University.
Zeevat, H., 1991, “A Compositional Version of DRT”,Linguistics and Philosophy 12, 95–131.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Blackburn, P., Venema, Y. Dynamic squares. J Philos Logic 24, 469–523 (1995). https://doi.org/10.1007/BF01052600
Issue Date:
DOI: https://doi.org/10.1007/BF01052600