A Note on Semantics of the Interpretability Logic IL(KW1)

Bulletin of the Section of Logic, Tom 32, Numer 3 (2003) s. 109-115
Mladen Vukovic

 

do góry