Education: Ph.D. 1984 UCLA

MathSciNet: Click Here

Math Genealogy:  Click Here

Main Research Group:  Logic

Research Interests:   Applied logic, coalgebra, natural logic, epistemic logic