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