Decision Procedures for Lewis System S1 and Related Modal Systems

Journal of Symbolic Logic 37 (4):754-755 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272433

Links

PhilArchive



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

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

Review: Anjan Shukla, Decision Procedures for Lewis System S1 and Related Modal Systems. [REVIEW]R. A. Bull - 1972 - Journal of Symbolic Logic 37 (4):754-755.
Decision procedures for Lewis system S1 and related modal systems.Anjan Shukla - 1970 - Notre Dame Journal of Formal Logic 11 (2):141-180.
Errata: ``Decision procedures for Lewis system $S1$ and related modal systems''.Anjan Shukla - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.
An analysis of empirical testing for modal decision procedures.I. Horrocks, P. Patel-Schneider & R. Sebastiani - 2000 - Logic Journal of the IGPL 8 (3):293-323.
A Deontic Counterpart of Lewis's S1.Kam Sing Leung & R. E. Jennings - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora-Bonilla - 2012 - Logic Journal of the IGPL 20 (4):747-756.
A Deontic Counterpart Of Lewis's S1.R. E. Jennings & Kam Leung - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.
Around provability logic.Leo Esakia - 2010 - Annals of Pure and Applied Logic 161 (2):174-184.
Four simple systems of modal propositional logic.Gerald J. Massey - 1965 - Philosophy of Science 32 (3/4):342-355.
Aspects of Refutation Procedures in the Intuitionistic Logic and Related Modal Systems.Tomasz Skura - 1999
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
Jan Łukasiewicz. A system of modal logic. Actes du Xlème Congrès International de Philosophie, volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Editions E. Nauwelaerts, Louvain 1953, pp. 82–87. - Jan Łukasiewicz. A system of modal logic. The journal of computing systems, vol. 1 no. 3 , pp. 111–149. - Ivo Thomas. Note on a modal system of Łukasiewicz. Dominican studies, vol. 6 , pp. 167–170. - A. N. Prior. The interpretation of two systems of modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 201–208. - Alan Ross Anderson. On the interpretation of a modal system of Łukasiewicz. The journal of computing systems, vol. 1 no. 4 , pp. 209–210. - Jan Łukasiewicz. Arithmetic and modal logic. The journal of computing systems, vol. 1 no. 4 , pp. 213–219. - Jan Łukasiewicz. On a controversial problem of Aristotle's modal syllogistic. Dominican studies, vol. 7 , pp. 114–128. [REVIEW]Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (3):293-296.
Herbrand style proof procedures for modal logic.Marta Cialdea - 1993 - Journal of Applied Non-Classical Logics 3 (2):205-223.
Cut-free sequent and tableau systems for propositional diodorean modal logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,510,250)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal Logics in the Vicinity of S.Brian F. Chellas & Krister Segerberg - 1996 - Notre Dame Journal of Formal Logic 37 (1):1-24.

Add more citations

References found in this work

No references found.

Add more references