Constructing Counter-Models for Modal Logic K4 from Refutation Trees

Bulletin of the Section of Logic, Tom 31, Numer 2 (2002) s. 81-90
Motohiko Mouri

 

do góry