| DΔL: a dynamic deontic logic. | 4 | 0.50 | 2012 |
| A Modal Logic of Metaphor | 0 | 0.34 | 2011 |
| SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION | 1 | 0.48 | 2010 |
| Blueprint for a dynamic deontic logic | 2 | 0.38 | 2009 |
| Dynamic doxastic logic: why, how, and where to? | 13 | 1.02 | 2007 |
| A blueprint for deontic logic in three (not necessarily easy) steps | 2 | 0.42 | 2007 |
| Advances in Modal Logic 2, papers from the second workshop on "Advances in Modal logic," held in Uppsala, Sweden, 1998 | 17 | 5.51 | 2000 |
| Outline of a Logic of Action | 7 | 0.67 | 2000 |
| The Origins of Modern Modal Logic | 1 | 0.39 | 1998 |
| Irrevocable Belief Revision in Dynamic Doxastic Logic | 30 | 1.91 | 1998 |
| Proposal for a theory of belief revision along the lines of Lindström and Rabinowicz | 1 | 0.35 | 1997 |
| Modal Logics in the Vicinity of S1 | 8 | 1.03 | 1996 |
| The Delta Operator at Three Levels of Analysis | 1 | 0.39 | 1996 |
| Belief Revision From the Point of View of Doxastic Logic | 32 | 3.52 | 1995 |
| Modal logics with the Macintosh rule | 2 | 0.57 | 1994 |
| Actual truth, possible knowledge | 9 | 1.18 | 1994 |
| A model existence theorem in infinitary propositional modal logic | 11 | 2.00 | 1994 |
| Getting started: Beginnings in the Logic of Action | 34 | 5.12 | 1992 |
| Action Incompleteness | 1 | 0.40 | 1992 |
| Validity and Satisfaction in Imperative Logic | 10 | 1.48 | 1990 |
| Bringing It About | 39 | 6.29 | 1989 |
| Notes on conditional logic | 13 | 1.10 | 1989 |
| Meeting of the Association for Symbolic Logic: Auckland, 1986 | 1 | 0.38 | 1988 |
| Talking about actions | 0 | 0.34 | 1988 |
| Modal logics with functional alternative relations. | 6 | 1.12 | 1986 |
| ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION | 2 | 1.39 | 1983 |
| The logic of deliberate action | 4 | 2.28 | 1982 |
| SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC | 258 | 185.65 | 1976 |
| The Truth about Some Post Numbers | 3 | 0.87 | 1976 |
| Two-dimensional modal logic | 62 | 17.62 | 1973 |
| Post Completeness In Modal Logic | 3 | 0.64 | 1972 |
