Modal logic and the approximation induction principle (0)

by M Gazda, W J Fokkink
Venue:Mathematical Structures in Computer Science