□ In intuitionistic modal logic1

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1080/00048409712347801

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

My notes

Similar books and articles

John L. Bell, David DeVidi and Graham Solomon, Logical Options: An Introduction to Classical and Alternative Logics.D. Bonevac - 2002 - Philosophy in Review 22 (6):394-398.
Choice Principles in Intuitionistic Set Theory.John L. Bell - 2006 - In David DeVidi & Tim Kenyon, A Logical Approach to Philosophy Essays in Honour of Graham Solomon. Dordrecht, Netherland: Springer Verlag.
The Blackwell Guide to Continental Philosophy.Fiona Jenkins - 2004 - Australasian Journal of Philosophy 82 (2):369-370.
On the impossibility of David Lewis' modal realism.Tim Maudlin - 1996 - Australasian Journal of Philosophy 74 (4):669 – 682.
Assertion Proof and the Axiom of Choice.David DeVidi - 2006 - In David DeVidi & Tim Kenyon, A Logical Approach to Philosophy Essays in Honour of Graham Solomon. Dordrecht, Netherland: Springer Verlag.
Intuitionistic Modal Logics: A Minimal Setting.Philippe Balbiani & Çiğdem Gencer - forthcoming - Studia Logica:1-68.
Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
The Calculus of the Compatibility of Propositions.Ivan Orlov & Werner Stelzner - 2024 - Australasian Journal of Logic 21 (1):20-46.
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman.Michael Rathjen - 2016 - Journal of Symbolic Logic 81 (2):742-754.
From David to Solomon : an African perspective.B. A. Ntreh - 2004 - Journal of Philosophy and Culture 1 (2):62-79.

Analytics

Added to PP
2009-01-28

Downloads
120 (#390,113)

6 months
25 (#388,002)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of David DeVidi
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: Harvard University Press.
The Logic of Provability.George S. 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