Skip to main content
Springer Nature Link
Log in

An Update on “Might”

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

This paper is on the update semantics for “might” of Veltman (1996). Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Benthem, J. van, 1991a, "General dynamics," Theoretical Linguistics 17, 159–201.

    Google Scholar 

  • Benthem, J. van, 1991b, Language in Action, Amsterdam: North-Holland.

    Google Scholar 

  • Benthem, J. van, 1993, "Logic and the flow of information," pp. 693–724 in Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science, Uppsala 1991, D. Prawitz, B. Skyrms, and D. Westerståhl, eds., Amsterdam: North-Holland.

    Google Scholar 

  • Does, J.M. van der, 1995, "Cut mightcautiously," Bulletin of the IGPL 3(2/3), 191–202.

    Google Scholar 

  • Eijck, J. van and Vries, F.J. de, 1995, "Reasoning about update logic," Journal of Philosophical Logic 24, 19–45.

    Google Scholar 

  • Groenendijk, J. and Stokhof, M., 1991. "Dynamic predicate logic," Linguistics and Philosophy 14, 39–100.

    Google Scholar 

  • Groeneveld, W., 1995, "Logical investigations into dynamic semantics," Dissertation, ILLC, Department of Philosophy, University of Amsterdam.

  • Groeneveld, W. and Veltman, F., 1994, "Inference systems for update semantics," in Integrating Semantic Theories II, R. Cooper and J. Groenendijk, eds., DYANA report R2.1B, Amsterdam.

  • Kanazawa, M., 1994a, "Completeness and decidability of the mixed style of inference with composition," pp. 377–390 in Proceedings of the Ninth Amsterdam Colloquium, P. Dekker and M. Stokhof, eds., ILLC, University of Amsterdam.

  • Kanazawa, M., 1994b, "Comments on 'Inference systems for update semantics' ; by Willem Groeneveld and Frank Veltman," in Integrating Semantic Theories II, R. Cooper and J. Groenendijk, eds., DYANA report R2.1B, Amsterdam.

  • Veltman, F., 1996, "Defaults in update semantics," Journal of Philosophical Logic 25, 221–261.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ILLC, WINS, University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, the Netherlands

    Jaap van der Does

  2. ILLC, Department of Philosophy, University of Amsterdam, Nieuwe Doelenstraat 15, 1012 TC, Amsterdam, the Netherlands

    Willem Groeneveld & Frank Veltman

Authors
  1. Jaap van der Does
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Willem Groeneveld
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Frank Veltman
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

van der Does, J., Groeneveld, W. & Veltman, F. An Update on “Might”. Journal of Logic, Language and Information 6, 361–380 (1997). https://doi.org/10.1023/A:1008219821036

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008219821036

Search

Navigation