Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Seung Soo Park

Original record
Institution
University of Texas at Austin
Year
1988
Country
United States
MGP identifier
295449

Dissertation: On formalizing commonsense reasoning using the modal situation logic and reflective reasoning

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisors 2

Students 0

No students recorded in this snapshot.

Genealogy