Sciweavers

MLQ
2010

Analyzing completeness of axiomatic functional systems for temporal × modal logics

13 years 11 months ago
Analyzing completeness of axiomatic functional systems for temporal × modal logics
Alfredo Burrieza, Inmaculada Perez de Guzmá
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where MLQ
Authors Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco
Comments (0)