234 followers
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. - Philippe Balbiani, Joseph… http://t.co/IGJ2itoMVz
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. - Philippe Balbiani, Joseph… http://t.co/IGJ2itoMVz