DEON 2010 10 (1):179-195 (2010)
Authors |
|
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.
|
Keywords | deontic material incompatibility hierarchical finite state machine |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
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.
Similar books and articles
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic.J. -J. Ch Meyer - 1987 - Notre Dame Journal of Formal Logic 29 (1):109-136.
Deontic Logic and the Possibility of Moral Conflict.Michael J. Almeida - 1990 - Erkenntnis 33 (1):57 - 71.
On Paraconsistent Deontic Logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
Analytics
Added to PP index
2010-07-28
Total views
1,576 ( #3,174 of 2,507,484 )
Recent downloads (6 months)
100 ( #7,379 of 2,507,484 )
2010-07-28
Total views
1,576 ( #3,174 of 2,507,484 )
Recent downloads (6 months)
100 ( #7,379 of 2,507,484 )
How can I increase my downloads?
Downloads