Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/rsl/rsl16.bht:"
download as .bib file
@article{DBLP:journals/rsl/BaccelliS23,
author = {Jean Baccelli and
Rush T. Stewart},
title = {Support for Geometric Pooling},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {298--337},
year = {2023},
url = {https://doi.org/10.1017/S1755020320000416},
doi = {10.1017/S1755020320000416},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BaccelliS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BaduraW23,
author = {Christopher Badura and
Heinrich Wansing},
title = {Stit-Logic for Imagination Episodes with voluntary input},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {813--861},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000514},
doi = {10.1017/S1755020321000514},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/BaduraW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BagariaT23,
author = {Joan Bagaria and
Claudio Ternullo},
title = {Steel's Programme: evidential Framework, the Core and ultimate-\emph{l}},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {788--812},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000447},
doi = {10.1017/S1755020321000447},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/BagariaT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BellomoM23,
author = {Anna Bellomo and
Guillaume Massas},
title = {Bolzano's Mathematical Infinite},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {59--113},
year = {2023},
url = {https://doi.org/10.1017/S1755020321000010},
doi = {10.1017/S1755020321000010},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/BellomoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BezhanishviliC23,
author = {Guram Bezhanishvili and
Luca Carai},
title = {Temporal Interpretation of Monadic Intuitionistic Quantifiers},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {164--187},
year = {2023},
url = {https://doi.org/10.1017/S1755020321000496},
doi = {10.1017/S1755020321000496},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/BezhanishviliC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BonnayW23,
author = {Denis Bonnay and
Dag Westerst{\aa}hl},
title = {Carnap's Problem for Modal Logic},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {578--602},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000083},
doi = {10.1017/S1755020321000083},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/BonnayW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/CastaldoS23,
author = {Luca Castaldo and
Johannes Stern},
title = {KF, PKF, and Reinhardt?s Program},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {33--58},
year = {2023},
url = {https://doi.org/10.1017/S1755020322000089},
doi = {10.1017/S1755020322000089},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/CastaldoS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Elgin23,
author = {Samuel Z. Elgin},
title = {The Semantic Foundations of Philosophical Analysis},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {603--623},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000046},
doi = {10.1017/S1755020321000046},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Elgin23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/ElkindZ23,
author = {Landon D. C. Elkind and
Richard Zach},
title = {The Genealogy of ''},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {862--899},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000587},
doi = {10.1017/S1755020321000587},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/ElkindZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/FazioLPJ23,
author = {Davide Fazio and
Antonio Ledda and
Francesco Paoli and
Gavin St. John},
title = {A Substructural Gentzen Calculus for Orthomodular quantum Logic},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1177--1198},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000016},
doi = {10.1017/S1755020322000016},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/FazioLPJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Ferenz23,
author = {Nicholas Ferenz},
title = {Quantified Modal Relevant Logics},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {210--240},
year = {2023},
url = {https://doi.org/10.1017/S1755020321000216},
doi = {10.1017/S1755020321000216},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Ferenz23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/FischerNF23,
author = {Martin Fischer and
Carlo Nicolai and
Pablo Dopico Fernandez},
title = {Nonclassical Truth with Classical strength. {A} Proof-Theoretic Analysis
of Compositional Truth over Hype},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {425--448},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000137},
doi = {10.1017/S1755020321000137},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/FischerNF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Fritz23,
author = {Peter Fritz},
title = {Operands and Instances},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {188--209},
year = {2023},
url = {https://doi.org/10.1017/S175502032100040X},
doi = {10.1017/S175502032100040X},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Fritz23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Gandon23,
author = {S{\'{e}}bastien Gandon},
title = {Interpretation, Logic and Philosophy: Jean Nicod's \emph{Geometry
in the sensible World}},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1080--1109},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000253},
doi = {10.1017/S1755020321000253},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Gandon23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Golan23,
author = {Rea Golan},
title = {A Simple Sequent System for minimally Inconsistent {LP}},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1296--1311},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000090},
doi = {10.1017/S1755020322000090},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Golan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GrabmayrV23,
author = {Balthasar Grabmayr and
Albert Visser},
title = {Self-Reference Upfront: a Study of Self-Referential G{\"{o}}del
Numberings},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {385--424},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000393},
doi = {10.1017/S1755020321000393},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/GrabmayrV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GrillettiC23,
author = {Gianluca Grilletti and
Ivano Ciardelli},
title = {Games and Cardinalities in Inquisitive First-Order Logic},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {241--267},
year = {2023},
url = {https://doi.org/10.1017/S1755020321000198},
doi = {10.1017/S1755020321000198},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/GrillettiC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/GruszczynskiP23,
author = {Rafal Gruszczynski and
Andrzej Pietruszczak},
title = {Grzegorczyk Points and filters in Boolean contact Algebras},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {509--528},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000459},
doi = {10.1017/S1755020321000459},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/GruszczynskiP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Hodges23,
author = {Wilfrid Hodges},
title = {A Correctness Proof for al-Barak{\={a}}T's Logical Diagrams},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {369--384},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000332},
doi = {10.1017/S1755020321000332},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Hodges23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Indrzejczak23,
author = {Andrzej Indrzejczak},
title = {Russellian Definite Description Theory - a Proof Theoretic Approach},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {624--649},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000289},
doi = {10.1017/S1755020321000289},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Indrzejczak23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Knoks23,
author = {Aleks Knoks},
title = {Conciliatory Reasoning, Self-Defeat, and Abstract Argumentation},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {740--787},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000502},
doi = {10.1017/S1755020321000502},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Knoks23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Korbmacher23,
author = {Johannes Korbmacher},
title = {Proof Systems for exact Entailment},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1260--1295},
year = {2023},
url = {https://doi.org/10.1017/s175502032200020x},
doi = {10.1017/S175502032200020X},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Korbmacher23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Kripke23,
author = {Saul Aaron Kripke},
title = {G{\"{o}}del's Theorem and Direct Self-Reference},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {650--654},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000526},
doi = {10.1017/S1755020321000526},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Kripke23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Leitgeb23,
author = {Hannes Leitgeb},
title = {Ramsification and Semantic Indeterminacy},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {900--950},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000599},
doi = {10.1017/S1755020321000599},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Leitgeb23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Lethen23,
author = {Tim Lethen},
title = {G{\"{o}}del on Many-Valued Logic},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {655--671},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000034},
doi = {10.1017/S1755020321000034},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Lethen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/LinneboS23,
author = {{\O}ystein Linnebo and
Stewart Shapiro},
title = {Predicativism as a Form of Potentialism},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {1--32},
year = {2023},
url = {https://doi.org/10.1017/S1755020321000423},
doi = {10.1017/S1755020321000423},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/LinneboS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/MackerethA23,
author = {Stephen Mackereth and
Jeremy Avigad},
title = {Two-Sorted Frege Arithmetic is not conservative},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1199--1232},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000156},
doi = {10.1017/S1755020322000156},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/MackerethA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Marti23,
author = {Johannes Marti},
title = {Conditional Logic is Complete for convexity in the plane},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {529--552},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000356},
doi = {10.1017/S1755020321000356},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Marti23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Molinari23,
author = {Giacomo Molinari},
title = {Towards the Inevitability of non-Classical Probability},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1053--1079},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000053},
doi = {10.1017/S1755020322000053},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Molinari23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/MoroniT23,
author = {Mart{\'{\i}}n Santiago Moroni and
Pedro S{\'{a}}nchez Terraf},
title = {The Zhou Ordinal of Labelled Markov Processes over separable Spaces},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1011--1032},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000375},
doi = {10.1017/S1755020322000375},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/MoroniT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Niki23,
author = {Satoru Niki},
title = {Improving Strong Negation},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {951--977},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000290},
doi = {10.1017/S1755020321000290},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Niki23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/PavlovicG23,
author = {Edi Pavlovic and
Norbert Gratzl},
title = {Abstract Forms of Quantification in the Quantified Argument Calculus},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {449--479},
year = {2023},
url = {https://doi.org/10.1017/s175502032100006x},
doi = {10.1017/S175502032100006X},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/PavlovicG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Petersen23,
author = {Uwe Petersen},
title = {On Zardini's Rules for multiplicative Quantification as the Source
of contra(di)Ctions},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1110--1119},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000284},
doi = {10.1017/S1755020322000284},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Petersen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/PiazzaPT23,
author = {Mario Piazza and
Gabriele Pulcini and
Matteo Tesi},
title = {Fractional-Valued Modal Logic},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1033--1052},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000411},
doi = {10.1017/S1755020321000411},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/PiazzaPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Prenosil23,
author = {Adam Prenosil},
title = {The Lattice of Super-Belnap Logics},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {114--163},
year = {2023},
url = {https://doi.org/10.1017/S1755020321000204},
doi = {10.1017/S1755020321000204},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Prenosil23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Rad23,
author = {Soroush Rafiee Rad},
title = {Probabilistic Entailment on First order Languages and Reasoning with
Inconsistencies},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {351--368},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000235},
doi = {10.1017/S1755020322000235},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Rad23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/RestallS23,
author = {Greg Restall and
Shawn Standefer},
title = {Collection Frames for Distributive Substructural Logics},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1120--1157},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000272},
doi = {10.1017/S1755020322000272},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/RestallS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/RobertsS23,
author = {Sam Roberts and
Stewart Shapiro},
title = {Hume's Principle, Bad Company, and the Axiom of Choice},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1158--1176},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000144},
doi = {10.1017/S1755020322000144},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/RobertsS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Ryan23,
author = {Patrick J. Ryan},
title = {Szemer{\'{e}}di's Theorem: an Exploration of impurity, Explanation,
and Content},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {700--739},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000538},
doi = {10.1017/S1755020321000538},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Ryan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/SereniFZ23,
author = {Andrea Sereni and
Maria Paola Sforza Fogliani and
Luca Zanetti},
title = {For Better and for Worse. Abstractionism, Good Company, and Pluralism},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {268--297},
year = {2023},
url = {https://doi.org/10.1017/S1755020321000113},
doi = {10.1017/S1755020321000113},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/SereniFZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/SiskindMS23,
author = {Benjamin Siskind and
Paolo Mancosu and
Stewart Shapiro},
title = {A note on Choice Principles in second-order Logic},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {339--350},
year = {2023},
url = {https://doi.org/10.1017/s1755020320000301},
doi = {10.1017/S1755020320000301},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/SiskindMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Stafford23,
author = {Will Stafford},
title = {The potential in Frege's Theorem},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {553--577},
year = {2023},
url = {https://doi.org/10.1017/s1755020320000349},
doi = {10.1017/S1755020320000349},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Stafford23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Tanter23,
author = {Kai Tanter},
title = {Subatomic Inferences: an inferentialist Semantics for Atomics, Predicates,
and Names},
journal = {Rev. Symb. Log.},
volume = {16},
number = {3},
pages = {672--699},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000320},
doi = {10.1017/S1755020321000320},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/Tanter23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/TarafderV23,
author = {Sourav Tarafder and
Giorgio Venturi},
title = {Independence Proofs in non-Classical Set Theories},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {979--1010},
year = {2023},
url = {https://doi.org/10.1017/s1755020321000095},
doi = {10.1017/S1755020321000095},
timestamp = {Fri, 15 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/TarafderV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/TattonBrown23,
author = {Oliver Tatton{-}Brown},
title = {Rigour and Proof ? Corrigendum},
journal = {Rev. Symb. Log.},
volume = {16},
number = {1},
pages = {338},
year = {2023},
url = {https://doi.org/10.1017/S1755020322000028},
doi = {10.1017/S1755020322000028},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/TattonBrown23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/TattonBrown23a,
author = {Oliver Tatton{-}Brown},
title = {Rigour and Proof},
journal = {Rev. Symb. Log.},
volume = {16},
number = {2},
pages = {480--508},
year = {2023},
url = {https://doi.org/10.1017/s1755020320000398},
doi = {10.1017/S1755020320000398},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/TattonBrown23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/TornquistM23,
author = {Asger T{\"{o}}rnquist and
Jens Mammen},
title = {Set Theory and a Model of the Mind in Psychology},
journal = {Rev. Symb. Log.},
volume = {16},
number = {4},
pages = {1233--1259},
year = {2023},
url = {https://doi.org/10.1017/s1755020322000107},
doi = {10.1017/S1755020322000107},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/TornquistM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-22 03:43 CEST 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:
