Repository | Directory | Profile
Assen Petkov
Propositional dynamic logic in two- and more dimensions
1987
in: Mathematical logic and its applications, Dordrecht : Springer
Repository | Directory | Profile
Propositional dynamic logic in two- and more dimensions
1987
in: Mathematical logic and its applications, Dordrecht : Springer