A Temporal Semantics for Basic Logic

Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra. A Temporal Semantics for Basic Logic. Studia Logica, 92(2):147-162, 2009. [doi]

Abstract

Abstract is missing.