A Note On The Modal Calculi 4.2 And 4.3

Mathematical Logic Quarterly 10 (4):53-55 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19640100403

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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 note on the modal calculi S 4.2 and S 4.3.R. A. Bull - 1964 - Mathematical Logic Quarterly 10 (4):53-55.
Review: R. A. Bull, A Note on the Modal Calculi S4.2 and S4.3; R. A. Bull, A Class of Extensions of the Modal System S4 with the Finite Model Property; R. A. Bull, That all Normal Extensions of S4.3 have the Finite Model Property. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
A note on the modal calculi S 4.2 and S 4.3.R. A. Bull - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (4):53-55.
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.
Many‐Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Mathematical Logic Quarterly 34 (4):343-354.
Bull R. A.. Some results for implicational calculi.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306.
Review: R. A. Bull, Some Results for Implicational Calculi. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-306.
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.
Review: R. A. Bull, An Algebraic Study of Tense Logics with Linear Time; R. A. Bull, Note on a Paper in Tense Logic. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (1):173-173.
R. A. Bull. Some results for implicational calculi. The Journal of symbolic logic, vol. 29 no. 1 , pp. 33–39.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-306.

Analytics

Added to PP
2017-02-21

Downloads
9 (#1,269,748)

6 months
9 (#439,104)

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.
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references