default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 18
Volume 18, Number 1, 2025
- RSL volume 18 issue 1 Cover and Back matter. 1-
- RSL volume 18 issue 1 Cover and Front matter. 1-
- Francesco A. Genco
:
What stands between Grounding Rules and Logical Rules is the Excluded Middle. 1-27 - Aybüke Özgün, A. J. Cotnoir:
Imagination, Mereotopology, and Topic Expansion. 28-51 - Kit Fine:
Compliance and Command III: Conditional Imperatives. 52-98 - Mark J. Schervish, Teddy Seidenfeld, Joseph B. Kadane, Ruobin Gong, Rafael Bassi Stern:
When no Price is Right. 99-141 - Daniele Mundici:
Logics from Ultrafilters. 142-159 - Paul Gorbow:
A Genuinely Untyped Explanation of Common Belief and Knowledge. 160-185 - Michael Rescorla:
Non-Factive Kolmogorov Conditionalization. 186-212 - Juntao Wang, Hongwei Wu, Pengfei He, Yanhong She:
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC $\mathbf {MMTL}\boldsymbol {\forall }$. 213-239 - Nils Kürbis:
Normalisation for Negative Free Logics without and with Definite Descriptions. 240-272 - Stefano Bonzio, Michele Pra Baldi:
On the Structure of Bochvar Algebras. 273-299 - Mohamed Khaled, Gergely Székely:
Conceptual Distance and Algebras of Concepts. 300-315 - Giulio Fellin, Peter Schuster:
Conservation as Translation. 316-348 - Ming Hsiung:
Reference digraphs of non-Self-Referential Paradoxes. 349-366
Volume 18, Number 2, 2025
- Geoffrey Hellman, Stewart Shapiro:
A Classical-Modal Interpretation of smooth Infinitesimal Analysis. 367-397 - Nicholas Ferenz, Thomas Macaulay Ferguson:
$\Gamma $ -admissibility in First-order Relevant Logics: Proof using Normal Models in the Mares-Goldblatt Setting. 398-419 - Mohammad Ardeshir, Rasoul Ramezanian:
The Temporal continuum. 420-438 - Benedict Eastaugh:
Arrow's Theorem, Ultrafilters, and Reverse Mathematics. 439-462 - Tiziano Dalmonte:
Minimal Modal Logics, Constructive Modal Logics and their Relations. 463-504 - Ryo Kashima, Taishi Kurahashi, Sohei Iwata, So Morioka:
Cut-Free Sequent Calculi for the Provability Logic d. 505-526 - Robert Goldblatt:
Strong Completeness of a First-order Temporal Logic for Real Time. 527-544 - Ali Enayat:
Satisfaction Classes with Approximate Disjunctive Correctness. 545-562 - Giuliano Rosella, Sara Ugolini:
The Algebras of Lewis's Counterfactuals: Axiomatizations and Algebraizability. 563-588 - Ivano Ciardelli:
Global supervenience in Inquisitive Modal Logic. 589-615 - Paulo Guilherme Santos:
General Notions of Consistency. 616-635 - Filippo Costantini:
Leibniz's Mereology: a Logical Reconstruction. 636-670
Volume 18, Number 3, 2025
- Douglas Blue:
The Generic Multiverse is not going Away. 671-703 - Cosimo Perini Brogi, Sara Negri, Nicola Olivetti:
Modular Sequent Calculi for interpretability Logics. 704-743 - Marcelo E. Coniglio, Pawel Pawlowski, Daniel Skurt:
Rnmatrices for Modal Logics. 744-774 - Pedro Pinto:
Proof Mining and the Convex Feasibility Problem: the Curious Case of Dykstra's Algorithm. 775-811 - Bokai Yao:
Abstraction Principles and the Size of Reality. 812-825 - Simon Schmitt:
Set-Theoretic Bicontextualism. 826-858 - Heinrich Wansing, Satoru Niki, Sergey Drobyshevich:
Bi-Connexive Logic, Bilateralism, and Negation Inconsistency. 859-899 - Walter Dean, Sam Sanders:
From Real Analysis to the Sorites Paradox via Reverse Mathematics. 900-926 - Tore Fjetland Øgaard:
Models for Official Entailment. 927-948 - Alasdair Urquhart:
Failure of Beth's Theorem in Relevance Logics. 949-962 - Alexander C. Paseau, Felix Weitkämper:
Is there a Countable omega-Universal Logic? 963-970
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-09 23:25 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:
