Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"Kurahashi, Taishi",The provability logic of all provability predicates,Journal of Logic and Computation,0955-792X,Oxford University Press,2023-09-25,34,6,1108-1135,https://cir.nii.ac.jp/crid/1050020209661300864,https://doi.org/10.1093/logcom/exad060