Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus

Bulletin of the Section of Logic, Tom 45, Numer 2 (2016) s. 125-140
Andrzej Indrzejczak

 

do góry