A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. - Gianluigi Bellin; Kurt Ranalter (J. Log. Comput., 2003)

A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication. - Kurt Ranalter (Fundam. Informaticae, 2008)

Embedding Constructive K into Intuitionistic K. - Kurt Ranalter (M4M, 2009)

Abstract Machines for Argumentation. - Kurt Ranalter (LACL, 2012)