Inductive Inference and Epistemic Modal Logic (Invited Talk)

Nina Gierasimczuk. Inductive Inference and Epistemic Modal Logic (Invited Talk). In Bartek Klin, Elaine Pimentel, editors, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland. Volume 252 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Abstract

Abstract is missing.