1 citations · 1 across the 1 of their papers we have counts for
1 paper
Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas. Our framework uses the coinductive models and, hence, the results app…