default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/rsl/rsl2.bht:"
download as .bib file
@article{DBLP:journals/rsl/AvigadDM09,
author = {Jeremy Avigad and
Edward T. Dean and
John Mumma},
title = {A Formal System for Euclid's Elements},
journal = {Rev. Symb. Log.},
volume = {2},
number = {4},
pages = {700--768},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990098},
doi = {10.1017/S1755020309990098},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/AvigadDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Ben-Yami09,
author = {Hanoch Ben{-}Yami},
title = {Plural Quantification Logic: a Critical Appraisal},
journal = {Rev. Symb. Log.},
volume = {2},
number = {1},
pages = {208--232},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090108},
doi = {10.1017/S1755020309090108},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Ben-Yami09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Besson09,
author = {Corine Besson},
title = {Externalism, internalism, and Logical Truth},
journal = {Rev. Symb. Log.},
volume = {2},
number = {1},
pages = {1--29},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090091},
doi = {10.1017/S1755020309090091},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Besson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BezhanishviliB09,
author = {Guram Bezhanishvili and
Nick Bezhanishvili},
title = {An Algebraic Approach to Canonical Formulas: intuitionistic Case},
journal = {Rev. Symb. Log.},
volume = {2},
number = {3},
pages = {517--549},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990177},
doi = {10.1017/S1755020309990177},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BezhanishviliB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BimboDM09,
author = {Katalin Bimb{\'{o}} and
J. Michael Dunn and
Roger D. Maddux},
title = {Relevance Logics and Relation Algebras},
journal = {Rev. Symb. Log.},
volume = {2},
number = {1},
pages = {102--131},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090145},
doi = {10.1017/S1755020309090145},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BimboDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BradyR09,
author = {Ross T. Brady and
Penelope Rush},
title = {Four Basic Logical Issues},
journal = {Rev. Symb. Log.},
volume = {2},
number = {3},
pages = {488--508},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990219},
doi = {10.1017/S1755020309990219},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BradyR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Bruni09,
author = {Riccardo Bruni},
title = {A Note on Theories for quasi-Inductive Definitions},
journal = {Rev. Symb. Log.},
volume = {2},
number = {4},
pages = {684--699},
year = {2009},
url = {https://doi.org/10.1017/S175502030909025X},
doi = {10.1017/S175502030909025X},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Bruni09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/CarraraM09,
author = {Massimiliano Carrara and
Enrico Martino},
title = {On the Ontological Commitment of Mereology},
journal = {Rev. Symb. Log.},
volume = {2},
number = {1},
pages = {164--174},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090157},
doi = {10.1017/S1755020309090157},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/CarraraM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Field09,
author = {Hartry Field},
title = {Pluralism in Logic},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {342--359},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090182},
doi = {10.1017/S1755020309090182},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Field09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Fischer09,
author = {Martin Fischer},
title = {Minimal Truth and interpretability},
journal = {Rev. Symb. Log.},
volume = {2},
number = {4},
pages = {799--815},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990232},
doi = {10.1017/S1755020309990232},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Fischer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GabbayS09,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Size and Logic},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {396--413},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090224},
doi = {10.1017/S1755020309090224},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/GabbayS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GabbayS09a,
author = {Dov M. Gabbay and
Karl Schlechta},
title = {Reactive Preferential Structures and Nonmonotonic Consequence},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {414--450},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090248},
doi = {10.1017/S1755020309090248},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/GabbayS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Goldblatt09,
author = {Robert Goldblatt},
title = {Conservativity of Heyting Implication over Relevant Quantification},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {310--341},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090194},
doi = {10.1017/S1755020309090194},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Goldblatt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Gomez-Torrente09,
author = {Mario G{\'{o}}mez{-}Torrente},
title = {Rereading Tarski on Logical Consequence},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {249--297},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090200},
doi = {10.1017/S1755020309090200},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Gomez-Torrente09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Halbach09,
author = {Volker Halbach},
title = {Reducing Compositional to Disquotational Truth},
journal = {Rev. Symb. Log.},
volume = {2},
number = {4},
pages = {786--798},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990220},
doi = {10.1017/S1755020309990220},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Halbach09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Halpern09,
author = {Joseph Y. Halpern},
title = {Intransitivity and Vagueness - Corrigendum},
journal = {Rev. Symb. Log.},
volume = {2},
number = {3},
pages = {591},
year = {2009},
url = {https://doi.org/10.1017/S175502030999027X},
doi = {10.1017/S175502030999027X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Halpern09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/HalpernSS09,
author = {Joseph Y. Halpern and
Dov Samet and
Ella Segev},
title = {On Definability in Multimodal Logic},
journal = {Rev. Symb. Log.},
volume = {2},
number = {3},
pages = {451--468},
year = {2009},
url = {https://doi.org/10.1017/S175502030999013X},
doi = {10.1017/S175502030999013X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/HalpernSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/HalpernSS09a,
author = {Joseph Y. Halpern and
Dov Samet and
Ella Segev},
title = {Defining Knowledge in Terms of Belief: the Modal Logic Perspective},
journal = {Rev. Symb. Log.},
volume = {2},
number = {3},
pages = {469--487},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990141},
doi = {10.1017/S1755020309990141},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/HalpernSS09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/KamideW09,
author = {Norihiro Kamide and
Heinrich Wansing},
title = {Sequent Calculi for some Trilattice Logics},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {374--395},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090212},
doi = {10.1017/S1755020309090212},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/KamideW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Lavers09,
author = {Gregory Lavers},
title = {Benacerraf's Dilemma and Informal Mathematics},
journal = {Rev. Symb. Log.},
volume = {2},
number = {4},
pages = {769--785},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990153},
doi = {10.1017/S1755020309990153},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Lavers09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Mancosu09,
author = {Paolo Mancosu},
title = {Measuring the Size of Infinite Collections of Natural numbers: was
Cantor's Theory of Infinite number Inevitable?},
journal = {Rev. Symb. Log.},
volume = {2},
number = {4},
pages = {612--646},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990128},
doi = {10.1017/S1755020309990128},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Mancosu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/ParisS09,
author = {Jeff B. Paris and
Richard Simmonds},
title = {O is not Enough},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {298--309},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090236},
doi = {10.1017/S1755020309090236},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/ParisS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Poggiolesi09,
author = {Francesca Poggiolesi},
title = {A Purely Syntactic and Cut-Free Sequent Calculus for the Modal Logic
of Provability},
journal = {Rev. Symb. Log.},
volume = {2},
number = {4},
pages = {593--611},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990244},
doi = {10.1017/S1755020309990244},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Poggiolesi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Pratt-HartmannM09,
author = {Ian Pratt{-}Hartmann and
Lawrence S. Moss},
title = {Logics for the Relational Syllogistic},
journal = {Rev. Symb. Log.},
volume = {2},
number = {4},
pages = {647--683},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990086},
doi = {10.1017/S1755020309990086},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Pratt-HartmannM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Priest09,
author = {Graham Priest},
title = {Neighborhood Semantics for Intentional operators},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {360--373},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090170},
doi = {10.1017/S1755020309090170},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Priest09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/SanzP09,
author = {Wagner de Campos Sanz and
Thomas Piecha},
title = {Inversion by Definitional Reflection and the Admissibility of Logical
Rules},
journal = {Rev. Symb. Log.},
volume = {2},
number = {3},
pages = {550--569},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990165},
doi = {10.1017/S1755020309990165},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/SanzP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Schulz09,
author = {Moritz Schulz},
title = {A Note on two theorems by Adams and McGee},
journal = {Rev. Symb. Log.},
volume = {2},
number = {3},
pages = {509--516},
year = {2009},
url = {https://doi.org/10.1017/S1755020309990189},
doi = {10.1017/S1755020309990189},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Schulz09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Sequoiah-Grayson09,
author = {Sebastian Sequoiah{-}Grayson},
title = {Dynamic Negation and Negative Information},
journal = {Rev. Symb. Log.},
volume = {2},
number = {1},
pages = {233--248},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090133},
doi = {10.1017/S1755020309090133},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Sequoiah-Grayson09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Shapiro09,
author = {Stewart Shapiro},
title = {We Hold these Truths to be Self-Evident: but What do we mean by that?},
journal = {Rev. Symb. Log.},
volume = {2},
number = {1},
pages = {175--207},
year = {2009},
url = {https://doi.org/10.1017/S175502030909011X},
doi = {10.1017/S175502030909011X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Shapiro09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Veldman09,
author = {Wim Veldman},
title = {The Fine Structure of the intuitionistic Borel Hierarchy},
journal = {Rev. Symb. Log.},
volume = {2},
number = {1},
pages = {30--101},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090121},
doi = {10.1017/S1755020309090121},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Veldman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Visser09,
author = {Albert Visser},
title = {Cardinal Arithmetic in the Style of Baron von M{\"{u}}Nchhausen},
journal = {Rev. Symb. Log.},
volume = {2},
number = {3},
pages = {570--589},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090261},
doi = {10.1017/S1755020309090261},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Visser09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Weingartner09,
author = {Paul Weingartner},
title = {Matrix-based Logic for Application in Physics},
journal = {Rev. Symb. Log.},
volume = {2},
number = {1},
pages = {132--163},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090169},
doi = {10.1017/S1755020309090169},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Weingartner09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-12-23 13:04 CET 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:
