Rev. Symb. Log.

Keyphrases

Publications

volume 17, number 1, 2024

David Fernández-Duque
Taming the 'elsewhere': on Expressivity of Topological Languages. Rev. Symb. Log. 17 (1) (2024)
Toby Meadows
What is a Restrictive Theory? Rev. Symb. Log. 17 (1) (2024)
Taishi Kurahashi, Motoki Okuda
Disjunction and existence Properties in Modal Arithmetic. Rev. Symb. Log. 17 (1) (2024)
Milan Mossé, Duligur Ibeling, Thomas Icard
Is Causal Reasoning Harder than Probabilistic Reasoning? Rev. Symb. Log. 17 (1) (2024)
Mikhail G. Katz, Karl Kuhlemann, David Sherry, Monica Ugaglia
and Mathematical Fictions. Rev. Symb. Log. 17 (1) (2024)
Alexander R. Pruss
Necessary and sufficient conditions for domination Results for Proper Scoring Rules. Rev. Symb. Log. 17 (1) (2024)
Ignacio Bellas Acosta, Yde Venema
Counting to infinity: Graded Modal Logic with an infinity Diamond. Rev. Symb. Log. 17 (1) (2024)
Neil Barton, Kameryn J. Williams
Varieties of class-Theoretic Potentialism. Rev. Symb. Log. 17 (1) (2024)
RSL volume 17 issue 1 Cover and Front matter. Rev. Symb. Log. 17 (1) (2024)
Alexander W. Kocurek
The Logic of Hyperlogic. Part a: Foundations. Rev. Symb. Log. 17 (1) (2024)
Evan Piermont
Algebraic Semantics for Relative Truth, Awareness, and possibility. Rev. Symb. Log. 17 (1) (2024)
RSL volume 17 issue 1 Cover and Back matter. Rev. Symb. Log. 17 (1) (2024)
Evgeny Kolmakov
On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras. Rev. Symb. Log. 17 (1) (2024)

volume 17, number 2, 2024

Robin Martinot
Ontological purity for Formal Proofs. Rev. Symb. Log. 17 (2) (2024)
Cezary Cieslinski, Leon Horsten, Hannes Leitgeb
Axioms for Type-Free subjective Probability. Rev. Symb. Log. 17 (2) (2024)
Giorgio Venturi, Matteo Viale
What Model Companionship can Say about the continuum Problem. Rev. Symb. Log. 17 (2) (2024)
Kai Frederick Wehmeier
On Quantification and Extensionality. Rev. Symb. Log. 17 (2) (2024)
Qian Chen, Minghui Ma
Tabularity and Post-Completeness in Tense Logic. Rev. Symb. Log. 17 (2) (2024)
Gordon Belot
Unprincipled. Rev. Symb. Log. 17 (2) (2024)
Javier Belastegui
Natural kind Semantics for a Classical essentialist Theory of Kinds. Rev. Symb. Log. 17 (2) (2024)
Zeynep Soysal
An Algorithmic Impossible-Worlds Model of Belief and Knowledge. Rev. Symb. Log. 17 (2) (2024)
Grigory K. Olkhovikov, Guillermo Badia
Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic. Rev. Symb. Log. 17 (2) (2024)
Marco Garapa, Maurício D. Luís Reis
Generalized Partial Meet and Kernel contractions. Rev. Symb. Log. 17 (2) (2024)
Oliver Tatton-Brown
Plural Ancestral Logic as the Logic of Arithmetic. Rev. Symb. Log. 17 (2) (2024)

volume 16, number 2, 2023

Saul Aaron Kripke
Gödel's Theorem and Direct Self-Reference. Rev. Symb. Log. 16 (2) (2023)
Rafal Gruszczynski, Andrzej Pietruszczak
Grzegorczyk Points and filters in Boolean contact Algebras. Rev. Symb. Log. 16 (2) (2023)
Soroush Rafiee Rad
Probabilistic Entailment on First order Languages and Reasoning with Inconsistencies. Rev. Symb. Log. 16 (2) (2023)
Johannes Marti
Conditional Logic is Complete for convexity in the plane. Rev. Symb. Log. 16 (2) (2023)

volume 16, number 3, 2023

Landon D. C. Elkind, Richard Zach
The Genealogy of ''. Rev. Symb. Log. 16 (3) (2023)
Christopher Badura, Heinrich Wansing
Stit-Logic for Imagination Episodes with voluntary input. Rev. Symb. Log. 16 (3) (2023)
Aleks Knoks
Conciliatory Reasoning, Self-Defeat, and Abstract Argumentation. Rev. Symb. Log. 16 (3) (2023)
Patrick J. Ryan
Szemerédi's Theorem: an Exploration of impurity, Explanation, and Content. Rev. Symb. Log. 16 (3) (2023)
Kai Tanter
Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names. Rev. Symb. Log. 16 (3) (2023)
Satoru Niki
Improving Strong Negation. Rev. Symb. Log. 16 (3) (2023)
Hannes Leitgeb
Ramsification and Semantic Indeterminacy. Rev. Symb. Log. 16 (3) (2023)
Tim Lethen
Gödel on Many-Valued Logic. Rev. Symb. Log. 16 (3) (2023)
Joan Bagaria, Claudio Ternullo
. Rev. Symb. Log. 16 (3) (2023)

volume 16, number 4, 2023

Greg Restall, Shawn Standefer
Collection Frames for Distributive Substructural Logics. Rev. Symb. Log. 16 (4) (2023)
Sourav Tarafder, Giorgio Venturi
Independence Proofs in non-Classical Set Theories. Rev. Symb. Log. 16 (4) (2023)
Asger Törnquist, Jens Mammen
Set Theory and a Model of the Mind in Psychology. Rev. Symb. Log. 16 (4) (2023)
Sébastien Gandon
. Rev. Symb. Log. 16 (4) (2023)
Rea Golan
A Simple Sequent System for minimally Inconsistent LP. Rev. Symb. Log. 16 (4) (2023)
Uwe Petersen
On Zardini's Rules for multiplicative Quantification as the Source of contra(di)Ctions. Rev. Symb. Log. 16 (4) (2023)
Mario Piazza, Gabriele Pulcini, Matteo Tesi
Fractional-Valued Modal Logic. Rev. Symb. Log. 16 (4) (2023)
Giacomo Molinari
Towards the Inevitability of non-Classical Probability. Rev. Symb. Log. 16 (4) (2023)
Stephen Mackereth, Jeremy Avigad
Two-Sorted Frege Arithmetic is not conservative. Rev. Symb. Log. 16 (4) (2023)
Johannes Korbmacher
Proof Systems for exact Entailment. Rev. Symb. Log. 16 (4) (2023)
Davide Fazio, Antonio Ledda, Francesco Paoli, Gavin St. John
A Substructural Gentzen Calculus for Orthomodular quantum Logic. Rev. Symb. Log. 16 (4) (2023)
Martín Santiago Moroni, Pedro Sánchez Terraf
The Zhou Ordinal of Labelled Markov Processes over separable Spaces. Rev. Symb. Log. 16 (4) (2023)
Sam Roberts, Stewart Shapiro
Hume's Principle, Bad Company, and the Axiom of Choice. Rev. Symb. Log. 16 (4) (2023)