default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 10
Volume 10, Number 1, March 2017
- Max Weiss:
Logic in the Tractatus. 1-50 - Tamar Lando
:
Logics above S4 and the Lebesgue Measure Algebra. 51-64 - Fan Yang:
Uniform Definability in Propositional Dependence Logic. 65-79 - Graham Leach-Krouse:
Generalizing Boolos' Theorem. 80-91 - Bruno Whittle:
Proving Unprovability. 92-115 - Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist, Junhua Yu:
Instantial Neighbourhood Logic. 116-144 - Kosta Dosen, Zoran Petric:
Representing Conjunctive Deductions by Disjunctive Deductions. 145-157 - Silvia de Toffoli:
'Chasing' the Diagram - the Use of Visualizations in Algebraic Reasoning. 158-186 - Cezary Cieslinski, Mateusz Lelyk, Bartosz Wcislo:
Models of Pt- with Internal Induction for total Formulae. 187-202
Volume 10, Number 2, June 2017
- Peter Fritz:
Logics for Propositional Contingentism. 203-236 - Giangiacomo Gerla, Rafal Gruszczynski:
Point-Free Geometry, ovals, and half-planes. 237-258 - Tomasz Kowalski, Hiroakira Ono:
Analytic Cut and interpolation for bi-intuitionistic Logic. 259-283 - Mark J. Schervish, Teddy Seidenfeld, Joseph B. Kadane:
Nonconglomerability for countably additive Measures that are not κ-additive. 284-300 - Patrick Walsh:
Categorical Harmony and Path Induction. 301-321 - Carlo Nicolai:
Equivalences for Truth Predicates. 322-356 - Walter Dean, Sean Walsh:
The Prehistory of the Subsystems of second-order Arithmetic. 357-396
Volume 10, Number 3, September 2017
- Bruno Jacinto:
Strongly Millian second-order Modal Logics. 397-454 - Bartosz Wcislo, Mateusz Lelyk:
Notes on Bounded Induction for the Compositional Truth Predicate. 455-480 - Peter Hawke:
The Logic of Joint Ability in two-Player Tacit Games. 481-508 - Peter Fritz, Jeremy Goodman:
Counterfactuals and Propositional Contingentism. 509-529 - Judit X. Madarász, Gergely Székely, Mike Stannett:
Three Different Formalisations of Einstein's Relativity Principle. 530-548 - Ran Lanzet:
A three-Valued Quantified Argument Calculus: Domain-Free Model-Theory, Completeness, and Embedding of FOL. 549-582 - Wilfrid Hodges:
Ibn Sīnā on Reductio Ad Absurdum. 583-601
Volume 10, Number 4, December 2017
- Makoto Kikuchi, Taishi Kurahashi:
Generalizations of Gödel's Incompleteness theorems for ∑ n -Definable Theories of Arithmetic. 603-616 - John F. Horty, Eric Pacuit:
Action Types in STIT Semantics. 617-637 - Mirja Hartimo:
Husserl and Gödel's Incompleteness theorems. 638-650 - Sam Roberts:
A Strong Reflection Principle. 651-662 - Guillermo Badia:
Infinitary Propositional Relevant Languages with Absurdity. 663-681 - Salvatore Florio, Graham Leach-Krouse:
What Russell Should have said to Burali-Forti. 682-718 - Zalán Gyenis, Miklós Rédei:
General Properties of Bayesian Learning as Statistical Inference determined by Conditional Expectations. 719-755 - Yaroslav I. Petrukhin, Vasily Shangin:
Automated Correspondence Analysis for the Binary Extensions of the Logic of Paradox. 756-781 - Masanao Ozawa:
Orthomodular-Valued Models for quantum Set Theory. 782-807
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 2025-10-22 02:14 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:
