![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
The 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.