![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
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
![](https://dblp.org/img/cog.dark.24x24.png)
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.