Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/rsl/rsl9.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-08-31 03:25 CEST from data curated 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:
