Access the full text.
Sign up today, get DeepDyve free for 14 days.
W. Hoek, J.-J.Ch. Meyer (1990)
Technical Report
R. Reiter (1982)
Towards a Logical Reconstruction of Relational Database Theory
R. Meyden (1990)
The Dynamic Logic of Permission
J. Benthem, J. Groenendijk, D. Jongh, M. Stokhof, H. Verkuyl (1991)
Logic, language and meaning: Vol. II: Intensional logic and logical grammar
A. Sernadas, H. Ehrich (1990)
What is an Object, After All?
Actors, actions, and initiative
H. Castañeda (1981)
The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop
J. Goguen, J. Meseguer (1992)
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial OperationsTheor. Comput. Sci., 105
S. Khoshafian, G. Copeland (1986)
Object identity
1 Equational abstract data speciication
(1987)
Free choice permissions and Ross's paradox: Internal vs external nondeterminism
Rahim Ramezanian (1978)
Communicating sequential processesCommun. ACM, 21
Ifip Tc, R. Meersman, W. Kent, S. Khosla, I. Wg (1991)
Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proceedings of the IFIP TC2/WG 2.6 Working Conference on Object-Oriented Databases: Analysis, Design & Construction, Windermere, UK, 2-6 July, 1990
(1972)
Einf uhrung in die Normenlogik
(2005)
Theory and Practice of Software Development
G. Hughes, M. Cresswell (1984)
A companion to modal logic
P. McNamara (2006)
Deontic logic
(1968)
An essay in deontic logic and the general theory of action
R.J. Wieringa (1990)
Ph.D. Thesis
J. Bergstra, J. Klop (1995)
Algebra of Communicating Processes
J.J.Ch. Meyer (1987)
Technical Report IR-130
1 The system as actor in the
4 Plan of the paper
R. Wieringa (1991)
A Formalization of Objects Using Equational Dynamic Logic
David MacQueen, D. Sannella (1985)
Completeness of Proof Systems for Equational SpecificationsIEEE Transactions on Software Engineering, SE-11
(1989)
Meyer and H
(1990)
Explicating some issues in implicit knowledge
J. Meyer, E. Vink (1989)
Step semantics for “true” concurrency with recursionDistributed Computing, 3
F. Dignum, J. Meyer (1990)
Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints
C. Koomen (1991)
Calculus of Communicating Systems
1 Model 1: a model for free
R. Wieringa, H. Weigand, J. Meyer, F. Dignum (1991)
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?Annals of Mathematics and Artificial Intelligence, 3
R. Wieringa (1990)
Algebraic Foundations for Dynamic Conceptual Models
H. Ehrich, Martin Gogolla, U. Lipeck (1989)
Algebraische Spezifikation abstrakter Datentypen
D. Kozen, J. Tiuryn (1991)
Logics of Programs
J. Goguen, J. Meseguer (1981)
Completeness of many-sorted equational logicACM SIGPLAN Notices, 16
R. Wieringa (1990)
Equational Specification of Dynamic Objects
R. Lee (1988)
Bureaucracies as deontic systemsACM Trans. Inf. Syst., 6
R.J. Wieringa, H. Weigand, J.-J.Ch. Meyer, F. Dignum (1991)
The inheritance of dynamic and deontic integrity constraintsAnn. Math. Art. Int., 3
H. Kamp (1974)
IV—Free Choice Permission, 74
V :p:return(b) ^ :V :p: ? return(b)) N3] p:pay($2; b)]:V :p:return(b) N4] p:borrow(b)]O(p:return(b); < 21) N5] p:borrow(b)]]clock(21)](Borrowed(b; p) $ O(l:remind
A. Sernadas, J. Fiadeiro, C. Sernadas, H. Ehrich (1989)
The Basic Building Blocks of Information Systems
R. Wieringa, J. Meyer, H. Weigand (1989)
Specifying Dynamic and Deontic Integrity ConstraintsData Knowl. Eng., 4
G. Smolka, W. Nutt, J. Goguen, J. Meseguer (1989)
Order-Sorted Equational Computation
R. Hilpinen (1981)
Conditionals and possible worlds
H. Aït-Kaci, M. Nivat (1989)
Resolution of Equations in Algebraic Structures
J. Bergstra, J. Klop (1984)
Process Algebra for Synchronous CommunicationInf. Control., 60
D. Føllesdal, R. Hilpinen (1970)
Deontic Logic: An Introduction
R. Glabbeek (1996)
Comparative Concurrency Semantics and Refinement of Actions
H. Ehrig, B. Mahr (1985)
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Wenyan Dong, S. Dorji, Sachin Katti, Dimitris Vyzovitis (1998)
P 2 P Objects
R. Glabbeek, F. Vaandrager (1987)
Modular Specifications in Process Algebra with Curious Queues
R. Wieringa, J. Meyer (1991)
Actor-Oriented Specification of Deontic Integrity Constraints
Bernhard Beckert, V. Klebanov, Steffen Schlager (2001)
Dynamic logicSIGACT News, 32
(1987)
CCS without 's
R. Reiter (1980)
Equality and Domain Closure in First-Order DatabasesJ. ACM, 27
J. Fiadeiro, Tom Maibaum (1991)
Temporal reasoning over deontic specificationsJ. Log. Comput., 1
J. Meyer (1989)
Using Programming Concepts in Deontic Reasoning
S. Khosla, T. Maibaum (1987)
The Prescription and Description of State Based Systems
(1991)
Actor-oriented specification of dynamic and dcontic integrity constraints, in: 3rd Symp. on Mathematical Fundamemals of Database and Knowledge Base Systems (MFDBS 9
H. Ehrig, B. Mahr (1985)
Fundamentals of Algebraic Specification 1, 6
R. Hilpinen (1981)
Deontic Logic: Introductory and Systematic Readings
S. Khosla (1989)
System specification: a deontic approach
J. Bergstra, J. Klop (1985)
Algebra of Communicating Processes with AbstractionTheor. Comput. Sci., 37
11 3 Speciication of static constraints in rst-order logic 20 4 Speciication in dynamic logic 23
J. Meyer, R. Wieringa (1991)
Actor-Oriented System Specification with Dynamic Logic
Conditionals in possible worlds, in: Contemporary Philosophy, A New Survey
M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, S. Zdonik (1994)
The Object-Oriented Database System Manifesto
(1973)
Free choice permission, Aristotelian Soc
R. Wieringa, R. Riet (1990)
Algebraic Specification of Object Dynamics in Knowledge Base Domains
J. Meyer (1987)
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logicNotre Dame J. Formal Log., 29
J. Baeten, W. Weijland (1990)
Process algebra, 18
J.-J.Ch. Meyer (1989)
Semantics and Contextual Expression
The logic of norms, called deontic logic, has been used to specify normative constraints for information systems. For example, one can specify in deontic logic the constraints that a book borrowed from a library should be returned within three weeks, and that if it is not returned, the library should send a reminder. Thus, the notion of obligation to perform an action arises naturally in system specification. Intuitively, deontic logic presupposes the concept of anactor who undertakes actions and is responsible for fulfilling obligations. However, the concept of an actor has not been formalized until now in deontic logic. We present a formalization in dynamic logic, which allows us to express the actor who initiates actions or choices. This is then combined with a formalization, presented earlier, of deontic logic in dynamic logic, which allows us to specify obligations, permissions, and prohibitions to perform an action. The addition of actors allows us to expresswho has the responsibility to perform an action. In addition to the application of the concept of an actor in deontic logic, we discuss two other applications of actors. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate τ from CCS in favor of internal and external choice. We show that our generalization allows a more accurate specification of system behavior than is possible without it. Second, we show that actors can be used to resolve a long-standing paradox of deontic logic, called the paradox of free-choice permission. Towards the end of the paper, we discuss whether the concept of an actor can be combined with that of an object to formalize the concept of active objects.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Apr 5, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.