The $\Omega $-system and the Ł-system of modal logic

Notre Dame Journal of Formal Logic 20 (4):915-920 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882814

Links

PhilArchive



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

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 New S4 Classical Modal Logic in Natural Deduction.Maria Da Paz N. Medeiros - 2006 - Journal of Symbolic Logic 71 (3):799 - 809.
The logic of π-algebras.Gary Hardegree - manuscript
A new modal language with the λ operator.Ermanno Bencivenga & Peter W. Woodruff - 1981 - Studia Logica 40 (4):383 - 389.
Defining relevant implication in a propositionally quantified S.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (4):1057-1069.
A modal system properly independent of both the Brouwerian system and $S4$.G. N. Georgacarakos - 1978 - Notre Dame Journal of Formal Logic 19 (1):101-114.
Phonetic possibility and modal logic.Mark Sharlow - 2007
Logic and contingent existence.Peter Loptson - 1980 - History and Philosophy of Logic 1 (1-2):171-185.
A new deduction system for deciding validity in modal logic K.Joanna Golinska-Pilarek, Emilio Munoz Velasco & Angel Mora - 2011 - Logic Journal of the IGPL 19 (2): 425-434.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Generic generalized Rosser fixed points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.

Analytics

Added to PP
2010-08-24

Downloads
45 (#353,414)

6 months
12 (#213,710)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-classical operations hidden in classical logic.Vladimir Sotirov - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):309-324.
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.

Add more citations

References found in this work

No references found.

Add more references