Software Tool Support for Modular Reasoning in Modal Logics of Actions.

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Browse the full ITP paper archive.