LOGIC AND THE FOUNDATIONS OF THE THEORY OF GAMES AND DECISIONS
A SIMPLE MODAL LOGIC FOR BELIEF REVISION
PROLEGOMENA TO DYNAMIC LOGIC FOR BELIEF REVISION
FROM KNOWLEDGE-BASED PROGRAMS TO GRADED BELIEF-BASED PROGRAMS, PART I
ORDER-INDEPENDENT TRANSFORMATIVE DECISION RULES
A PRAGMATIC SOLUTION FOR THE PARADOX OF FREE CHOICE PERMISSION
A LOGICAL FRAMEWORK FOR CONVENTION