Search dblp for Publications

export results for "toc:db/journals/bsl/bsl30.bht:"

 download as .bib file

@article{DBLP:journals/bsl/Avron24,
  author       = {Arnon Avron},
  title        = {Poincar{\'{e}}-Weyl's Predicativity: going beyond},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {41--91},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.2},
  doi          = {10.1017/BSL.2024.2},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Avron24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/FernandezDuqueW24,
  author       = {David Fern{\'{a}}ndez{-}Duque and
                  Andreas Weiermann},
  title        = {A Walk with Goodstein},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {1--19},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.1},
  doi          = {10.1017/BSL.2024.1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/FernandezDuqueW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Krajicek24,
  author       = {Jan Kraj{\'{\i}}cek},
  title        = {On the existence of Strong Proof Complexity Generators},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {20--40},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2023.40},
  doi          = {10.1017/BSL.2023.40},
  timestamp    = {Sat, 04 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Krajicek24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Uzquiano24,
  author       = {Gabriel Uzquiano},
  title        = {Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy,
                  vol. {CXIX} (2022), no. 8, pp. 405-424},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {92--93},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.6},
  doi          = {10.1017/BSL.2024.6},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Uzquiano24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X24,
  title        = {{BSL} volume 30 issue 1 Cover and Front matter},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {1},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.20},
  doi          = {10.1017/BSL.2024.20},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X24a,
  title        = {{BSL} volume 30 issue 1 Cover and Back matter},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {1},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.21},
  doi          = {10.1017/BSL.2024.21},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X24a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X24b,
  title        = {2023 {EUROPEAN} {SUMMER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR}
                  {SYMBOLIC} {LOGIC} {LOGIC} {COLLOQUIUM} 2023 University of Milan Milan,
                  Italy June 5 - June 9, 2023},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {94--139},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.15},
  doi          = {10.1017/BSL.2024.15},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X24b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X24c,
  title        = {{SEVENTEENTH} {ASIAN} {LOGIC} {CONFERENCE} {AN} {OFFICIAL} {MEETING}
                  {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} Nankai University
                  Tianjin, China October 9-13, 2023},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {140--151},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.18},
  doi          = {10.1017/BSL.2024.18},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X24c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X24d,
  title        = {2023 {MEETING} {OF} {THE} {AUSTRALASIAN} {ASSOCIATION} {FOR} {LOGIC}
                  University of Queensland Brisbane, Australia 9-10 November, 2023},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {152--165},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.16},
  doi          = {10.1017/BSL.2024.16},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X24d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X24e,
  title        = {2024 {WINTER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
                  {LOGIC} San Francisco, California Joint Mathematics Meeting January
                  3-6, 2024},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {166--171},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.17},
  doi          = {10.1017/BSL.2024.17},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X24e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X24f,
  title        = {2024 {SPRING} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
                  {LOGIC} The Sheraton Times Square, New York, {NY} Eastern {APA} Meeting
                  January 15-18, 2024},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {172--175},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.19},
  doi          = {10.1017/BSL.2024.19},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X24f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X24g,
  title        = {Association for Symbolic Logic},
  journal      = {Bull. Symb. Log.},
  volume       = {30},
  number       = {1},
  pages        = {176--180},
  year         = {2024},
  url          = {https://doi.org/10.1017/bsl.2024.14},
  doi          = {10.1017/BSL.2024.14},
  timestamp    = {Sun, 14 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X24g.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.