A Dynamic Semantics of Modal Subordination

  • Norihiro Ogata
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4012)


This paper will propose a dynamic semantics of quantified modal logic based on the theory of System Transition Systems, which are abstract objects modeling “Kripke models of Kripke models” or graph rewriting systems, by exlpoiting the theory of coalgebras in order to treat modal subordination as a Kripke model change, which requires no ad-hoc informal treatment such as accomodation as in [1] or extra-ontology introduced in [2] [3].


Modal Logic Actual World Predicate Logic Variable Assignment Kripke Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Roberts, C.: Modal subordination and pronominal anaphora in discourse. Linguistics and Philosophy 12, 683–721 (1989)CrossRefGoogle Scholar
  2. 2.
    Geurts, B.: Presuppositions and Pronouns. Elsevier Science Ltd., Amsterdam (1999)Google Scholar
  3. 3.
    Frank, A.: On Context Dependence in Modal Constructions. PhD thesis, University of Stuttgart (1997)Google Scholar
  4. 4.
    Karttunen, L.: Discourse referents. In: Syntax and Semantics, pp. 363–385. Academic Press, New York (1977)Google Scholar
  5. 5.
    Ogata, N.: A dynamic semantics of modal subordination. In: Proceedings of the International Workshop of Logic and Engineering of Natural Language Semantics 2005, The Japanese Society of Artificial Intelligence, Tokyo (2005)Google Scholar
  6. 6.
    van Eijck, J., Cepparello, G.: Dynamic modal predicate logic. In: Kanazawa, M., Piñón, C.J. (eds.) Dynamics, Polarity, and Quantification, pp. 251–276. CSLI, Stanford (1994)Google Scholar
  7. 7.
    Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy 14, 39–100 (1991)MATHCrossRefGoogle Scholar
  8. 8.
    Groenendijk, J., Stokhof, M., Veltman, F.: Coreference and modality. In: Lappin (ed.) The Handbook of Contemporary Semantic Theory, pp. 179–213. Cambridge University Press, Cambridge (1996)Google Scholar
  9. 9.
    Asher, N., McCready, E.: Modals and a compositional account of counterfactuals (2005)Google Scholar
  10. 10.
    Roberts, C.: Anaphora in intensional contexts. In: Lappin (ed.) The Handbook of Contemporary Semantic Theory, pp. 215–246. Cambridge University Press, Cambridge (1995)Google Scholar
  11. 11.
    Kadmon, N.: Formal Pragmatics: Semantics, Pragmatics, Presupposition, and Focus. Blackwell Publishers, Malden (2001)Google Scholar
  12. 12.
    Veltman, F.C.: Defaults in update semantics. Journal of Philosophical Logic 8, 73–80 (1996)MathSciNetGoogle Scholar
  13. 13.
    Garson, J.W.: Quantification in modal logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 3, pp. 267–323. Kluwer Academic Publisher, Dordrecht (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Norihiro Ogata
    • 1
  1. 1.Deparment of Language and Information ScienceOsaka UniversityOsakaJapan

Personalised recommendations