Self-Reference and Modal Logic
Journal of Symbolic Logic 53 (1):306 (1988)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2274450
My notes
Similar books and articles
Review: C. Smorynski, Self-Reference and Modal Logic. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
Smoryński C.. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp. [REVIEW]George Boolos - 1988 - Journal of Symbolic Logic 53 (1):306-309.
The Unprovability of Consistency: An Essay in Modal Logic.George Boolos - 1979 - Cambridge, England: Cambridge University Press.
Data storage interpretation of labeled modal logic.Sergei Artëmov & Vladimir Krupski - 1996 - Annals of Pure and Applied Logic 78 (1-3):57-71.
Quantified modal logic and self-reference.C. Smoryński - 1987 - Notre Dame Journal of Formal Logic 28 (3):356-370.
Modal Logic and Self-Reference.Albert Visser & Craig Smorynski - 1989 - Journal of Symbolic Logic 54 (4):1479.
Review: Craig Smorynski, Modal Logic and Self-Reference. [REVIEW]Albert Visser - 1989 - Journal of Symbolic Logic 54 (4):1479-1480.
Review: George Boolos, The Unprovability of Consistency. An Essay in Modal Logic. [REVIEW]C. Smorynski - 1981 - Journal of Symbolic Logic 46 (4):871-873.
Paranormal modal logic – Part II: K?, K and Classical Logic and other paranormal modal systems.R. Silvestre - 2013 - Logic and Logical Philosophy 22 (1):89-130.
Representation, reasoning, and relational structures: a hybrid logic manifesto.P. Blackburn - 2000 - Logic Journal of the IGPL 8 (3):339-365.
Analytics
Added to PP
2015-02-05
Downloads
34 (#345,410)
6 months
3 (#224,651)
2015-02-05
Downloads
34 (#345,410)
6 months
3 (#224,651)
Historical graph of downloads
Citations of this work
Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.
From the Knowability Paradox to the existence of proofs.W. Dean & H. Kurokawa - 2010 - Synthese 176 (2):177 - 225.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.