Modality and possibility in some intuitionistic modal logics

Notre Dame Journal of Formal Logic 27 (4):533-546 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Modal logics with two kinds of necessity and possibility.Paul Weingartner - 1968 - Notre Dame Journal of Formal Logic 9 (2):97-159.
On some models of modal logics.R. J. Baxter - 1973 - Notre Dame Journal of Formal Logic 14 (1):121-122.
On some modal logics related to the Ł -modal system.Robert L. Wilson - 1976 - Notre Dame Journal of Formal Logic 17 (2):191-206.
Some modal logics based on a three-valued logic.Osamu Morikawa - 1988 - Notre Dame Journal of Formal Logic 30 (1):130-137.
Some remarks on weak modal logics.R. E. Jennings - 1981 - Notre Dame Journal of Formal Logic 22:309-314.
Collapsing Modalities.Lloyd Humberstone - 2009 - Notre Dame Journal of Formal Logic 50 (2):119-132.
Some remarks on (weakly) weak modal logics.R. E. Jennings & P. K. Schotch - 1981 - Notre Dame Journal of Formal Logic 22 (4):309-314.
Some remarks on metaphysics and the modal logics F*F.Robert L. Wilson - 1976 - Notre Dame Journal of Formal Logic 17:349.
Nested Sequents for Intuitionistic Logics.Melvin Fitting - 2014 - Notre Dame Journal of Formal Logic 55 (1):41-61.
Some embedding theorems for modal logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.

Analytics

Added to PP
2010-08-24

Downloads
78 (#736,600)

6 months
9 (#1,255,287)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
Constructive modal logics I.Duminda Wijesekera - 1990 - Annals of Pure and Applied Logic 50 (3):271-301.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references