"Intuitionistic axiomatizations for bounded extension Kripke models."

Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics