Sign in
Rev. Symb. Log.
2008
2013
2018
2023
2008
2023
Keyphrases
Publications
volume 16, number 1, 2023
Peter Fritz
Operands and Instances.
Rev. Symb. Log.
16 (1) (2023)
Oliver Tatton-Brown
Rigour and Proof ? Corrigendum.
Rev. Symb. Log.
16 (1) (2023)
Nicholas Ferenz
Quantified Modal Relevant Logics.
Rev. Symb. Log.
16 (1) (2023)
Guram Bezhanishvili
,
Luca Carai
Temporal Interpretation of Monadic Intuitionistic Quantifiers.
Rev. Symb. Log.
16 (1) (2023)
Luca Castaldo
,
Johannes Stern
KF, PKF, and Reinhardt?s Program.
Rev. Symb. Log.
16 (1) (2023)
Anna Bellomo
,
Guillaume Massas
Bolzano's Mathematical Infinite.
Rev. Symb. Log.
16 (1) (2023)
Andrea Sereni
,
Maria Paola Sforza Fogliani
,
Luca Zanetti
For Better and for Worse. Abstractionism, Good Company, and Pluralism.
Rev. Symb. Log.
16 (1) (2023)
Gianluca Grilletti
,
Ivano Ciardelli
Games and Cardinalities in Inquisitive First-Order Logic.
Rev. Symb. Log.
16 (1) (2023)
Øystein Linnebo
,
Stewart Shapiro
Predicativism as a Form of Potentialism.
Rev. Symb. Log.
16 (1) (2023)
Adam Prenosil
The Lattice of Super-Belnap Logics.
Rev. Symb. Log.
16 (1) (2023)
Jean Baccelli
,
Rush T. Stewart
Support for Geometric Pooling.
Rev. Symb. Log.
16 (1) (2023)
volume 15, number 1, 2022
Joel David Hamkins
,
Øystein Linnebo
The Modal Logic of Set-Theoretic Potentialism and the Potentialist Maximality Principles.
Rev. Symb. Log.
15 (1) (2022)
Eduardo N. Giovannini
,
Edward Hermann Haeusler
,
Abel Lassalle-Casanave
,
Paulo A. S. Veloso
De Zolt's postulate: an Abstract Approach.
Rev. Symb. Log.
15 (1) (2022)
Hartry Field
The Power of Naive Truth.
Rev. Symb. Log.
15 (1) (2022)
Fabio Lampert
The Logic of sequence Frames.
Rev. Symb. Log.
15 (1) (2022)
Rohan French
,
Patrick Girard
,
David Ripley
Classical counterpossibles.
Rev. Symb. Log.
15 (1) (2022)
Tom F. Sterkenburg
,
Rianne de Heide
On the Truth-convergence of Open-Minded Bayesianism.
Rev. Symb. Log.
15 (1) (2022)
Hans Rott
Difference-Making Conditionals and the Relevant Ramsey Test.
Rev. Symb. Log.
15 (1) (2022)
Zoé Christoff
,
Norbert Gratzl
,
Olivier Roy
Priority Merge and Intersection Modalities.
Rev. Symb. Log.
15 (1) (2022)
Johan van Benthem
,
Krzysztof Mierzewski
,
Francesca Zaffora Blando
The Modal Logic of Stepwise removal.
Rev. Symb. Log.
15 (1) (2022)
volume 15, number 2, 2022
Silke Meissner
,
Martin Otto
A First-order Framework for Inquisitive Modal Logic.
Rev. Symb. Log.
15 (2) (2022)
Yacin Hamami
Mathematical Rigor and Proof.
Rev. Symb. Log.
15 (2) (2022)
Marco Garapa
Two Level Credibility-Limited Revisions.
Rev. Symb. Log.
15 (2) (2022)
Guillermo Badia
,
Petr Cintula
,
Petr Hájek
,
Andrew Tedder
How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?
Rev. Symb. Log.
15 (2) (2022)
Hanti Lin
Modes of convergence to the Truth: Steps toward a Better Epistemology of Induction.
Rev. Symb. Log.
15 (2) (2022)
Luca Incurvati
,
Julian J. Schlöder
Epistemic Multilateral Logic.
Rev. Symb. Log.
15 (2) (2022)
Franco Parlamento
,
Flavio Previale
A note on the Sequent Calculi.
Rev. Symb. Log.
15 (2) (2022)
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.
Rev. Symb. Log.
15 (2) (2022)
Raul Fervari
,
Fernando R. Velázquez-Quesada
,
Yanjing Wang
Bisimulations for Knowing How Logics.
Rev. Symb. Log.
15 (2) (2022)
Ilaria Canavotto
,
Francesco Berto
,
Alessandro Giordani
Voluntary Imagination: a Fine-Grained Analysis.
Rev. Symb. Log.
15 (2) (2022)
volume 15, number 3, 2022
Ben Middleton
Binary Kripke Semantics for a Strong Logic for Naive Truth.
Rev. Symb. Log.
15 (3) (2022)
Valery Plisko
The Nonarithmeticity of the Predicate Logic of strictly Primitive Recursive Realizability.
Rev. Symb. Log.
15 (3) (2022)
Francesca Boccuni
,
Marco Panza
Frege's Theory of Real numbers: a Consistent Rendering.
Rev. Symb. Log.
15 (3) (2022)
Tomasz Steifer
A note on the Learning-Theoretic Characterizations of Randomness and convergence.
Rev. Symb. Log.
15 (3) (2022)
Walter Carnielli
,
Marcelo E. Coniglio
,
David Fuenmayor
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account.
Rev. Symb. Log.
15 (3) (2022)
Eric Raidl
,
Andrea Iacona
,
Vincenzo Crupi
The Logic of the evidential Conditional.
Rev. Symb. Log.
15 (3) (2022)
Yale Weiss
Semantics for Pure Theories of Connexive Implication.
Rev. Symb. Log.
15 (3) (2022)
Frederik Van De Putte
,
Paul McNamara
Neighbourhood Canonicity for Ek, eCK, and Relatives: a Constructive Proof.
Rev. Symb. Log.
15 (3) (2022)
Krzysztof Mierzewski
Probabilistic stability, AGM Revision operators and Maximum Entropy.
Rev. Symb. Log.
15 (3) (2022)
Alexander Meehan
,
Snow Zhang
Kolmogorov Conditionalizers can be Dutch Booked (if and only if they are Evidentially uncertain).
Rev. Symb. Log.
15 (3) (2022)
volume 15, number 4, 2022
Krzysztof A. Krawczyk
Three Model-Theoretic Constructions for generalized Epstein Semantics.
Rev. Symb. Log.
15 (4) (2022)
Nick Bezhanishvili
,
Gianluca Grilletti
,
Davide Emilio Quadrellaro
An Algebraic Approach to Inquisitive and DNA-LOGICS.
Rev. Symb. Log.
15 (4) (2022)
Melissa Fusco
,
Alexander W. Kocurek
A two-dimensional Logic for two Paradoxes of Deontic Modality.
Rev. Symb. Log.
15 (4) (2022)
Tim Button
,
Robert Trueman
Against Cumulative Type Theory.
Rev. Symb. Log.
15 (4) (2022)
Thom van Gessel
Questions in two-dimensional Logic.
Rev. Symb. Log.
15 (4) (2022)
Anton Freund
A Mathematical Commitment without Computational strength.
Rev. Symb. Log.
15 (4) (2022)
Jonathan Wolfgram
,
Roy T. Cook
Strong Homomorphisms, Category Theory, and Semantic Paradox.
Rev. Symb. Log.
15 (4) (2022)
Dazhu Li
,
Yanjing Wang
Mereological Bimodal Logics.
Rev. Symb. Log.
15 (4) (2022)
Paul Kindvall Gorbow
,
Graham E. Leigh
The Copernican Multiverse of Sets.
Rev. Symb. Log.
15 (4) (2022)
volume 14, number 4, 2021
Yacin Hamami
,
Rebecca Lea Morris
Plans and Planning in Mathematical Proofs.
Rev. Symb. Log.
14 (4) (2021)