![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/rsl/rsl9.bht:"
@article{DBLP:journals/rsl/Al-DhalimyG16, author = {Haidar Al{-}Dhalimy and Charles J. Geyer}, title = {Surreal Time and Ultratasks}, journal = {Rev. Symb. Log.}, volume = {9}, number = {4}, pages = {836--847}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000289}, doi = {10.1017/S1755020316000289}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Al-DhalimyG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/AlmHM16, author = {Jeremy F. Alm and Robin Hirsch and Roger D. Maddux}, title = {There is no Finite-variable Equational Axiomatization of Representable Relation Algebras over Weakly Representable Relation Algebras}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {511--521}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000265}, doi = {10.1017/S1755020316000265}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/AlmHM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/AmideiPMS16, author = {Jacopo Amidei and Duccio Pianigiani and Luca San Mauro and Andrea Sorbi}, title = {Trial and error Mathematics {II:} Dialectical Sets and Quasidialectical Sets, their Degrees, and their Distribution within the class of Limit Sets}, journal = {Rev. Symb. Log.}, volume = {9}, number = {4}, pages = {810--835}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000253}, doi = {10.1017/S1755020316000253}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/rsl/AmideiPMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/AmideiPMSS16, author = {Jacopo Amidei and Duccio Pianigiani and Luca San Mauro and Giulia Simi and Andrea Sorbi}, title = {Trial and error Mathematics {I:} Dialectical and Quasidialectical Systems}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {299--324}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000404}, doi = {10.1017/S1755020315000404}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/rsl/AmideiPMSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/ArtemovP16, author = {Sergei N. Art{\"{e}}mov and Tudor Protopopescu}, title = {Intuitionistic Epistemic Logic}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {266--298}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000374}, doi = {10.1017/S1755020315000374}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/ArtemovP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/AvigadM16, author = {Jeremy Avigad and Rebecca Lea Morris}, title = {Character and Object}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {480--510}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000398}, doi = {10.1017/S1755020315000398}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/AvigadM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Badia16, author = {Guillermo Badia}, title = {The Relevant Fragment of First order Logic}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {143--166}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000313}, doi = {10.1017/S1755020315000313}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Badia16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/BarrettH16, author = {Thomas William Barrett and Hans Halvorson}, title = {Morita Equivalence}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {556--582}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000186}, doi = {10.1017/S1755020316000186}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/rsl/BarrettH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Bellotti16, author = {Luca Bellotti}, title = {Von Neumann's Consistency Proof}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {429--455}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000198}, doi = {10.1017/S1755020316000198}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Bellotti16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/BellucciP16, author = {Francesco Bellucci and Ahti{-}Veikko Pietarinen}, title = {Existential graphs as an Instrument of Logical Analysis: Part I. Alpha}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {209--237}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000362}, doi = {10.1017/S1755020315000362}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/BellucciP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Caie16, author = {Michael Caie}, title = {Agreement theorems for Self-Locating Belief}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {380--407}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000101}, doi = {10.1017/S1755020316000101}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Caie16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Correia16, author = {Fabrice Correia}, title = {On the Logic of Factual Equivalence}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {103--122}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000258}, doi = {10.1017/S1755020315000258}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Correia16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Dekker16, author = {Paul Dekker}, title = {Exclusively Indexical Deduction}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {603--637}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000125}, doi = {10.1017/S1755020316000125}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Dekker16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Dicher16, author = {Bogdan Dicher}, title = {Weak disharmony: some Lessons for Proof-Theoretic Semantics}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {583--602}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000162}, doi = {10.1017/S1755020316000162}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Dicher16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Field16, author = {Hartry Field}, title = {Indicative Conditionals, Restricted Quantification, and Naive Truth}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {181--208}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000301}, doi = {10.1017/S1755020315000301}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Field16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Fritz16, author = {Peter Fritz}, title = {Propositional Contingentism}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {123--142}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000325}, doi = {10.1017/S1755020315000325}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Fritz16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/GilbertV16, author = {David R. Gilbert and Giorgio Venturi}, title = {Reflexive-Insensitive Modal Logics}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {167--180}, year = {2016}, url = {https://doi.org/10.1017/S175502031500026X}, doi = {10.1017/S175502031500026X}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/GilbertV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Halpern16, author = {Joseph Y. Halpern}, title = {Appropriate Causal Models and the stability of Causation}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {76--102}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000246}, doi = {10.1017/S1755020315000246}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Halpern16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/IncurvatiL16, author = {Luca Incurvati and Benedikt L{\"{o}}we}, title = {Restrictiveness Relative to Notions of Interpretation}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {238--250}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000058}, doi = {10.1017/S1755020316000058}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/IncurvatiL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Kooi16, author = {Barteld Kooi}, title = {The Ambiguity of Knowability}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {421--428}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000416}, doi = {10.1017/S1755020315000416}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Kooi16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Leo16, author = {Joop Leo}, title = {Coordinate-Free Logic}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {522--555}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000174}, doi = {10.1017/S1755020316000174}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Leo16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/MalinkV16, author = {Marko Malink and Anubav Vasudevan}, title = {The Logic of Leibniz's Generales Inquisitiones de Analysi Notionum et Veritatum}, journal = {Rev. Symb. Log.}, volume = {9}, number = {4}, pages = {686--751}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000137}, doi = {10.1017/S1755020316000137}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/MalinkV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Martin16, author = {John Neil Martin}, title = {Privative Negation in the Port Royal Logic}, journal = {Rev. Symb. Log.}, volume = {9}, number = {4}, pages = {664--685}, year = {2016}, url = {https://doi.org/10.1017/S175502031600023X}, doi = {10.1017/S175502031600023X}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Martin16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/MennP16, author = {Stephen Menn and Victor Pambuccian}, title = {Addenda et corrigenda to "the Arithmetic of the even and the odd"}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {638--640}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000204}, doi = {10.1017/S1755020316000204}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/MennP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/NegriS16, author = {Sara Negri and Giorgio Sbardolini}, title = {Proof Analysis for Lewis Counterfactuals}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {44--75}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000295}, doi = {10.1017/S1755020315000295}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/NegriS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Pambuccian16, author = {Victor Pambuccian}, title = {The Arithmetic of the even and the odd}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {359--369}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000386}, doi = {10.1017/S1755020315000386}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Pambuccian16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Porter16, author = {Christopher P. Porter}, title = {On Analogues of the Church-Turing Thesis in Algorithmic Randomness}, journal = {Rev. Symb. Log.}, volume = {9}, number = {3}, pages = {456--479}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000113}, doi = {10.1017/S1755020316000113}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Porter16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Putte16, author = {Frederik Van De Putte}, title = {Obligation as Weakest Permission: a strongly Complete Axiomatization}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {370--379}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000034}, doi = {10.1017/S1755020316000034}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Putte16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/RasgaSS16, author = {Jo{\~{a}}o Rasga and Cristina Sernadas and Am{\'{\i}}lcar Sernadas}, title = {Preservation of Admissible Rules when Combining Logics}, journal = {Rev. Symb. Log.}, volume = {9}, number = {4}, pages = {641--663}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000241}, doi = {10.1017/S1755020316000241}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/RasgaSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Read16, author = {Stephen Read}, title = {Harmonic Inferentialism and the Logic of Identity}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {408--420}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000010}, doi = {10.1017/S1755020316000010}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Read16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/RinW16, author = {Benjamin G. Rin and Sean Walsh}, title = {Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction}, journal = {Rev. Symb. Log.}, volume = {9}, number = {4}, pages = {752--809}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000095}, doi = {10.1017/S1755020316000095}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/RinW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Shramko16, author = {Yaroslav Shramko}, title = {A Modal Translation for Dual-intuitionistic Logic}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {251--265}, year = {2016}, url = {https://doi.org/10.1017/S1755020316000022}, doi = {10.1017/S1755020316000022}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Shramko16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Siders16, author = {Annika Siders}, title = {From Stenius' Consistency Proof to SCH{\"{u}}TTE's Cut Elimination for {\(\omega\)}-Arithmetic}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {1--22}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000337}, doi = {10.1017/S1755020315000337}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Siders16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/TourvilleC16, author = {Nicholas Tourville and Roy T. Cook}, title = {Embracing the Technicalities: Expressive Completeness and Revenge}, journal = {Rev. Symb. Log.}, volume = {9}, number = {2}, pages = {325--358}, year = {2016}, url = {https://doi.org/10.1017/S175502031600006X}, doi = {10.1017/S175502031600006X}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/TourvilleC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Weir16, author = {Alan Weir}, title = {Informal Proof, Formal Proof, Formalism}, journal = {Rev. Symb. Log.}, volume = {9}, number = {1}, pages = {23--43}, year = {2016}, url = {https://doi.org/10.1017/S1755020315000234}, doi = {10.1017/S1755020315000234}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Weir16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.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.