


default search action
The Review of Symbolic Logic, Volume 15
Volume 15, Number 1, March 2022
- Joel David Hamkins, Øystein Linnebo:

The Modal Logic of Set-Theoretic Potentialism and the Potentialist Maximality Principles. 1-35 - Johan van Benthem, Krzysztof Mierzewski, Francesca Zaffora Blando:

The Modal Logic of Stepwise removal. 36-63 - Tom F. Sterkenburg, Rianne de Heide

:
On the Truth-convergence of Open-Minded Bayesianism. 64-100 - Fabio Lampert

:
The Logic of sequence Frames. 101-132 - Hans Rott

:
Difference-Making Conditionals and the Relevant Ramsey Test. 133-164 - Zoé Christoff

, Norbert Gratzl, Olivier Roy:
Priority Merge and Intersection Modalities. 165-196 - Eduardo N. Giovannini

, Edward Hermann Haeusler, Abel Lassalle-Casanave, Paulo A. S. Veloso:
De Zolt's postulate: an Abstract Approach. 197-224 - Hartry Field:

The Power of Naive Truth. 225-258 - Rohan French, Patrick Girard, David Ripley

:
Classical counterpossibles. 259-275
Volume 15, Number 2, June 2022
- Hanti Lin:

Modes of convergence to the Truth: Steps toward a Better Epistemology of Induction. 277-310 - Silke Meissner, Martin Otto:

A First-order Framework for Inquisitive Modal Logic. 311-333 - Judit X. Madarász, Mike Stannett

, Gergely Székely:
Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields. 334-361 - Marco Garapa

:
Two Level Credibility-Limited Revisions. 388-408 - Yacin Hamami

:
Mathematical Rigor and Proof. 409-449 - Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang

:
Bisimulations for Knowing How Logics. 450-486 - Guillermo Badia

, Petr Cintula, Petr Hájek, Andrew Tedder
:
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem? 487-504 - Luca Incurvati, Julian J. Schlöder:

Epistemic Multilateral Logic. 505-536 - Franco Parlamento, Flavio Previale:

A note on the Sequent Calculi. 537-551
Volume 15, Number 3, September 2022
- Krzysztof Mierzewski:

Probabilistic stability, AGM Revision operators and Maximum Entropy. 553-590 - Yale Weiss:

Semantics for Pure Theories of Connexive Implication. 591-606 - Frederik Van De Putte, Paul McNamara

:
Neighbourhood Canonicity for Ek, eCK, and Relatives: a Constructive Proof. 607-623 - Francesca Boccuni

, Marco Panza:
Frege's Theory of Real numbers: a Consistent Rendering. 624-667 - Ben Middleton

:
Binary Kripke Semantics for a Strong Logic for Naive Truth. 668-692 - Valery Plisko:

The Nonarithmeticity of the Predicate Logic of strictly Primitive Recursive Realizability. 693-721 - Alexander Meehan, Snow Zhang:

Kolmogorov Conditionalizers can be Dutch Booked (if and only if they are Evidentially uncertain). 722-757 - Eric Raidl

, Andrea Iacona, Vincenzo Crupi:
The Logic of the evidential Conditional. 758-770 - Walter Carnielli, Marcelo E. Coniglio

, David Fuenmayor:
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. 771-806 - Tomasz Steifer

:
A note on the Learning-Theoretic Characterizations of Randomness and convergence. 807-822
Volume 15, Number 4, December 2022
- Dazhu Li

, Yanjing Wang
:
Mereological Bimodal Logics. 823-858 - Thom van Gessel:

Questions in two-dimensional Logic. 859-879 - Anton Freund:

A Mathematical Commitment without Computational strength. 880-906 - Tim Button

, Robert Trueman:
Against Cumulative Type Theory. 907-949 - Nick Bezhanishvili

, Gianluca Grilletti
, Davide Emilio Quadrellaro
:
An Algebraic Approach to Inquisitive and DNA-LOGICS. 950-990 - Melissa Fusco, Alexander W. Kocurek:

A two-dimensional Logic for two Paradoxes of Deontic Modality. 991-1022 - Krzysztof A. Krawczyk

:
Three Model-Theoretic Constructions for generalized Epstein Semantics. 1023-1032 - Paul Kindvall Gorbow, Graham E. Leigh

:
The Copernican Multiverse of Sets. 1033-1069 - Jonathan Wolfgram, Roy T. Cook

:
Strong Homomorphisms, Category Theory, and Semantic Paradox. 1070-1093

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














