What are Your Powers? – Truth Set Algebras

08/08/2022

∙

by   Sophia Knight, et al.

∙

0

∙

share

The paper studies the interplay between modalities representing four different types of multistep strategies in the imperfect information setting. It introduces a new "truth set algebra” technique for proving undefinability, which is significantly different from the existing techniques based on bisimulation. The newly proposed technique is used to prove the undefinability of each of the four modalities through a combination of the three others.