Indexed Flows in Temporal x Modal Logic with Functional Semantics

Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco. Indexed Flows in Temporal x Modal Logic with Functional Semantics. In TIME. pages 146, 2002. [doi]

Abstract

Abstract is missing.