1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Davide Catta, Rustam Galimullin, Munyque Mittelmann
In recent years, there has been growing interest in logics that formalise strategic reasoning about agents capable of modifying the structure of a given model. This line of researc…