Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni. Temporalizing Epistemic Logic L-DINF. In Roberta Calegari, Giovanni Ciatto, Andrea Omicini, editors, Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. Volume 3204 of CEUR Workshop Proceedings, pages 119-133, CEUR-WS.org, 2022. [doi]
Abstract is missing.