On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge

Bulletin of the Section of Logic, Tom 31, Numer 1 (2002) s. 27-36
Renate A. Schmidt, Dmitry Tishkovsky

 

do góry