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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.