Kripke-type Semantics for

Verónica Borja Macías, Miguel Pérez-Gaspar. Kripke-type Semantics for. Electronic Notes in Theoretical Computer Science, 328:17-29, 2016. [doi]

Abstract

Abstract is missing.