Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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 - Ilaria Canavotto, Francesco Berto, Alessandro Giordani:
Voluntary Imagination: a Fine-Grained Analysis. 362-387 - 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
a service of 
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-09-05 01:02 CEST 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:
