□ In intuitionistic modal logic1

&
Australasian Journal of Philosophy 75 (2):201 – 213 (1997)
  Copy   BIBTEX

Abstract

This Article does not have an abstract

Categories

Keywords

Reprint years

DOI

10.1080/00048409712347801

Links

PhilArchive



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

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

Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
An application of Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1985 - Studia Logica 44 (1):79 - 85.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
And negations.Greg Restall - unknown
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.

Analytics

Added to PP
2009-01-28

Downloads
36 (#441,732)

6 months
4 (#778,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David DeVidi
University of Waterloo

Citations of this work

Add more citations

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
On intuitionistic modal epistemic logic.Timothy Williamson - 1992 - Journal of Philosophical Logic 21 (1):63--89.

View all 8 references / Add more references