Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/rsl/AcostaV24,
  author       = {Ignacio Bellas Acosta and
                  Yde Venema},
  title        = {Counting to infinity: Graded Modal Logic with an infinity Diamond},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {1--35},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000247},
  doi          = {10.1017/S1755020322000247},
  timestamp    = {Fri, 10 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/AcostaV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/BartonW24,
  author       = {Neil Barton and
                  Kameryn J. Williams},
  title        = {Varieties of class-Theoretic Potentialism},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {272--304},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000126},
  doi          = {10.1017/S1755020323000126},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/BartonW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Belastegui24,
  author       = {Javier Belastegui},
  title        = {Natural kind Semantics for a Classical essentialist Theory of Kinds},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {509--545},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000351},
  doi          = {10.1017/S1755020322000351},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Belastegui24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Belot24,
  author       = {Gordon Belot},
  title        = {Unprincipled},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {435--474},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000151},
  doi          = {10.1017/S1755020323000151},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Belot24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/ChenM24,
  author       = {Qian Chen and
                  Minghui Ma},
  title        = {Tabularity and Post-Completeness in Tense Logic},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {475--492},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000132},
  doi          = {10.1017/S1755020322000132},
  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/ChenM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/CieslinskiHL24,
  author       = {Cezary Cieslinski and
                  Leon Horsten and
                  Hannes Leitgeb},
  title        = {Axioms for Type-Free subjective Probability},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {493--508},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000047},
  doi          = {10.1017/S1755020323000047},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/CieslinskiHL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/FernandezDuque24,
  author       = {David Fern{\'{a}}ndez{-}Duque},
  title        = {Taming the 'elsewhere': on Expressivity of Topological Languages},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {144--153},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000120},
  doi          = {10.1017/S1755020322000120},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/FernandezDuque24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/GarapaR24,
  author       = {Marco Garapa and
                  Maur{\'{\i}}cio D. Lu{\'{\i}}s Reis},
  title        = {Generalized Partial Meet and Kernel contractions},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {366--394},
  year         = {2024},
  url          = {https://doi.org/10.1017/s175502032200034x},
  doi          = {10.1017/S175502032200034X},
  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/GarapaR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/KatzKSU24,
  author       = {Mikhail G. Katz and
                  Karl Kuhlemann and
                  David Sherry and
                  Monica Ugaglia},
  title        = {Leibniz on Bodies and infinities: \emph{RERUM Natura} and Mathematical
                  Fictions},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {36--66},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020321000575},
  doi          = {10.1017/S1755020321000575},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/KatzKSU24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Kocurek24,
  author       = {Alexander W. Kocurek},
  title        = {The Logic of Hyperlogic. Part a: Foundations},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {244--271},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000193},
  doi          = {10.1017/S1755020322000193},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Kocurek24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Kolmakov24,
  author       = {Evgeny Kolmakov},
  title        = {On Shavrukov's non-Isomorphism Theorem for diagonalizable Algebras},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {206--243},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000302},
  doi          = {10.1017/S1755020322000302},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Kolmakov24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/KurahashiO24,
  author       = {Taishi Kurahashi and
                  Motoki Okuda},
  title        = {Disjunction and existence Properties in Modal Arithmetic},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {178--205},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000363},
  doi          = {10.1017/S1755020322000363},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/KurahashiO24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Martinot24,
  author       = {Robin Martinot},
  title        = {Ontological purity for Formal Proofs},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {395--434},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000333},
  doi          = {10.1017/S1755020323000333},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Martinot24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Meadows24,
  author       = {Toby Meadows},
  title        = {What is a Restrictive Theory?},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {67--105},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000181},
  doi          = {10.1017/S1755020322000181},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Meadows24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/MosseII24,
  author       = {Milan Moss{\'{e}} and
                  Duligur Ibeling and
                  Thomas Icard},
  title        = {Is Causal Reasoning Harder than Probabilistic Reasoning?},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {106--131},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000211},
  doi          = {10.1017/S1755020322000211},
  timestamp    = {Fri, 10 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/MosseII24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/OlkhovikovB24,
  author       = {Grigory K. Olkhovikov and
                  Guillermo Badia},
  title        = {Craig interpolation Theorem Fails in bi-intuitionistic Predicate Logic},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {611--633},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000296},
  doi          = {10.1017/S1755020322000296},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/OlkhovikovB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Piermont24,
  author       = {Evan Piermont},
  title        = {Algebraic Semantics for Relative Truth, Awareness, and possibility},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {154--177},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000308},
  doi          = {10.1017/S1755020323000308},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Piermont24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Pruss24,
  author       = {Alexander R. Pruss},
  title        = {Necessary and sufficient conditions for domination Results for Proper
                  Scoring Rules},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {132--143},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000035},
  doi          = {10.1017/S1755020323000035},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Pruss24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Soysal24,
  author       = {Zeynep Soysal},
  title        = {An Algorithmic Impossible-Worlds Model of Belief and Knowledge},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {586--610},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000059},
  doi          = {10.1017/S1755020323000059},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Soysal24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/TattonBrown24,
  author       = {Oliver Tatton{-}Brown},
  title        = {Plural Ancestral Logic as the Logic of Arithmetic},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {305--342},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020322000041},
  doi          = {10.1017/S1755020322000041},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/TattonBrown24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/VenturiV24,
  author       = {Giorgio Venturi and
                  Matteo Viale},
  title        = {What Model Companionship can Say about the continuum Problem},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {546--585},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020323000102},
  doi          = {10.1017/S1755020323000102},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/VenturiV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/Wehmeier24,
  author       = {Kai Frederick Wehmeier},
  title        = {On Quantification and Extensionality},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {2},
  pages        = {343--365},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020324000066},
  doi          = {10.1017/S1755020324000066},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/Wehmeier24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/X24,
  title        = {{RSL} volume 17 issue 1 Cover and Front matter},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {1},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020324000030},
  doi          = {10.1017/S1755020324000030},
  timestamp    = {Fri, 10 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/X24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rsl/X24a,
  title        = {{RSL} volume 17 issue 1 Cover and Back matter},
  journal      = {Rev. Symb. Log.},
  volume       = {17},
  number       = {1},
  pages        = {1},
  year         = {2024},
  url          = {https://doi.org/10.1017/s1755020324000042},
  doi          = {10.1017/S1755020324000042},
  timestamp    = {Fri, 10 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsl/X24a.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.