


default search action
The Review of Symbolic Logic, Volume 17
Volume 17, Number 1, 2024
- RSL volume 17 issue 1 Cover and Front matter. 1-
- RSL volume 17 issue 1 Cover and Back matter. 1-
- Ignacio Bellas Acosta, Yde Venema:
Counting to infinity: Graded Modal Logic with an infinity Diamond. 1-35 - Mikhail G. Katz
, Karl Kuhlemann
, David Sherry
, Monica Ugaglia
:
Leibniz on Bodies and infinities: RERUM Natura and Mathematical Fictions. 36-66 - Toby Meadows:
What is a Restrictive Theory? 67-105 - Milan Mossé, Duligur Ibeling, Thomas Icard:
Is Causal Reasoning Harder than Probabilistic Reasoning? 106-131 - Alexander R. Pruss:
Necessary and sufficient conditions for domination Results for Proper Scoring Rules. 132-143 - David Fernández-Duque
:
Taming the 'elsewhere': on Expressivity of Topological Languages. 144-153 - Evan Piermont
:
Algebraic Semantics for Relative Truth, Awareness, and possibility. 154-177 - Taishi Kurahashi
, Motoki Okuda:
Disjunction and existence Properties in Modal Arithmetic. 178-205 - Evgeny Kolmakov
:
On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras. 206-243 - Alexander W. Kocurek
:
The Logic of Hyperlogic. Part a: Foundations. 244-271 - Neil Barton
, Kameryn J. Williams:
Varieties of class-Theoretic Potentialism. 272-304
Volume 17, Number 2, 2024
- Oliver Tatton-Brown
:
Plural Ancestral Logic as the Logic of Arithmetic. 305-342 - Kai Frederick Wehmeier
:
On Quantification and Extensionality. 343-365 - Marco Garapa
, Maurício D. Luís Reis:
Generalized Partial Meet and Kernel contractions. 366-394 - Robin Martinot:
Ontological purity for Formal Proofs. 395-434 - Gordon Belot:
Unprincipled. 435-474 - Qian Chen
, Minghui Ma:
Tabularity and Post-Completeness in Tense Logic. 475-492 - Cezary Cieslinski, Leon Horsten
, Hannes Leitgeb:
Axioms for Type-Free subjective Probability. 493-508 - Javier Belastegui
:
Natural kind Semantics for a Classical essentialist Theory of Kinds. 509-545 - Giorgio Venturi
, Matteo Viale:
What Model Companionship can Say about the continuum Problem. 546-585 - Zeynep Soysal
:
An Algorithmic Impossible-Worlds Model of Belief and Knowledge. 586-610 - Grigory K. Olkhovikov
, Guillermo Badia
:
Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic. 611-633
Volume 17, Number 3, 2024
- Charles McCarty:
Anselm's Ontological Argument and Grades of being. 635-653 - Alexander W. Kocurek
:
The Logic of Hyperlogic. Part B: Extensions and Restrictions. 654-681 - Bruno Da Ré
, Damián Enrique Szmuc
, Emmanuel Chemla
, Paul Égré
:
On three-Valued Presentations of Classical Logic. 682-704 - Robert Goldblatt
, Ian M. Hodkinson:
Canonicity in Power and Modal Logics of finite Achronal Width. 705-735 - Edi Pavlovic
, Norbert Gratzl
:
Decidable Fragments of the Quantified Argument Calculus. 736-761 - Guillermo Badia
, Libor Behounek
, Petr Cintula
, Andrew Tedder
:
Relevant Consequence Relations: an Invitation. 762-792 - Nicholas Ferenz:
First-order Relevant Reasoners in Classical Worlds. 793-818 - Toby Meadows:
Beyond Linguistic Interpretation in Theory Comparison. 819-859 - Uwe Petersen:
Is Cantor's Theorem a Dialetheia? Variations on a Paraconsistent Approach to Cantor's Theorem. 860-877 - Davide Fazio, Gavin St. John
:
Connexive Implications in Substructural Logics. 878-909 - Andre Kornell
:
A Natural Deduction System for Orthomodular Logic. 910-949

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.