Valeria Nikoleva gave a talk at the workshop "From the Logical Point of View"
On June 7, Valeria Nikolaeva, an intern researcher at IL LogLinFF, made a presentation on the topic of "The Search for Bisimulation in Python" at the research workshop "From the Logical Point of View".
Abstract
The bisimulation between the finite Kripke models suggests their structural similarity, namely that there is no formula that can be used to distinguish them. I am going to show an example of an algorithm for searching for bisimulation between two given marked models. The program supports epistemic logic with multi-agent interactions, and it can also be used to find a minimal model that is bisimulating with this one.