Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Emilio Muñoz-Velasco

Original record
Institution
Universidad de Málaga
Year
2003
Country
Spain
MGP identifier
193467

Dissertation: Functional Semantics for Temporal x Modal Logics. Definability and Completeness.

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisors 2

Students 0

No students recorded in this snapshot.

Genealogy