An algebraic study of diodorean modal systems

Journal of Symbolic Logic 30 (1):58-64 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270582

Other Versions

No versions found

Links

PhilArchive



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

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

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.
Bull R. A.. An algebraic study of tense logics with linear time. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (1):173.
There are infinitely many diodorean modal functions.D. C. Makinson - 1966 - Journal of Symbolic Logic 31 (3):406-408.
Prior A. N.. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 , pp. 122–127.Bull R. A.. An axiomatization of Prior's modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 211–214.Prior A. N.. Axiomatisations of the modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 215–217. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
F. R. Drake. On McKinsey's syntactical characterizations of systems of modal logic. The journal of symbolic logic, vol. 27 no. 4 , pp. 400–406. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (4):691-692.
An abstract algebraic logic approach to tetravalent modal logics.Josep Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
A Note on the Modal and Temporal Logics for N -Dimensional Spacetime.John F. Phillips - 1998 - Notre Dame Journal of Formal Logic 39 (4):545-553.
R. A. Bull. An approach to tense logic. Theoria, vol. 36 , pp. 282–300.Nino Cocchiarella - 1974 - Journal of Symbolic Logic 39 (1):173.

Analytics

Added to PP
2009-01-28

Downloads
53 (#405,542)

6 months
9 (#461,774)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
Arthur prior.B. Jack Copeland - 2008 - Stanford Encyclopedia of Philosophy.
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.

View all 8 citations / Add more citations

References found in this work

Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.
Tense-logic and the continuity of time.A. N. Prior - 1962 - Studia Logica 13 (1):133 - 151.
Diodorus and modal logic: A correction.A. N. Prior - 1958 - Philosophical Quarterly 8 (32):226-230.
A note on the modal calculi S 4.2 and S 4.3.R. Bull - 1964 - Mathematical Logic Quarterly 10 (4):53-55.

View all 6 references / Add more references