Skip to main content
SpringerLink
Log in

Dynamic Contextual Intensional Logic: Logical Foundations and an Application

  • Conference paper
  • First Online:
Modeling and Using Context (CONTEXT 2003)

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

Abstract

This paper develops further aspects of Contextual Intensional Logic, a type-theoretic logic intended as a general foundation for reasoning about context. I motivate and formulate the dynamic version of the logic, prove some results about it, and show how it can be used to specify inter-contextual reasoning.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Thomason, R.H.: Contextual intensional logic: Type-theoretic and dynamic considerations. In Bouquet, P., Serafini, L., eds.: Perspectives on context. CSLI Publications, Stanford, California (2003)

    Google Scholar 

  2. Lewis, D.K.: Scorekeeping in a language game. Journal of Philosophical Logic 8 (1979) 339–359

    Article  Google Scholar 

  3. van Benthem, J.: Exploring Logical Dynamics. CSLI Publications, Stanford, California (1996)

    MATH  Google Scholar 

  4. Groenendijk, J., Stokhof, M.: Dynamic Montague grammar. Technical Report LP-90-02, Institute for Language, Logic and Information, University of Amsterdam, Faculty of Mathematics and Computer Science, Roeterssraat 15, 1018WB Amsterdam, Holland (1990)

    Google Scholar 

  5. Montague, R.: Pragmatics and intensional logic. Synthese 22 (1970) 68–94 Reprinted in Formal Philosophy, by Richard Montague, Yale University Press, New Haven, CT, 1974, pp. 119–147.

    Article  MATH  Google Scholar 

  6. Church, A.: A formulation of the simple theory of types. Journal of Symbolic Logic 5 (1940) 56–68

    Article  MATH  MathSciNet  Google Scholar 

  7. Henkin, L.: Completeness in the theory of types. Journal of Symbolic logic 15 (1950) 81–91

    Article  MATH  MathSciNet  Google Scholar 

  8. McCarthy, J., Buvač, S.: Formalizing context (expanded notes). In Aliseda, A., van Glabbeek, R., Westerståhl, D., eds.: Computing Natural Language. CSLI Publications, Stanford, California (1998) 13–50

    Google Scholar 

  9. Harel, D.: Dynamic logic. In Gabbay, D., Guenther, F., eds.: Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic. Volume 2. D. Reidel Publishing Co., Dordrecht (1984) 497–604

    Google Scholar 

  10. Gallin, D.: Intensional and Higher-Order Logic. North-Holland Publishing Company, Amsterdam (1975)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philosophy Department, University of Michigan, Ann Arbor, MI, 48109-2110, USA

    Richmond H. Thomason

Authors
  1. Richmond H. Thomason
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INRIA Lorraine, 615, rue du Jardin Botanique, 54602, Villers les Nancy Cedex, France

    Patrick Blackburn

  2. Department of Computer Science, University of Liverpool, Chadwick Building, Peach Street, Liverpool, L69 7ZF, UK

    Chiara Ghidini

  3. Department of Computer Science, University of Maine, 5752 Neville Hall, Orono, ME, 04469-5752, USA

    Roy M. Turner

  4. Department of Information and Communication Technology, University of Trento, 38050, Povo, Trento, Italy

    Fausto Giunchiglia

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thomason, R.H. (2003). Dynamic Contextual Intensional Logic: Logical Foundations and an Application. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds) Modeling and Using Context. CONTEXT 2003. Lecture Notes in Computer Science(), vol 2680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44958-2_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-44958-2_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40380-7

  • Online ISBN: 978-3-540-44958-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation