Decidability of Modal Logics S4+αN, S4+ξN+1 w.r.t. Admissible Inference Rules

Bulletin of the Section of Logic, Tom 30, Numer 4 (2001) s. 181-189
A.N. Rutskiy

 

do góry