default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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
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-11-04 20:31 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:
