Propositional dynamic logic in two- and more dimensions

1987

Assen Petkov

in: Mathematical logic and its applications, Berlin,