Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Konstantinos Papafilippou"'
Publikováno v:
Logical Foundations of Computer Science ISBN: 9783030930998
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32335dcb7e93611fa6073173f03f3f01
https://doi.org/10.1007/978-3-030-93100-1_5
https://doi.org/10.1007/978-3-030-93100-1_5
Autor:
David FernÁndez-Duque, Joost J Joosten, Fedor Pakhomov, Konstantinos Papafilippou, Andreas Weierman
Japaridze's provability logic $GLP$ has one modality $[n]$ for each natural number and has been used by Beklemishev for a proof theoretic analysis of Peano aritmetic $(PA)$ and related theories. Among other benefits, this analysis yields the so-calle
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa50cb1ad46d4d391d126744c327522c
Publikováno v:
Bulletin of Symbolic Logic; Dec2022, Vol. 28 Issue 4, p566-606, 41p
Autor:
FernÁndez-Duque, David, Joosten, Joost J, Pakhomov, Fedor, Papafilippou, Konstantinos, Weierman, Andreas
Publikováno v:
Journal of Logic & Computation; Dec2022, Vol. 32 Issue 8, p1558-1584, 27p
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were carefully reviewed and
This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held virtually.The 48 full papers presented in this volu