Skip to main content

A Dynamic Semantics of Modal Subordination

  • Conference paper
  • First Online:
New Frontiers in Artificial Intelligence (JSAI 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4012))

Included in the following conference series:

Abstract

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].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Roberts, C.: Modal subordination and pronominal anaphora in discourse. Linguistics and Philosophy 12, 683–721 (1989)

    Article  Google Scholar 

  2. Geurts, B.: Presuppositions and Pronouns. Elsevier Science Ltd., Amsterdam (1999)

    Google Scholar 

  3. Frank, A.: On Context Dependence in Modal Constructions. PhD thesis, University of Stuttgart (1997)

    Google Scholar 

  4. Karttunen, L.: Discourse referents. In: Syntax and Semantics, pp. 363–385. Academic Press, New York (1977)

    MATH  Google Scholar 

  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. 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. Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy 14, 39–100 (1991)

    Article  Google Scholar 

  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. Asher, N., McCready, E.: Modals and a compositional account of counterfactuals (2005)

    Google Scholar 

  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. Kadmon, N.: Formal Pragmatics: Semantics, Pragmatics, Presupposition, and Focus. Blackwell Publishers, Malden (2001)

    Google Scholar 

  12. Veltman, F.C.: Defaults in update semantics. Journal of Philosophical Logic 8, 73–80 (1996)

    MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ogata, N. (2006). A Dynamic Semantics of Modal Subordination. In: Washio, T., Sakurai, A., Nakajima, K., Takeda, H., Tojo, S., Yokoo, M. (eds) New Frontiers in Artificial Intelligence. JSAI 2005. Lecture Notes in Computer Science(), vol 4012. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780496_18

Download citation

  • DOI: https://doi.org/10.1007/11780496_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35470-3

  • Online ISBN: 978-3-540-35471-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics