Decidability of tense logics

Bulletin of the Section of Logic, Tom 24, Numer 1 (1995) s. 46-50
Frank Wolter

 

do góry