Exhaustively axiomatizing S3-> and S4-> with a select list of representative theses

Bulletin of the Section of Logic, Tom 17, Numer 1 (1988) s. 15-22
Jose M. Mendez

 

do góry