b. 1955
John Horty is an American philosopher and Professor at the University of Maryland, College Park, specializing in philosophical logic, deontic logic, and the logic of practical reasoning. He is known for his work on default logic, precedent in legal reasoning, and agency in branching-time frameworks.
Developed influential work on agency and obligation in branching time (stit theory)
Authored 'Agency and Deontic Logic' (2001)
Authored 'Reasons as Defaults' (2012), advancing default logic for practical reasoning
Contributed to the formal analysis of precedent in legal reasoning
Professor at the University of Maryland's Institute for Advanced Computer Studies and Department of Philosophy