Some properties of epistemic set theory with collection
Journal of Symbolic Logic 51 (3):748-754 (1986)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2274028
My notes
Similar books and articles
Epistemic set theory is a conservative extension of intuitionistic set theory.R. C. Flagg - 1985 - Journal of Symbolic Logic 50 (4):895-902.
Causal reference and epistemic justification.Jane Duran - 1988 - Philosophy of Science 55 (2):272-279.
Issues in commonsense set theory.Mujdat Pakkan & Varol Akman - 1995 - Artificial Intelligence Review 8:279-308.
A proof-theoretic characterization of the primitive recursive set functions.Michael Rathjen - 1992 - Journal of Symbolic Logic 57 (3):954-969.
Uncertainty, credal sets and second order probability.Jonas Clausen Mork - 2013 - Synthese 190 (3):353-378.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.
Analytics
Added to PP
2009-01-28
Downloads
7 (#1,045,815)
6 months
1 (#454,876)
2009-01-28
Downloads
7 (#1,045,815)
6 months
1 (#454,876)
Historical graph of downloads
Citations of this work
Realizability semantics for quantified modal logic: Generalizing flagg’s 1985 construction.Benjamin G. Rin & Sean Walsh - 2016 - Review of Symbolic Logic 9 (4):752-809.
References found in this work
The papers in this Special Issue were invited from papers presented at the 1992 IEEE Symposium on Logic in Computer Science. All of the invited papers have been refereed in the usual manner; in most cases, they are substantially revised and expanded. I thank the authors and the referees for their effort. [REVIEW]Andre Scedrov - 1994 - Annals of Pure and Applied Logic 69:133.