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/bsl/bsl29.bht:"
download as .bib file
@article{DBLP:journals/bsl/AdamDayHM23,
author = {Bea Adam{-}Day and
John Howe and
Rosario Mennuni},
title = {On Double-Membership Graphs of Models of Anti-Foundation},
journal = {Bull. Symb. Log.},
volume = {29},
number = {1},
pages = {128--144},
year = {2023},
url = {https://doi.org/10.1017/bsl.2022.37},
doi = {10.1017/BSL.2022.37},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/AdamDayHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Bagaria23,
author = {Joan Bagaria},
title = {Large Cardinals As Principles of Structural Reflection},
journal = {Bull. Symb. Log.},
volume = {29},
number = {1},
pages = {19--70},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.2},
doi = {10.1017/BSL.2023.2},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Bagaria23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/BenthemI23,
author = {Johan van Benthem and
Thomas Icard},
title = {Interleaving Logic and Counting},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {503--587},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.30},
doi = {10.1017/BSL.2023.30},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/BenthemI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Bentzen23,
author = {Bruno Bentzen},
title = {John MacFarlane, Philosophical Logic: {A} Contemporary Introduction,
Routledge Contemporary Introductions to Philosophy, Routledge, New
York, and London, 2021, xx + 238 pp},
journal = {Bull. Symb. Log.},
volume = {29},
number = {3},
pages = {456--457},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.28},
doi = {10.1017/BSL.2023.28},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Bentzen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/BoneyCDH23,
author = {Will Boney and
Barbara F. Csima and
Nancy A. Day and
Matthew Harrison{-}Trainor},
title = {Which Classes of Structures Are Both Pseudo-Elementary and Definable
by an Infinitary Sentence?},
journal = {Bull. Symb. Log.},
volume = {29},
number = {1},
pages = {1--18},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.1},
doi = {10.1017/BSL.2023.1},
timestamp = {Sat, 22 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/BoneyCDH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Brauer23,
author = {Ethan Brauer},
title = {A Classical Modal Theory of Lawless sequences},
journal = {Bull. Symb. Log.},
volume = {29},
number = {3},
pages = {406--452},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.12},
doi = {10.1017/BSL.2023.12},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Brauer23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/CardonaMontoya23,
author = {Miguel Antonio Cardona{-}Montoya},
title = {Forcing theory and combinatorics of the real line},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {299--300},
year = {2023},
url = {https://doi.org/10.1017/bsl.2022.40},
doi = {10.1017/BSL.2022.40},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/CardonaMontoya23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Conidis23,
author = {Chris J. Conidis},
title = {D. D. Dzhafarov and C. Mummert, \emph{Reverse Mathematics: Problems,
Reductions, and Proofs.} Theory and Applications of Computability.
Springer Nature, Cham, 2022, xix + 488 pp},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {660--662},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.39},
doi = {10.1017/BSL.2023.39},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Conidis23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Damnjanovic23,
author = {Zlatan Damnjanovic},
title = {Tree Theory: interpretability between Weak First-order Theories of
Trees},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {465--502},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.5},
doi = {10.1017/BSL.2023.5},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Damnjanovic23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/DowneyM23,
author = {Rodney G. Downey and
Alexander G. Melnikov},
title = {Computably Compact Metric Spaces},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {170--263},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.16},
doi = {10.1017/BSL.2023.16},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DowneyM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/EisentragerMSW23,
author = {Kirsten Eisentr{\"{a}}ger and
Russell Miller and
Caleb Springer and
Linda Westrick},
title = {A Topological Approach to Undefinability in Algebraic Extensions of},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {626--655},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.37},
doi = {10.1017/BSL.2023.37},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/EisentragerMSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Elmitt23,
author = {Magdalen Elmitt},
title = {Katie Steele and H. Orri Stef{\'{a}}nsson. Beyond Uncertainty:
Reasoning with Unknown Possibilities. Elements in Decision Theory
and Philosophy. Cambridge University Press, Cambridge, UK, 2021, 110
pp},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {294--296},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.11},
doi = {10.1017/BSL.2023.11},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Elmitt23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Eskew23,
author = {Monroe Eskew},
title = {Incompatibility of Generic Hugeness Principles},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {157--162},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.4},
doi = {10.1017/BSL.2023.4},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Eskew23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/FujiwaraINSY23,
author = {Makoto Fujiwara and
Hajime Ishihara and
Takako Nemoto and
Nobu{-}Yuki Suzuki and
Keita Yokoyama},
title = {Extended Frames and Separations of Logical Principles},
journal = {Bull. Symb. Log.},
volume = {29},
number = {3},
pages = {311--353},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.29},
doi = {10.1017/BSL.2023.29},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/FujiwaraINSY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Gallinaro23,
author = {Francesco Paolo Gallinaro},
title = {Around Exponential-Algebraic Closedness},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {300},
year = {2023},
url = {https://doi.org/10.1017/bsl.2022.46},
doi = {10.1017/BSL.2022.46},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Gallinaro23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/HaleviK23,
author = {Yatir Halevi and
Itay Kaplan},
title = {Saturated Models for the Working Model theorist},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {163--169},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.6},
doi = {10.1017/BSL.2023.6},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/HaleviK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/HenneyTurnerHSW23,
author = {Christopher Henney{-}Turner and
Peter Holy and
Philipp Schlicht and
Philip D. Welch},
title = {Asymmetric Cut and Choose Games},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {588--625},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.31},
doi = {10.1017/BSL.2023.31},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/HenneyTurnerHSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Holland23,
author = {James Holland},
title = {Weak Indestructibility and Reflection},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {663},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.24},
doi = {10.1017/BSL.2023.24},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Holland23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/HrbacekK23,
author = {Karel Hrbacek and
Mikhail G. Katz},
title = {Constructing Nonstandard Hulls and Loeb Measures in Internal Set Theories},
journal = {Bull. Symb. Log.},
volume = {29},
number = {1},
pages = {97--127},
year = {2023},
url = {https://doi.org/10.1017/bsl.2022.43},
doi = {10.1017/BSL.2022.43},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/HrbacekK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/KavvosG23,
author = {G. A. Kavvos and
Daniel Gratzer},
title = {Under Lock and Key: a Proof System for a Multimodal Logic},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {264--293},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.14},
doi = {10.1017/BSL.2023.14},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/KavvosG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Kazmi23,
author = {Waseet Kazmi},
title = {Ordered Groups, Computability and Cantor-Bendixson Rank},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {664},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.26},
doi = {10.1017/BSL.2023.26},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Kazmi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Levinson23,
author = {Derek Levinson},
title = {John Steel and Hugh Woodin. \emph{HOD as a Core Model}. Ordinal Definability
and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander
Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol.
3, Cambridge University Press, Cambridge, pp. 257-345},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {656--657},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.34},
doi = {10.1017/BSL.2023.34},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Levinson23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Matet23,
author = {Pierre Matet},
title = {Menas's Conjecture Revisited},
journal = {Bull. Symb. Log.},
volume = {29},
number = {3},
pages = {354--405},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.15},
doi = {10.1017/BSL.2023.15},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Matet23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/McCartySK23,
author = {Charles McCarty and
Stewart Shapiro and
Ansten M{\o}rch Klev},
title = {The Axiom of Choice Is False Intuitionistically (in Most Contexts)},
journal = {Bull. Symb. Log.},
volume = {29},
number = {1},
pages = {71--96},
year = {2023},
url = {https://doi.org/10.1017/bsl.2022.22},
doi = {10.1017/BSL.2022.22},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/McCartySK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Mohammadpour23,
author = {Rahman Mohammadpour},
title = {New methods in forcing iteration and applications},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {300--302},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.7},
doi = {10.1017/BSL.2023.7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Mohammadpour23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Mourad23,
author = {Daniel Mourad},
title = {Computability Theory: Constructive Applications of the Lefthanded
Local Lemma and Characterizations of Some Classes of Cohesive Powers},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {664--665},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.27},
doi = {10.1017/BSL.2023.27},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Mourad23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Muller23,
author = {Moritz M{\"{u}}ller},
title = {Jan Kraj{\`{\i}}{\v{c}}ek, Proof Complexity, Encyclopedia of Mathematics
and Its Applications, no. 170, Cambridge University Press, Cambridge,
UK, 2019, xvi + 516 pp},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {296--297},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.13},
doi = {10.1017/BSL.2023.13},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Muller23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Pudlak23,
author = {Pavel Pudl{\'{a}}k},
title = {Reviews},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {657--660},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.38},
doi = {10.1017/BSL.2023.38},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Pudlak23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Scambler23,
author = {Chris Scambler},
title = {{THREE} {PAPERS} {ON} {RECENT} {WORK} {ON} {META-VALIDITY} - David
Ripley, \emph{One step is enough}. Journal of Philosophical Logic,
vol. 51 (2022), pp. 1233-1259. - Isabella McAllister, \emph{Classical
logic is not uniquely characterizable}. Journal of Philosophical Logic,
vol. 51 (2022), pp. 1345-1365. - Rea Golan, \emph{There is no tenable
notion of global metainferential validity}. Analysis, vol. 81 (2021),
no. 3, pp. 411-420},
journal = {Bull. Symb. Log.},
volume = {29},
number = {3},
pages = {453--456},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.17},
doi = {10.1017/BSL.2023.17},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Scambler23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Senadheera23,
author = {Dodamgodage Gihanee M. Senadheera},
title = {Effective Concept Classes of {PAC} and PACi Incomparable Degrees,
Joins and Embedding of Degrees},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {298--299},
year = {2023},
url = {https://doi.org/10.1017/bsl.2022.39},
doi = {10.1017/BSL.2022.39},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Senadheera23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Thewmorakot23,
author = {Teerawat Thewmorakot},
title = {Computability Theory on Polish Metric Spaces},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {664},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.25},
doi = {10.1017/BSL.2023.25},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Thewmorakot23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23,
title = {Association for Symbolic Logic},
journal = {Bull. Symb. Log.},
volume = {29},
number = {1},
pages = {145--149},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.3},
doi = {10.1017/BSL.2023.3},
timestamp = {Sat, 22 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23a,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {29},
number = {1},
pages = {150--156},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.8},
doi = {10.1017/BSL.2023.8},
timestamp = {Sat, 22 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23b,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {29},
number = {2},
pages = {303--309},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.19},
doi = {10.1017/BSL.2023.19},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X23b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23c,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {29},
number = {3},
pages = {458--464},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.33},
doi = {10.1017/BSL.2023.33},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X23c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23d,
title = {2023 {WINTER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
{LOGIC} Boston, Massachusetts Joint Mathematics Meeting January 6-7,
2023},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {666--671},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.18},
doi = {10.1017/BSL.2023.18},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X23d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23e,
title = {2023 {NORTH} {AMERICAN} {ANNUAL} {MEETING} {OF} {THE} {ASSOCIATION}
{FOR} {SYMBOLIC} {LOGIC} University of California, Irvine Irvine,
CA, {USA} March 25-29, 2023},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {672--695},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.22},
doi = {10.1017/BSL.2023.22},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X23e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23f,
title = {2023 {SPRING} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
{LOGIC} The Westin St. Francis, San Francisco, {CA} Pacific {APA}
Meeting April 5-6, 2023},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {696--702},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.23},
doi = {10.1017/BSL.2023.23},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X23f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23g,
title = {{THE} 19TH {LATIN} {AMERICAN} {SYMPOSIUM} {ON} {MATHEMATICAL} {LOGIC}
{OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} {XIX} {SIMPOSIO}
{LATINOAMERICANO} {DE} L{\'{O}}GICA MATEM{\'{A}}TICA Universidad
de Costa Rica San Jos{\'{e}}, Costa Rica July 26-31, 2022},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {703--724},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.32},
doi = {10.1017/BSL.2023.32},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X23g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23h,
title = {28th {WORKSHOP} {ON} LOGIC, LANGUAGE, {INFORMATION} {AND} {COMPUTATION}
(WoLLIC 2021) {CO-SPONSORED} {BY} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
{LOGIC} Virtual Event October 5-8, 2021},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {725},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.42},
doi = {10.1017/BSL.2023.42},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X23h.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X23i,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {29},
number = {4},
pages = {726--732},
year = {2023},
url = {https://doi.org/10.1017/bsl.2023.41},
doi = {10.1017/BSL.2023.41},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X23i.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-21 09:40 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:
