American logician and philosopher who extended the stit theory of agency to deontic logic, developing a formal theory of obligation based on agency in branching time, and contributed to the logic of defaults and reasons.
Deontic stit: obligation is analyzed in terms of what agents must see to it that they bring about; this grounds deontic logic in a theory of agency and responsibility. Default logic: developed a preferential default logic that avoids problems with Reiter's original system. Reasons as defaults: practical reasons function as default rules.
No recorded minds influenced.
Discussing
Ask anything about John Horty — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.