Modality, Bisimulation and Interpolation in Infinitary Logic | Institute for Logic, Language and Computation

Mathematical Logic and Foundations (ML) Series (1988-1998)

ML-1997-06:: Johan van Benthem Modality, Bisimulation and Interpolation in Infinitary Logic
1.Full Text, 2.Abstract.

Back