Decidability and Expressivity of Ockhamist Propositional Dynamic Logics.

Joseph Boudou, Emiliano Lorini

Browse the full JELIA paper archive.