Introducing Exclusion Logic as a Deontic Logic

DEON 2010 10 (1):179-195 (2010)
Download Edit this record How to cite View on PhilPapers
Abstract
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.
Categories
(categorize this paper)
PhilPapers/Archive ID
EVAIEL
Upload history
Archival date: 2010-07-28
View other versions
Added to PP index
2010-07-28

Total views
1,346 ( #2,475 of 57,023 )

Recent downloads (6 months)
73 ( #9,094 of 57,023 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.