A Kripke-style semantics for R-mingle using a binary accessibility relation
scientific article; zbMATH DE number 3513746