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
Revision history
Archival date: 2010-07-28
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Representation, Analytic Pragmatism and AI.Raffaela Giovagnoli - 2013 - In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 161--169.

Add more citations

Added to PP index
2010-07-28

Total views
1,224 ( #2,235 of 50,241 )

Recent downloads (6 months)
108 ( #4,457 of 50,241 )

How can I increase my downloads?

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