DOI10.1007/s10849-022-09359-wMaRDI QIDQ2155207
Alexandru Baltag, Dazhu Li, Mina Young Pedersen
Publication date: 15 July 2022 Published in: Journal of Logic, Language and Information (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10849-022-09359-w
zbMATH Keywords
undecidability; modal logic; dynamic logic; graph games; formal learning theory
Mathematics Subject Classification ID
03-XX: Mathematical logic and foundations
68-XX: Computer science