![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/rsl/rsl17.bht:"
@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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.