A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic

Bulletin of the Section of Logic, Tom 32, Numer 4 (2003) s. 213-220
M.I. Golovanov, Vladimir V. Rybakov, E.M. Yurasova

 

do góry