Gianluigi Bellin Kurt Ranalter A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. 755-775 2003 13 J. Log. Comput. 5 http://dx.doi.org/10.1093/logcom/13.5.755 db/journals/logcom/logcom13.html#BellinR03