Search dblp for Publications

export results for "toc:db/journals/rsl/rsl1.bht:"

 download as .bib file

@article{DBLP:journals/rsl/AntonelliUZ08,
  author       = {Aldo Antonelli and
                  Alasdair Urquhart and
                  Richard Zach},
  title        = {Mathematical Methods in Philosophy Editors' Introduction},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {143--145},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080131},
  doi          = {10.1017/S1755020308080131},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsl/AntonelliUZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Arlo-Costa08,
  author       = {Horacio L. Arl{\'{o}}{-}Costa},
  title        = {Formal Epistemology, Context and Content: Introduction to Special
                  Issue on Recent Developments in Formal Epistemology},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {395--401},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308090011},
  doi          = {10.1017/S1755020308090011},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Arlo-Costa08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Artemov08,
  author       = {Sergei N. Art{\"{e}}mov},
  title        = {The Logic of Justification},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {477--513},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308090060},
  doi          = {10.1017/S1755020308090060},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Artemov08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/AwodeyK08,
  author       = {Steve Awodey and
                  Kohei Kishida},
  title        = {Topology and Modality: the Topological Interpretation of First-order
                  Modal Logic},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {146--166},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080143},
  doi          = {10.1017/S1755020308080143},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/AwodeyK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BalbianiBDHHL08,
  author       = {Philippe Balbiani and
                  Alexandru Baltag and
                  Hans van Ditmarsch and
                  Andreas Herzig and
                  Tomohiro Hoshi and
                  Tiago de Lima},
  title        = {'Knowable' as 'known after an announcement'},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {305--334},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080210},
  doi          = {10.1017/S1755020308080210},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/BalbianiBDHHL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Fara08,
  author       = {Delia Graff Fara},
  title        = {Relative-sameness counterpart Theory},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {167--189},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080155},
  doi          = {10.1017/S1755020308080155},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Fara08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Feferman08,
  author       = {Solomon Feferman},
  title        = {Axioms for Determinateness and Truth},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {204--217},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080209},
  doi          = {10.1017/S1755020308080209},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Feferman08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Fitelson08,
  author       = {Branden Fitelson},
  title        = {A Decision procedure for Probability Calculus with Applications},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {111--125},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080039},
  doi          = {10.1017/S1755020308080039},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Fitelson08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Forster08,
  author       = {Thomas Forster},
  title        = {The iterative conception of Set},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {97--110},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080064},
  doi          = {10.1017/S1755020308080064},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Forster08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GabbayRR08,
  author       = {Dov M. Gabbay and
                  Odinaldo Rodrigues and
                  Alessandra Russo},
  title        = {Belief Revision in non-Classical Logics},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {267--304},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080246},
  doi          = {10.1017/S1755020308080246},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/GabbayRR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GabbayS08,
  author       = {Dov M. Gabbay and
                  Karl Schlechta},
  title        = {Cumulativity without Closure of the Domain under Finite Unions},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {372--392},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080258},
  doi          = {10.1017/S1755020308080258},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/GabbayS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Gaifman08,
  author       = {Haim Gaifman},
  title        = {Contextual Logic with Modalities for Time and Space},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {433--458},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308090047},
  doi          = {10.1017/S1755020308090047},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Gaifman08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Halpern08,
  author       = {Joseph Y. Halpern},
  title        = {Intransitivity and Vagueness},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {530--547},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308090084},
  doi          = {10.1017/S1755020308090084},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Halpern08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Helzner08,
  author       = {Jeffrey Helzner},
  title        = {Expected Content},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {424--432},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308090035},
  doi          = {10.1017/S1755020308090035},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Helzner08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Incurvati08,
  author       = {Luca Incurvati},
  title        = {On Adopting Kripke Semantics in Set Theory},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {81--96},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080088},
  doi          = {10.1017/S1755020308080088},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Incurvati08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/JohnsonP08,
  author       = {Matthew P. Johnson and
                  Rohit Parikh},
  title        = {Probabilistic Conditionals are Almost Monotonic},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {73--80},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080106},
  doi          = {10.1017/S1755020308080106},
  timestamp    = {Thu, 13 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsl/JohnsonP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Leitgeb08,
  author       = {Hannes Leitgeb},
  title        = {On the Probabilistic Convention {T}},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {218--224},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080167},
  doi          = {10.1017/S1755020308080167},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Leitgeb08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Leo08,
  author       = {Joop Leo},
  title        = {The Identity of Argument-Places},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {335--354},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080222},
  doi          = {10.1017/S1755020308080222},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Leo08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Maddy08,
  author       = {Penelope Maddy},
  title        = {How Applied Mathematics Became Pure},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {16--41},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080027},
  doi          = {10.1017/S1755020308080027},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Maddy08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/OshersonW08,
  author       = {Daniel N. Osherson and
                  Scott Weinstein},
  title        = {Recognizing Strong Random Reals},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {56--63},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080076},
  doi          = {10.1017/S1755020308080076},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/OshersonW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Parikh08,
  author       = {Rohit Parikh},
  title        = {Sentences, Belief and Logical Omniscience, or What does Deduction
                  Tell US?},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {459--476},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308090059},
  doi          = {10.1017/S1755020308090059},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Parikh08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Poggiolesi08,
  author       = {Francesca Poggiolesi},
  title        = {A Cut-Free Simple Sequent Calculus for Modal Logic {S5}},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {3--15},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080040},
  doi          = {10.1017/S1755020308080040},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Poggiolesi08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Priest08,
  author       = {Graham Priest},
  title        = {The closing of the Mind: How the particular Quantifier Became Existentially
                  Loaded behind our Backs},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {42--55},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080015},
  doi          = {10.1017/S1755020308080015},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Priest08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Priest08a,
  author       = {Graham Priest},
  title        = {Many-Valued Modal Logics: a Simple Approach},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {190--203},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080179},
  doi          = {10.1017/S1755020308080179},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Priest08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Restall08,
  author       = {Greg Restall},
  title        = {Modal Models for Bradwardine's Theory of Truth},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {225--240},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080180},
  doi          = {10.1017/S1755020308080180},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsl/Restall08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Schnieder08,
  author       = {Benjamin Schnieder},
  title        = {Truth-Functionality},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {64--72},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080052},
  doi          = {10.1017/S1755020308080052},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Schnieder08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/ShapiroU08,
  author       = {Stewart Shapiro and
                  Gabriel Uzquiano},
  title        = {Frege Meets Zermelo: a Perspective on ineffability and Reflection},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {241--266},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080192},
  doi          = {10.1017/S1755020308080192},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/ShapiroU08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Sillari08,
  author       = {Giacomo Sillari},
  title        = {Quantified Logic of Awareness and Impossible Possible Worlds},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {514--529},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308090072},
  doi          = {10.1017/S1755020308090072},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Sillari08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Tennant08,
  author       = {Neil Tennant},
  title        = {Belief-Revision, the Ramsey Test, monotonicity, and the so-Called
                  Impossibility Results},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {402--423},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308090023},
  doi          = {10.1017/S1755020308090023},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Tennant08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Welch08,
  author       = {Philip D. Welch},
  title        = {Ultimate Truth vis-{\`{a}}-vis stable Truth},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {126--142},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080118},
  doi          = {10.1017/S1755020308080118},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Welch08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Westerstahl08,
  author       = {Dag Westerst{\aa}hl},
  title        = {Decomposing generalized Quantifiers},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {355--371},
  year         = {2008},
  url          = {https://doi.org/10.1017/S1755020308080234},
  doi          = {10.1017/S1755020308080234},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Westerstahl08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/X08,
  title        = {The Review of Symbolic Logic},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {1--2},
  year         = {2008},
  url          = {https://doi.org/10.1017/S175502030808012X},
  doi          = {10.1017/S175502030808012X},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/X08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/X08a,
  title        = {Erratum},
  journal      = {Rev. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {393},
  year         = {2008},
  url          = {https://doi.org/10.1017/S175502030808026X},
  doi          = {10.1017/S175502030808026X},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/X08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics