Expressiveness and completeness of an interval tense logic

Notre Dame Journal of Formal Logic 31 (4):529-547 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093635589

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Nominal tense logic.Patrick Blackburn - 1992 - Notre Dame Journal of Formal Logic 34 (1):56-83.
Tense logic and time.Johan van Benthem - 1984 - Notre Dame Journal of Formal Logic 25 (1):1-16.
Three-valued free tense logic.Robert P. McArthur - 1977 - Notre Dame Journal of Formal Logic 18 (1):101-106.
Some considerations in medieval tense logic.Emily Michael - 1979 - Notre Dame Journal of Formal Logic 20 (4):794-800.
The necessity of the past and modal-tense logic incompleteness.Michael J. White - 1984 - Notre Dame Journal of Formal Logic 25 (1):59-71.
The completeness of Stoic propositional logic.Ian Mueller - 1979 - Notre Dame Journal of Formal Logic 20 (1):201-215.
The completeness of combinatory logic with discriminators.John T. Kearns - 1973 - Notre Dame Journal of Formal Logic 14 (3):323-330.
Cresswell M. J.. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 , pp. 186–190.Cresswell M. J.. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 339–345.Cresswell M. J.. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 , pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
An "almost classical" period-based tense logic.Michael J. White - 1988 - Notre Dame Journal of Formal Logic 29 (3):438-453.
Axioms for tense logic. II. Time periods.John P. Burgess - 1982 - Notre Dame Journal of Formal Logic 23 (4):375-383.

Analytics

Added to PP
2010-08-24

Downloads
53 (#427,749)

6 months
16 (#159,027)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - Notre Dame Journal of Formal Logic 37 (2):204-232.

View all 23 citations / Add more citations

References found in this work

No references found.

Add more references