62 research outputs found
Introducing Exclusion Logic as a Deontic Logic
This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
- …