Journal: Rew. Symb. Logic

Volume 16, Issue 4

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

Volume 16, Issue 3

655 -- 671Tim Lethen. Gödel on Many-Valued Logic
672 -- 699Kai Tanter. Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates, and Names
700 -- 739Patrick J. Ryan. Szemerédi's Theorem: an Exploration of impurity, Explanation, and Content
740 -- 787Aleks Knoks. Conciliatory Reasoning, Self-Defeat, and Abstract Argumentation
788 -- 812Joan Bagaria, Claudio Ternullo. l
813 -- 861Christopher Badura, Heinrich Wansing. Stit-Logic for Imagination Episodes with voluntary input
862 -- 899Landon D. C. Elkind, Richard Zach. The Genealogy of ''
900 -- 950Hannes Leitgeb. Ramsification and Semantic Indeterminacy
951 -- 977Satoru Niki. Improving Strong Negation

Volume 16, Issue 2

339 -- 350Benjamin Siskind, Paolo Mancosu, Stewart Shapiro. A note on Choice Principles in second-order Logic
351 -- 368Soroush Rafiee Rad. Probabilistic Entailment on First order Languages and Reasoning with Inconsistencies
369 -- 384Wilfrid Hodges. A Correctness Proof for al-BarakāT's Logical Diagrams
385 -- 424Balthasar Grabmayr, Albert Visser. Self-Reference Upfront: a Study of Self-Referential Gödel Numberings
425 -- 448Martin Fischer, Carlo Nicolai, Pablo Dopico Fernandez. Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype
449 -- 479Edi Pavlovic, Norbert Gratzl. Abstract Forms of Quantification in the Quantified Argument Calculus
480 -- 508Oliver Tatton-Brown. Rigour and Proof
509 -- 528Rafal Gruszczynski, Andrzej Pietruszczak. Grzegorczyk Points and filters in Boolean contact Algebras
529 -- 552Johannes Marti. Conditional Logic is Complete for convexity in the plane
553 -- 577Will Stafford. The potential in Frege's Theorem
578 -- 602Denis Bonnay, Dag Westerståhl. Carnap's Problem for Modal Logic
603 -- 623Samuel Z. Elgin. The Semantic Foundations of Philosophical Analysis
624 -- 649Andrzej Indrzejczak. Russellian Definite Description Theory - a Proof Theoretic Approach
650 -- 654Saul Aaron Kripke. Gödel's Theorem and Direct Self-Reference

Volume 16, Issue 1

1 -- 32Øystein Linnebo, Stewart Shapiro. Predicativism as a Form of Potentialism
33 -- 58Luca Castaldo, Johannes Stern. KF, PKF, and Reinhardt?s Program
59 -- 113Anna Bellomo, Guillaume Massas. Bolzano's Mathematical Infinite
114 -- 163Adam Prenosil. The Lattice of Super-Belnap Logics
164 -- 187Guram Bezhanishvili, Luca Carai. Temporal Interpretation of Monadic Intuitionistic Quantifiers
188 -- 209Peter Fritz. Operands and Instances
210 -- 240Nicholas Ferenz. Quantified Modal Relevant Logics
241 -- 267Gianluca Grilletti, Ivano Ciardelli. Games and Cardinalities in Inquisitive First-Order Logic
268 -- 297Andrea Sereni, Maria Paola Sforza Fogliani, Luca Zanetti. For Better and for Worse. Abstractionism, Good Company, and Pluralism
298 -- 337Jean Baccelli, Rush T. Stewart. Support for Geometric Pooling
338 -- 0Oliver Tatton-Brown. Rigour and Proof ? Corrigendum