Hennessy-Milner Theorem for Interpretability Logic

Bulletin of the Section of Logic, Tom 34, Numer 4 (2005) s. 195-201
Mladen Vukovic

 

do góry