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
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
Volume 17, Number 4, 2024
- Yan Zhang, Ming Xu:
Finite Axiomatizability of Transitive Modal Logics of finite depth and Width with respect to Proper-Successor-Equivalence. 951-964 - Yurii Khomskii, Hrafn Valtýr Oddsson:
Paraconsistent and Paracomplete Zermelo-Fraenkel Set Theory. 965-995 - Carlo Nicolai, Mario Piazza, Matteo Tesi:
Non-contractive Logics, Paradoxes, and multiplicative Quantifiers. 996-1017 - Bram Pel:
'a Remarkable Artifice': Laplace, Poisson and Mathematical purity. 1018-1054 - Guillermo Badia, David Makinson:
First-order Friendliness. 1055-1069 - Thomas Macaulay Ferguson:
Subject-Matter and Intensional operators III: State-Sensitive subject-Matter and Topic Sufficiency. 1070-1096 - Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely:
Testing Definitional Equivalence of Theories via automorphism Groups. 1097-1118 - Bruno Bentzen:
Analyticity and Syntheticity in Type Theory Revisited. 1119-1145 - Eduardo Alejandro Barrio, Camillo Fiore, Federico Matias Pailos:
Meta-Classical non-Classical Logics. 1146-1171 - Bruno Jacinto:
Finitary upper Logicism. 1172-1247 - Stefan Hetzl:
A Simplified Proof of the epsilon theorems. 1248-1263 - Juntao Wang, Hongwei Wu, Pengfei He, Yanhong She:
An Algebraic Proof of Completeness for Monadic fuzzy Predicate Logic Mmtl∀ - erratum. 1264
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-03-28 23:57 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:
