Order-theoretic, geometric and combinatorial models of intuitionnistic s4 proofs (1999)

by J Goubault-Larrecq, E Goubault
Venue:In Intuitionistic Modal Logics and Applications (IMLA’99