A mechanized decision procedure for non-classical logics: The program KRIPKE

Bulletin of the Section of Logic, Tom 9, Numer 4 (1980) s. 189-192
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer

 

do góry