papers

• I have been writing a paper on ceteris paribus logic with Johan van Benthem and Olivier Roy and it is now almost ready for submission. It is a fairly long paper (40 pages) in which we show how to apply standard tools of modal logic to formalize various notions of preference, including Von Wright's ceteris paribus logic: Everything else being equal: A modal logic approach to ceteris paribus preferences.


• My work in belief revision so far as been in generalizing Segerberg's DDL logic for the AGM paradigm of belief revision. The generalization consists in taking revision to be relational rather than functional. It turns out that the resulting logic is identical to the minimal conditional logic of Veltman and Burgess. This paper was presented at the ESSLLI 2005 conference, in the Belief revision and dynamic logic workshop. It will be published in a special issue on belief revision in the Journal of applied non-classical logic: From Onions to Broccoli: Generalizing Lewis's counterfactual logic


• I wrote a survey of von Wright's preference logic, which might be helpful for anybody reading von Wright's manuscript: Von Wright's preference logic reconsidered


• I am working on a project of devising a standard Braille code for logic with Elizabeth Phillips and Jesse Alama. We submitted the following paper to BANA, the Braille Authority of North America: Toward A Standardized Braille Code for Logic
  Here is a cool article about Elizabeth's life and the infamous Bonds, who loves ice cubes.



• Here's a short paper about labeling methods for L5, the Gentzen-style system for S5, formulated with strict implication and no special modal operator. The paper was presented at LICS 2005, in the Intuitionistic modal logics and applications workshop.. Labeling sequents; its motivations and applications.