Local Intuitionistic Modal Logics and Their Calculi.

Philippe Balbiani, Han Gao, igdem Gencer, Nicola Olivetti

Browse the full IJCAR paper archive.