Skip to main content
SpringerLink
Log in

Is the semantics of branching structures adequate for chronological modal logics?

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Bibliography

  • DowtyD. R., ‘Toward a Semantic Analysis of Verb Aspect and the English ‘Imperfective’ Progressive’, Linguistics and Philosophy 1 (1977), 45–77.

    Google Scholar 

  • McArthur, R. P., Tense Logic, D. Reidel (1976).

  • McKimV. and DavisC., ‘Temporal Modalities and the Future’, Notre Dame Journal of Formal Logic 17 (1976), 233–238.

    Google Scholar 

  • Nishimura, H., ‘On the Completeness of Chronological Logics with Modal Operators’, forthcoming in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik.

  • Nishimura, H., Interval Logics for Branching Time (in preparation).

  • Prior, A. N., Past, Present and Future, Oxford (1967).

  • Rescher, N. and Urquhart, A., Temporal Logic, Springer (1971).

  • ThomasonR. H., ‘Indeterminist Time and Truth-value Gaps, Theoria 36 (1970), 264–281.

    Google Scholar 

  • WoolhouseR. S., ‘Tensed Modalities’, Journal of Philosophical Logic 2 (1973), 393–415.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Kyoto, Kyoto, Japan

    Hirokazu Nishimura

Authors
  1. Hirokazu Nishimura
    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

Nishimura, H. Is the semantics of branching structures adequate for chronological modal logics?. J Philos Logic 8, 469–475 (1979). https://doi.org/10.1007/BF00258443

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00258443

Keywords

Search

Navigation