default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 9
Volume 9, Number 1, March 2016
- Annika Siders
:
From Stenius' Consistency Proof to SCHüTTE's Cut Elimination for ω-Arithmetic. 1-22 - Alan Weir:
Informal Proof, Formal Proof, Formalism. 23-43 - Sara Negri, Giorgio Sbardolini:
Proof Analysis for Lewis Counterfactuals. 44-75 - Joseph Y. Halpern:
Appropriate Causal Models and the stability of Causation. 76-102 - Fabrice Correia:
On the Logic of Factual Equivalence. 103-122 - Peter Fritz:
Propositional Contingentism. 123-142 - Guillermo Badia:
The Relevant Fragment of First order Logic. 143-166 - David R. Gilbert, Giorgio Venturi:
Reflexive-Insensitive Modal Logics. 167-180 - Hartry Field:
Indicative Conditionals, Restricted Quantification, and Naive Truth. 181-208
Volume 9, Number 2, June 2016
- Francesco Bellucci, Ahti-Veikko Pietarinen:
Existential graphs as an Instrument of Logical Analysis: Part I. Alpha. 209-237 - Luca Incurvati, Benedikt Löwe:
Restrictiveness Relative to Notions of Interpretation. 238-250 - Yaroslav Shramko:
A Modal Translation for Dual-intuitionistic Logic. 251-265 - Sergei N. Artëmov, Tudor Protopopescu:
Intuitionistic Epistemic Logic. 266-298 - Jacopo Amidei, Duccio Pianigiani, Luca San Mauro, Giulia Simi, Andrea Sorbi:
Trial and error Mathematics I: Dialectical and Quasidialectical Systems. 299-324 - Nicholas Tourville, Roy T. Cook:
Embracing the Technicalities: Expressive Completeness and Revenge. 325-358 - Victor Pambuccian:
The Arithmetic of the even and the odd. 359-369 - Frederik Van De Putte:
Obligation as Weakest Permission: a strongly Complete Axiomatization. 370-379 - Michael Caie:
Agreement theorems for Self-Locating Belief. 380-407 - Stephen Read:
Harmonic Inferentialism and the Logic of Identity. 408-420
Volume 9, Number 3, September 2016
- Barteld Kooi:
The Ambiguity of Knowability. 421-428 - Luca Bellotti:
Von Neumann's Consistency Proof. 429-455 - Christopher P. Porter:
On Analogues of the Church-Turing Thesis in Algorithmic Randomness. 456-479 - Jeremy Avigad, Rebecca Lea Morris:
Character and Object. 480-510 - Jeremy F. Alm, Robin Hirsch, Roger D. Maddux:
There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras. 511-521 - Joop Leo:
Coordinate-Free Logic. 522-555 - Thomas William Barrett, Hans Halvorson:
Morita Equivalence. 556-582 - Bogdan Dicher:
Weak disharmony: some Lessons for Proof-Theoretic Semantics. 583-602 - Paul Dekker:
Exclusively Indexical Deduction. 603-637 - Stephen Menn, Victor Pambuccian:
Addenda et corrigenda to "the Arithmetic of the even and the odd". 638-640
Volume 9, Number 4, December 2016
- João Rasga, Cristina Sernadas, Amílcar Sernadas:
Preservation of Admissible Rules when Combining Logics. 641-663 - John Neil Martin:
Privative Negation in the Port Royal Logic. 664-685 - Marko Malink, Anubav Vasudevan:
The Logic of Leibniz's Generales Inquisitiones de Analysi Notionum et Veritatum. 686-751 - Benjamin G. Rin, Sean Walsh:
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction. 752-809 - Jacopo Amidei, Duccio Pianigiani, Luca San Mauro, Andrea Sorbi:
Trial and error Mathematics II: Dialectical Sets and Quasidialectical Sets, their Degrees, and their Distribution within the class of Limit Sets. 810-835 - Haidar Al-Dhalimy, Charles J. Geyer:
Surreal Time and Ultratasks. 836-847
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-01-23 20:31 CET 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:
