A note on the axiomatizations of certain modal systems

Notre Dame Journal of Formal Logic 8 (1-2):118-120 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093956249

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Remarks about axiomatizations of certain modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (1):71-80.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
Decision procedures for Lewis system S1 and related modal systems.Anjan Shukla - 1970 - Notre Dame Journal of Formal Logic 11 (2):141-180.
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
The existence postulate and non-regular systems of modal logic.Anjan Shukla - 1972 - Notre Dame Journal of Formal Logic 13 (3):369-378.
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Indexed actuality.Yannis Stephanou - 2001 - Journal of Philosophical Logic 30 (4):355-393.
A note on modal systems.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (2):155-157.
Comparing modal sequent systems.Greg Restall - unknown
A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.
Naming worlds in modal and temporal logic.D. M. Gabbay & G. Malod - 2002 - Journal of Logic, Language and Information 11 (1):29-65.
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.

Analytics

Added to PP
2010-08-24

Downloads
27 (#574,515)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Handbook of Logical Thought in India.Sundar Sarukkai & Mihir Chakraborty (eds.) - 2018 - New Delhi, India: Springer.
Logic in India—Editorial Introduction.R. Ramanujam, Rohit Parikh & Hans van Ditmarsch - 2011 - Journal of Philosophical Logic 40 (5):557-561.
Logic in India—Editorial Introduction.Hans Ditmarsch, Rohit Parikh & R. Ramanujam - 2011 - Journal of Philosophical Logic 40 (5):557-561.

Add more citations

References found in this work

No references found.

Add more references