J.-J.Ch. Meyer, et al.  Home/Search
Context Related
| archive.cs.uu.nl/pub/RUU/...199438.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.uu.nl/resear...EAR=&AUTH=&GRP= (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we revisit the infamous paradoxes which have plagued deontic logic throughout its history / development. Deontic logic may be described as the logic of prohibitions, permissions and obligations. A better description of deontic logic is the logic of ideal (according to certain norms) versus actual behaviour. The paradoxes in this field are logical expressions that are valid in a (or even most) well-known logical system(s) for deontic reasoning, but which are counterintuitive in a... (Update)
Context of citations to this paper: More
...obligations. However, with the help of this axiom we can derive the formula : O(p) O( p) which is controversial nowadays (see, e.g. 1] [18]; 21] The main objection to this formula is that it states that there is no conflict of duties, which is clearly not in line with...
Cited by: More
Logical Concepts in Cryptography - Kramer (2006) (Correct)
Giving Permission Implies Giving Choice - Dignum (1997) (Correct)
Similar documents (at the sentence level):
51.0%: The Role of Deontic Logic in the Specification of.. - Meyer, Wieringa, Dignum (1996) (Correct)
Active bibliography (related documents): More All
0.6: An Integrated Framework for Ought-to-Be and Ought-to-Do.. - d'Altan, Meyer, Wieringa (1998) (Correct)
0.5: A Modal Approach to Intentions, Commitments and.. - Dignum, Meyer.. (1996) (Correct)
0.5: Dynamic Normative Reasoning Under Uncertainty: How to.. - van der Torre (Correct)
Similar documents based on text: More All
0.9: Contextual Deontic Logic - van der Torre, Tan (1997) (Correct)
0.9: The Temporal Analysis of Chisholm's Paradox - van der Torre, Tan (1998) (Correct)
0.9: Prohairetic Deontic Logic (PDL) - van der Torre, Tan (1998) (Correct)
BibTeX entry: (Update)
Meyer, J.-J.Ch., F. Dignum and R.J. Wieringa, The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective, Technical Report UU-CS-1994-38, Utrecht University, 1994. http://citeseer.ist.psu.edu/meyer94paradoxes.html More
@misc{ meyer94paradoxes,
author = "J. Meyer and F. Ch and R. Dignum",
title = "The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective",
text = "Meyer, J.-J.Ch., F. Dignum and R.J. Wieringa, The Paradoxes of Deontic
Logic Revisited: A Computer Science Perspective, Technical Report UU-CS-1994-38,
Utrecht University, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/meyer94paradoxes.html" }
Citations (may not include all citations):650 An Axiomatic Basis for Computer Programming (context) - Hoare - 1969
484 A Calculus of Communicating Systems (context) - Milner - 1980
343 Modal Logic: An Introduction (context) - Chellas - 1980
139 Cambridge University Press (context) - Baeten, Weijland et al. - 1990
100 Epistemic Logic for AI and Computer Science (context) - Ch, van der Hoek
85 First-Order Dynamic Logic (context) - Harel - 1979
65 A Different Approach to Deontic Logic: Deontic Logic Viewed .. (context) - Ch - 1988
59 Context-Dependent Reasoning (context) - Marek, Truszczynski et al. - 1993
44 Temporal Logic of Programs (context) - KrOger - 1987
41 Contrary-to-Duty Imperatives and Deontic Logic (context) - Chisholm - 1963
38 Event Structure Semantics for CCS and Related Languages (context) - Winskel - 1982
36 Deontic Logic in Computer Science: Normative System Specific.. (context) - Ch, Wieringa - 1993
34 Deontic Logic: A Concise Overview (context) - Ch, Wieringa - 1993
29 Algebra of Communicating Processes (context) - Bergstra, Klop - 1986
28 Deontic Logic in Computer Science (context) - Ch, Wieringa et al. - 1993
26 Applications of Deontic Logic in Computer Science: A Concise.. - Wieringa, Ch - 1993
24 or the Adverbial Samaritan (context) - Forrester, Murder - 1984
22 Bringing It About (context) - Segerberg - 1989
21 Deontic Logic as Founded on Nonmonotonic Logic - Horty - 1993
19 Deontic Logic (context) - von Wright - 1951
16 The Inheritance of Dynamic and Deontic Integrity Constraints - Wieringa, Weigand et al. - 1991
14 Defeasibility and Violability (context) - Prakken, Sergot et al. - 1994
13 Negations of Transactions and Their Use in the Specification.. (context) - Dignum, Ch
11 the Characterization of Law and Computer Systems: The Normaf.. (context) - Jones, Sergot - 1993
10 Annals of Mathematics and Artificial Intelligence (context) - Wieringa, Ch et al. - 1993
9 Formal Semantics of Temporal Epistemic Reflection - van der Hoek, Ch et al.
9 Actions in deontic Logic (context) - Hilpinen - 1993
9 Free Choice Permissions and Ross's Paradox: Internal vs Exte.. (context) - Ch
8 Legal Expert Systems: Discussion of Theoretical Assumptions (context) - Smith - 1994
8 Violated Obligations in a Defeasible Deontic Logic - van der Torre - 1994
7 A Simple Solution to the 'Deepest' Paradox of Deontic Logic (context) - Ch
7 An Integrated Framework for Ought- to-Be and Ought-to-Do Con.. - d'Altan, Ch et al.
7 Dynamic and Deontic Integrity Constraints (context) - Ch, Weigand et al. - 1989
7 Actor-Oriented System Specification with Dynamic Logic (context) - Ch, Wieringa - 1991
7 Danish Yearbook of Philosophy (context) - von Wright, System et al. - 1964
7 A Deontic Approach to Database Integrity (context) - Kwast - 1993
6 Two Approaches to Defeasible Reasoning (context) - Prakken - 1994
6 Hierarchies of Regulations and Their Logic (context) - Alchourr, Makinson - 1981
6 Formalization of Commonsense Reasoning (context) - Lukaszewicz, Reasoning
6 Towards a Formal Theory of Defeasible Deontic Conditionals (context) - Jones - 1993
6 A Dynamic Logic for Reasoning about Sub-Ideal States - Dignum, Ch et al. - 1994
6 Contextual Permission: A Solution to the Free Choice Paradox - Dignum, Ch et al. - 1994
5 An Argumentation Framework in Default Logic (context) - Prakken - 1993
5 Towards Specifying Norms (context) - Ryan - 1993
4 Comparative Concurrency Semantics (context) - van Glabbeek - 1990
4 the Logic of Norms and Action (context) - von Wright - 1981
4 Top-Down Development of Layered Fault-Tolerant Systems and I.. (context) - Coenen - 1993
4 Logic and the Flow of Information (context) - van Benthem - 1993
2 The Paradoxes of Deontic logic: The Simplest Solution to All.. (context) - Castafieda - 1981
2 Aspectual Actions and the Deepest Paradox of Deontic Logic (context) - Castafieda - 1984
1 Specifying Dynamic and Deontic Constraints (context) - Wieringa, Ch et al. - 1989
1 Actor-Oriented Specification of Deontic hategrity Constraint.. (context) - Wieringa, Ch - 1991
1 Report Utrecht University (context) - of, Reasoning et al.
Documents on the same site (http://www.cs.uu.nl/research/techreps/techreps.php?submit=show+reports&YEAR=&AUTH=&GRP=): More
On the Two-Level Uncapacitated Facility Location Problem - Aardal, Labbé (1995) (Correct)
A Tourist Guide through Treewidth - Bodlaender (1993) (Correct)
Predictive Probabilistic Models for Treatment Planning in.. - Peek (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC