12 citations · 29 across the 10 of their papers we have counts for
1 paper · 1 filter
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…