Journal of Symbolic Logic 51 (3):748-754 (1986)
AbstractThis article has no associated abstract. (fix it)
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.
Added to PP
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.