Epistemic semantics for classical and intuitionistic logic

Notre Dame Journal of Formal Logic 25 (2):105-116 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093870571

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

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

Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
And negations.Greg Restall - unknown
From Classical to Intuitionistic Probability.Brian Weatherson - 2003 - Notre Dame Journal of Formal Logic 44 (2):111-123.
Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown

Analytics

Added to PP
2010-08-24

Downloads
23 (#699,318)

6 months
6 (#575,766)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A nonmonotonic conditional logic for belief revision.Hans Rott - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Berlin: Springer. pp. 135–181.

Add more citations

References found in this work

No references found.

Add more references