An algebraic study of tense logics with linear time

Journal of Symbolic Logic 33 (1):27-38 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270049

Other Versions

reprint Bull, R. A. (1971) "An Algebraic Study of Tense Logics with Linear Time". Journal of Symbolic Logic 36(1):173-173

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

Bull R. A.. An algebraic study of tense logics with linear time. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (1):173.
A. N. Prior. Tense-logic and the continuity of time. English, with Polish and Russian summaries. Studia logica, vol. 13 , pp. 133–151. - R. A. Bull. An algebraic study of Diodorean modal systems. The journal of symbolic logic, vol. 30 , pp. 58–64. - A. N. Prior. Postulates for tense-logic. American philosophical quarterly, vol. 3 , pp. 153–161. [REVIEW]Alan Ross Anderson - 1967 - Journal of Symbolic Logic 32 (2):245-246.
R. A. Bull. An approach to tense logic. Theoria, vol. 36 , pp. 282–300.Nino Cocchiarella - 1974 - Journal of Symbolic Logic 39 (1):173.
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.Tadeusz Litak & Frank Wolter - 2005 - Studia Logica 81 (2):153-165.
On Hamblin's 15 Tense Theorem.Manfred Kudlek - 2010 - Journal of Applied Non-Classical Logics 20 (1):63-80.
Tense logic for discrete future time.Patrick Schindler - 1970 - Journal of Symbolic Logic 35 (1):105-118.
Process-Algebraic Interpretations of Positive Linear and Relevant Logics.Mads Dam - 1992 - LFCS, Department of Computer Science, University of Edinburgh.
Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion.Juan Carlos Sánchez Hernández - 2022 - Studia Logica 110 (3):745-784.
A new correctness criterion for the proof nets of non-commutative multiplicative linear logics.Misao Nagayama & Mitsuhiro Okada - 2001 - Journal of Symbolic Logic 66 (4):1524-1542.

Analytics

Added to PP
2009-01-28

Downloads
46 (#472,545)

6 months
13 (#241,080)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Model theory for tense logics.Dov M. Gabbay - 1975 - Annals of Mathematical Logic 8 (1):185.

View all 13 citations / Add more citations

References found in this work

Postulates for Tense-Logic.A. N. Prior - 1966 - American Philosophical Quarterly 3 (2):153 - 161.

Add more references