no code implementations • 29 Mar 2013 • Carlos Areces, Guillaume Hoffmann, Ezequiel Orbe
We generalize the notion of symmetries of propositional formulas in conjunctive normal form to modal formulas.