default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 8
Volume 8, Number 1, March 2015
- Cian Dorr:
How Vagueness Could Cut out at any order. 1-10 - Harvey Lederman
:
People with Common Priors can agree to Disagree. 11-45 - Casper Storm Hansen:
Supervaluation on Trees for Kripke's Theory of Truth. 46-74 - Jie Fan, Yanjing Wang, Hans van Ditmarsch:
Contingency and Knowing Whether. 75-107 - Elizabeth Howarth, Jeff B. Paris:
The Theory of spectrum Exchangeability. 108-130 - Andrew Bacon:
Stalnaker's Thesis in Context. 131-163 - Xavier Parent:
Completeness of Åqvist's Systems E and F. 164-177 - Guram Bezhanishvili, David Gabelaia, Joel Lucero-Bryan:
Modal Logics of Metric Spaces. 178-191 - Benedikt Löwe, Sourav Tarafder:
Generalized Algebra-Valued Models of Set Theory. 192-205
Volume 8, Number 2, June 2015
- Toby Meadows:
Infinitary Tableau for Semantic Truth. 207-235 - Neil Tennant:
Cut for Classical Core Logic. 236-256 - Martin Fischer, Volker Halbach, Jönne Kriener, Johannes Stern:
Axiomatizing Semantic Theories of Truth? 257-278 - Hitoshi Omori:
Remarks on Naive Set Theory based on LP. 279-295 - Nissim Francez:
On the Notion of Canonical Derivations from Open Assumptions and its Role in Proof-Theoretic Semantics. 296-305 - Michael Ernst:
The Prospects of Unlimited Category Theory: Doing What Remains to be Done. 306-327 - Gabriel Uzquiano:
A Neglected Resolution of Russell's Paradox of Propositions. 328-344 - Martin Fischer, Leon Horsten:
The Expressive Power of Truth. 345-369 - Paolo Mancosu:
In Good Company? On Hume's Principle and the Assignment of numbers to Infinite Concepts. 370-410
Volume 8, Number 3, September 2015
- Luca Tranchini:
Harmonising Harmony. 411-423 - Richard G. Heck:
Consistency and the Theory of Truth. 424-466 - Shawn Standefer:
Solovay-Type theorems for circular Definitions. 467-487 - Andreas Fjellstad:
How a Semantics for Tonk Should be. 488-505 - Rohan French, David Ripley:
Contractions of noncontractive Consequence Relations. 506-528 - Andrew Tedder:
Axioms for Finite collapse Models of Arithmetic. 529-539 - Stewart Shapiro, Øystein Linnebo:
Frege Meets Brouwer (or Heyting or Dummett). 540-552 - David Ripley:
Naive Set Theory and Nontransitive Logic. 553-571 - Sean Walsh, Sean Ebels-Duggan:
Relative Categoricity and Abstraction Principles. 572-606 - Mikhail G. Katz, Semen S. Kutateladze:
Edward Nelson (1932-2014). 607-610
Volume 8, Number 4, December 2015
- Simon M. Huttegger:
Merging of Opinions and Probability kinematics. 611-648 - Stephen Read:
Semantic Pollution and Syntactic purity. 649-661 - Enrico Moriconi:
Early Structural Reasoning. Gentzen 1932. 662-679 - Catrin Campbell-Moore:
How to Express Self-Referential Probability. A Kripkean Proposal. 680-704 - Shay Allen Logan:
Abstractionist Categories of Categories. 705-721 - Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen:
Quantum Team Logic and Bell's inequalities. 722-742 - Neil Tennant:
The Relevance of Premises to Conclusions of Core Proofs. 743-784 - William Roche:
Evidential Support, Transitivity, and Screening-off. 785-806 - Albert J. J. Anglberger, Norbert Gratzl, Olivier Roy:
Obligation, Free Choice, and the Logic of Weakest Permissions. 807-827
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 19:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
