Liberated Brouwerian Modal Logic

Dialogue 13 (3):505-514 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0012217300027797

Links

PhilArchive



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

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

Note on a strong liberated modal logic and its relevance to possible world skepticism.Charles G. Morgan - 1979 - Notre Dame Journal of Formal Logic 20 (4):718-722.
Weak liberated versions of T and S.Charles G. Morgan - 1975 - Journal of Symbolic Logic 40 (1):25-30.
Binomial pairs, semi-Brouwerian and Brouwerian semilattices.Jürgen Schmidt - 1978 - Notre Dame Journal of Formal Logic 19 (3):421-434.
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.
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.
What one may come to know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.
Phonetic possibility and modal logic.Mark Sharlow - 2007
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.

Analytics

Added to PP
2010-09-25

Downloads
39 (#388,687)

6 months
6 (#431,022)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Charles Morgan
University of Pennsylvania

Citations of this work

Add more citations

References found in this work

An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
Weak liberated versions of T and S.Charles G. Morgan - 1975 - Journal of Symbolic Logic 40 (1):25-30.
A liberated version of S5.Karel Lambert, Hugues Leblanc & Robert Meyer - 1969 - Archive for Mathematical Logic 12 (3-4):151-154.
Liberated versions ofT, S4, andS5.Charles G. Morgan - 1975 - Archive for Mathematical Logic 17 (3-4):85-90.

View all 6 references / Add more references