default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 5
Volume 5, Number 1, March 2012
- Kit Fine:
The Pure Logic of Ground. 1-25 - Hannes Leitgeb:
A Probabilistic Semantics for Counterfactuals. Part A. 26-84 - Hannes Leitgeb:
A Probabilistic Semantics for Counterfactuals. Part B. 85-121 - Daniel N. Osherson, Scott Weinstein:
Preference based on Reasons. 122-147 - John Woods:
Cognitive Economics and the Logic of Abduction. 148-161 - James Ladyman, Øystein Linnebo, Richard Pettigrew
:
Identity and Discernibility in Philosophy and Logic. 162-186
Volume 5, Number 2, June 2012
- Aaron J. Cotnoir, Andrew Bacon:
Non-wellfounded Mereology. 187-204 - Jan von Plato, Annika Siders:
Normal Derivability in Classical Natural Deduction. 205-211 - Rajeev Goré, Revantha Ramanayake:
Valentini's Cut-Elimination for Provability Logic resolved. 212-238 - David R. Gilbert, Edwin D. Mares:
Completeness Results for some two-Dimensional Logics of actuality. 239-258 - William Roche:
Transitivity and Intransitivity in evidential Support: some further Results. 259-268 - Zach Weber:
Transfinite Cardinals in Paraconsistent Set Theory. 269-293 - Andrew P. Arana, Paolo Mancosu:
On the Relationship between plane and solid Geometry. 294-353 - David Ripley:
Conservatively Extending Classical Logic with Transparent Truth. 354-378
Volume 5, Number 3, September 2012
- Justin Clarke-Doane:
Introduction. 379
- Stewart Shapiro:
An "I" for an I: singular Terms, uniqueness, and Reference. 380-415 - Joel David Hamkins:
The Set-Theoretic Multiverse. 416-449 - Neil Tennant:
Cut for Core Logic. 450-479 - Haim Gaifman:
On Ontology and Realism in Mathematics. 480-512
Volume 5, Number 4, December 2012
- John Robert Gareth Williams:
Gradational accuracy and nonclassical Semantics. 513-537 - Brian Rogers, Kai Frederick Wehmeier:
Tractarian First-order Logic: Identity and the n-operator. 538-573 - Gerhard Schurz, Paul D. Thorn:
Reward versus Risk in uncertain Inference: theorems and simulations. 574-612 - Georg Schiemer:
Carnap on extremal Axioms, "Completeness of the Models, " and Categoricity. 613-641 - Leon Horsten, Graham E. Leigh, Hannes Leitgeb, Philip D. Welch:
Revision Revisited. 642-664 - Emil Jerábek:
The Ubiquity of conservative Translations. 666-678 - Mohammad Ardeshir, Rasoul Ramezanian:
A solution to the Surprise Exam Paradox in Constructive Mathematics. 679-686 - Richard Pettigrew:
Indispensability Arguments and instrumental Nominalism. 687-709 - Tor Sandqvist:
The Subformula Property in Classical Natural Deduction established constructively. 710-719 - Barteld P. Kooi, Allard M. Tamminga:
Completeness via Correspondence for Extensions of the Logic of Paradox. 720-730
- Guram Bezhanishvili, Nick Bezhanishvili:
Canonical Formulas for Wk4. 731-762
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 2025-12-23 00:32 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:
