Unification in Common Knowledge Logics

Bulletin of the Section of Logic, Tom 31, Numer 4 (2002) s. 207-215
Vladimir V. Rybakov

 

do góry