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/rsl8.bht:"
download as .bib file
@article{DBLP:journals/rsl/AnglbergerGR15,
author = {Albert J. J. Anglberger and
Norbert Gratzl and
Olivier Roy},
title = {Obligation, Free Choice, and the Logic of Weakest Permissions},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {807--827},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000209},
doi = {10.1017/S1755020315000209},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/AnglbergerGR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Bacon15,
author = {Andrew Bacon},
title = {Stalnaker's Thesis in Context},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {131--163},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000318},
doi = {10.1017/S1755020314000318},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Bacon15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BezhanishviliGL15,
author = {Guram Bezhanishvili and
David Gabelaia and
Joel Lucero{-}Bryan},
title = {Modal Logics of Metric Spaces},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {178--191},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000446},
doi = {10.1017/S1755020314000446},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BezhanishviliGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Campbell-Moore15,
author = {Catrin Campbell{-}Moore},
title = {How to Express Self-Referential Probability. {A} Kripkean Proposal},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {680--704},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000118},
doi = {10.1017/S1755020315000118},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Campbell-Moore15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Dorr15,
author = {Cian Dorr},
title = {How Vagueness Could Cut out at any order},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {1--10},
year = {2015},
url = {https://doi.org/10.1017/S175502031400032X},
doi = {10.1017/S175502031400032X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Dorr15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Ernst15,
author = {Michael Ernst},
title = {The Prospects of Unlimited Category Theory: Doing What Remains to
be Done},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {306--327},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000495},
doi = {10.1017/S1755020314000495},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Ernst15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/FanWD15,
author = {Jie Fan and
Yanjing Wang and
Hans van Ditmarsch},
title = {Contingency and Knowing Whether},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {75--107},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000343},
doi = {10.1017/S1755020314000343},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/FanWD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/FischerH15,
author = {Martin Fischer and
Leon Horsten},
title = {The Expressive Power of Truth},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {345--369},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000392},
doi = {10.1017/S1755020314000392},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/FischerH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/FischerHKS15,
author = {Martin Fischer and
Volker Halbach and
J{\"{o}}nne Kriener and
Johannes Stern},
title = {Axiomatizing Semantic Theories of Truth?},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {257--278},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000379},
doi = {10.1017/S1755020314000379},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/FischerHKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Fjellstad15,
author = {Andreas Fjellstad},
title = {How a Semantics for Tonk Should be},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {488--505},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000513},
doi = {10.1017/S1755020314000513},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Fjellstad15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Francez15,
author = {Nissim Francez},
title = {On the Notion of Canonical Derivations from Open Assumptions and its
Role in Proof-Theoretic Semantics},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {296--305},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000027},
doi = {10.1017/S1755020315000027},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Francez15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/FrenchR15,
author = {Rohan French and
David Ripley},
title = {Contractions of noncontractive Consequence Relations},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {506--528},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000409},
doi = {10.1017/S1755020314000409},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/FrenchR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Hansen15,
author = {Casper Storm Hansen},
title = {Supervaluation on Trees for Kripke's Theory of Truth},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {46--74},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000434},
doi = {10.1017/S1755020314000434},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Hansen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Heck15,
author = {Richard G. Heck},
title = {Consistency and the Theory of Truth},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {424--466},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000549},
doi = {10.1017/S1755020314000549},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Heck15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/HowarthP15,
author = {Elizabeth Howarth and
Jeff B. Paris},
title = {The Theory of spectrum Exchangeability},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {108--130},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000331},
doi = {10.1017/S1755020314000331},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/HowarthP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Huttegger15,
author = {Simon M. Huttegger},
title = {Merging of Opinions and Probability kinematics},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {611--648},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000180},
doi = {10.1017/S1755020315000180},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Huttegger15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/HyttinenPV15,
author = {Tapani Hyttinen and
Gianluca Paolini and
Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Quantum Team Logic and Bell's inequalities},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {722--742},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000192},
doi = {10.1017/S1755020315000192},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/HyttinenPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/KatzK15,
author = {Mikhail G. Katz and
Semen S. Kutateladze},
title = {Edward Nelson {(1932-2014)}},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {607--610},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000015},
doi = {10.1017/S1755020315000015},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/KatzK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Lederman15,
author = {Harvey Lederman},
title = {People with Common Priors can agree to Disagree},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {11--45},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000380},
doi = {10.1017/S1755020314000380},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Lederman15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Logan15,
author = {Shay Allen Logan},
title = {Abstractionist Categories of Categories},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {705--721},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000167},
doi = {10.1017/S1755020315000167},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Logan15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/LoweT15,
author = {Benedikt L{\"{o}}we and
Sourav Tarafder},
title = {Generalized Algebra-Valued Models of Set Theory},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {192--205},
year = {2015},
url = {https://doi.org/10.1017/S175502031400046X},
doi = {10.1017/S175502031400046X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/LoweT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Mancosu15,
author = {Paolo Mancosu},
title = {In Good Company? On Hume's Principle and the Assignment of numbers
to Infinite Concepts},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {370--410},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000471},
doi = {10.1017/S1755020314000471},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Mancosu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Meadows15,
author = {Toby Meadows},
title = {Infinitary Tableau for Semantic Truth},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {207--235},
year = {2015},
url = {https://doi.org/10.1017/S175502031500012X},
doi = {10.1017/S175502031500012X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Meadows15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Moriconi15,
author = {Enrico Moriconi},
title = {Early Structural Reasoning. Gentzen 1932},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {662--679},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000222},
doi = {10.1017/S1755020315000222},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Moriconi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Omori15,
author = {Hitoshi Omori},
title = {Remarks on Naive Set Theory based on {LP}},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {279--295},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000525},
doi = {10.1017/S1755020314000525},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Omori15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Parent15,
author = {Xavier Parent},
title = {Completeness of {\AA}qvist's Systems {E} and {F}},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {164--177},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000367},
doi = {10.1017/S1755020314000367},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Parent15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Read15,
author = {Stephen Read},
title = {Semantic Pollution and Syntactic purity},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {649--661},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000210},
doi = {10.1017/S1755020315000210},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Read15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Ripley15,
author = {David Ripley},
title = {Naive Set Theory and Nontransitive Logic},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {553--571},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000501},
doi = {10.1017/S1755020314000501},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Ripley15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Roche15,
author = {William Roche},
title = {Evidential Support, Transitivity, and Screening-off},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {785--806},
year = {2015},
url = {https://doi.org/10.1017/S175502031500009X},
doi = {10.1017/S175502031500009X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Roche15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/ShapiroL15,
author = {Stewart Shapiro and
{\O}ystein Linnebo},
title = {Frege Meets Brouwer (or Heyting or Dummett)},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {540--552},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000039},
doi = {10.1017/S1755020315000039},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/ShapiroL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Standefer15,
author = {Shawn Standefer},
title = {Solovay-Type theorems for circular Definitions},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {467--487},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000458},
doi = {10.1017/S1755020314000458},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Standefer15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Tedder15,
author = {Andrew Tedder},
title = {Axioms for Finite collapse Models of Arithmetic},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {529--539},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000355},
doi = {10.1017/S1755020314000355},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Tedder15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Tennant15,
author = {Neil Tennant},
title = {Cut for Classical Core Logic},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {236--256},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000088},
doi = {10.1017/S1755020315000088},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Tennant15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Tennant15a,
author = {Neil Tennant},
title = {The Relevance of Premises to Conclusions of Core Proofs},
journal = {Rev. Symb. Log.},
volume = {8},
number = {4},
pages = {743--784},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000040},
doi = {10.1017/S1755020315000040},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Tennant15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Tranchini15,
author = {Luca Tranchini},
title = {Harmonising Harmony},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {411--423},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000179},
doi = {10.1017/S1755020315000179},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Tranchini15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Uzquiano15,
author = {Gabriel Uzquiano},
title = {A Neglected Resolution of Russell's Paradox of Propositions},
journal = {Rev. Symb. Log.},
volume = {8},
number = {2},
pages = {328--344},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000106},
doi = {10.1017/S1755020315000106},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Uzquiano15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/WalshE15,
author = {Sean Walsh and
Sean Ebels{-}Duggan},
title = {Relative Categoricity and Abstraction Principles},
journal = {Rev. Symb. Log.},
volume = {8},
number = {3},
pages = {572--606},
year = {2015},
url = {https://doi.org/10.1017/S1755020315000052},
doi = {10.1017/S1755020315000052},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/WalshE15.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-04-23 17:54 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:
