External Links

    Journal: Rew. Symb. Logic

    Volume 10, Issue 4

    603 -- 616Makoto Kikuchi, Taishi Kurahashi. Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic
    617 -- 637John F. Horty, Eric Pacuit. Action Types in STIT Semantics
    638 -- 650Mirja Hartimo. Husserl and Gödel's Incompleteness theorems
    651 -- 662Sam Roberts. A Strong Reflection Principle
    663 -- 681Guillermo Badia. Infinitary Propositional Relevant Languages with Absurdity
    682 -- 718Salvatore Florio, Graham Leach-Krouse. What Russell Should have said to Burali-Forti
    719 -- 755Zalán Gyenis, Miklós Rédei. General Properties of Bayesian Learning as Statistical Inference determined by Conditional Expectations
    756 -- 781Yaroslav I. Petrukhin, Vasily Shangin. Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox
    782 -- 807Masanao Ozawa. Orthomodular-Valued Models for quantum Set Theory

    Volume 10, Issue 3

    397 -- 454Bruno Jacinto. Strongly Millian second-order Modal Logics
    455 -- 480Bartosz Wcislo, Mateusz Lelyk. Notes on Bounded Induction for the Compositional Truth Predicate
    481 -- 508Peter Hawke. The Logic of Joint Ability in two-Player Tacit Games
    509 -- 529Peter Fritz, Jeremy Goodman. Counterfactuals and Propositional Contingentism
    530 -- 548Judit X. Madarász, Gergely Székely, Mike Stannett. Three Different Formalisations of Einstein's Relativity Principle
    549 -- 582Ran Lanzet. A three-Valued Quantified Argument Calculus: Domain-Free Model-Theory, Completeness, and Embedding of FOL
    583 -- 601Wilfrid Hodges. Ibn Sīnā on Reductio Ad Absurdum

    Volume 10, Issue 2

    203 -- 236Peter Fritz. Logics for Propositional Contingentism
    237 -- 258Giangiacomo Gerla, Rafal Gruszczynski. Point-Free Geometry, ovals, and half-planes
    259 -- 283Tomasz Kowalski, Hiroakira Ono. Analytic Cut and interpolation for bi-intuitionistic Logic
    284 -- 300Mark J. Schervish, Teddy Seidenfeld, Joseph B. Kadane. Nonconglomerability for countably additive Measures that are not κ-additive
    301 -- 321Patrick Walsh. Categorical Harmony and Path Induction
    322 -- 356Carlo Nicolai. Equivalences for Truth Predicates
    357 -- 396Walter Dean, Sean Walsh. The Prehistory of the Subsystems of second-order Arithmetic

    Volume 10, Issue 1

    1 -- 50Max Weiss. Logic in the Tractatus
    51 -- 64Tamar Lando. Logics above S4 and the Lebesgue Measure Algebra
    65 -- 79Fan Yang. Uniform Definability in Propositional Dependence Logic
    80 -- 91Graham Leach-Krouse. Generalizing Boolos' Theorem
    92 -- 115Bruno Whittle. Proving Unprovability
    116 -- 144Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu. Instantial Neighbourhood Logic
    145 -- 157Kosta Dosen, Zoran Petric. Representing Conjunctive Deductions by Disjunctive Deductions
    158 -- 186Silvia de Toffoli. 'Chasing' the Diagram - the Use of Visualizations in Algebraic Reasoning
    187 -- 202Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo. Models of Pt- with Internal Induction for total Formulae
    runs on