A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus.

Philippe Balbiani, Han Gao, igdem Gencer, Nicola Olivetti

Browse the full CSL paper archive.