Monday, May 15, 2006

Deontic scorekeeping in dynamic logic

This is just a small idea post. Would it be possible to model something like Brandom's deontic scorekeeping in a dynamic epistemic logic framework? You have assertions that change the model. You would need to add entitlement and commitment operators. I think commitment operators could be defined as something like the logical consequence relation. I'm not sure what the mechanics behind entitlement are, so I can't suggest anything for that. It might provide an interesting new interpretation to the standard dynamic epistemic logic interpretation. I'm not sure how the accessibility relation would need to be changed though. This will require reading Making It Explicit.

No comments: