R. van der Meyden. The dynamic logic of permission. Journal of Logic and Computation, 6(3):465-479, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Commitment and Trust in Dynamic Logic - Broersen, Dastani, Huang, van der .. (Correct)
....following properties for sequence of actions: j= C( i C( 6j= O( i O( 6j= F ( i F ( 6j= P ( i P ( 6j= h i i P ( P ( In the work of Meyer [6] the property h i i P ( P ( does hold. It was argued by Van der Meyden [5] that this is not an intuitive property, since it mysteriously induces a permission to initially perform . 4 Example We distinguish between commitment actions, and services. The rst have a prede ned meaning, and their possible occurrences are governed by for instance negotiation protocols. ....
R. van der Meyden. The dynamic logic of permission. Journal of Logic and Computation, 6(3):465-479, 1996.
A Clausal Logic for Deontic Action Specification (Extended.. - van der Meyden (1998) (Correct)
....and can be read it is not prohibited to bring it about that . A first attempt to construct a deontic logic based on dynamic logic was made by McCarty [19] but had no proof theory. Later work includes a reduction of deontic logic to dynamic logic by Meyer [24, 25] We have argued elsewhere [31] that this reduction is not appropriate for legal applications, but the difficulties emerge only when sequential composition of actions is considered, which we have avoided here in order to concentrate on logical relations between actions. Our notion of doing just a is related to McCarty s ....
R. van der Meyden. The dynamic logic of permission. In Proceedings of the Fifth Symposium on Logic in Computer Science, pages 72--78, 1990.
Tableau Methods for Formal Verification of Multi-Agent.. - Massacci (1998) (1 citation) (Correct)
....into propositions; other modal operators can be used to represent hierarchies, knowledge, permission etc. The use of modal logics for modeling the obligations or the jurisdiction of agents has a long tradition (for instance see the work of Kanger [24] and this research area is still very active [8, 18, 25, 39]. Traditional logics of knowledge and belief have also been extended to deal with security problems [6, 18, 37] and to incorporate desires and intentions [16] 3.1 Logics for ability versus logics for obligations In systems for reasoning about knowledge and obligations (for instance in Cuppens ....
....[18] atomic propositions represent state of affairs and the main concern is confidentiality. We usually look for properties like P knows oe P is allowed to know (1) With a theory of ability, focusing on actions and obligations (for instance in Kanger [24] or Krogh [25] or van der Meyden [39]) we may be more interested in other properties: P sees to it that oe is permitted (2) If atomic propositions are imperative statements (as in Abadi et al. 1] we may look for something like P says P controls oe (3) In logics for authentication (for instance the BAN logic [6] ....
R. van der Meyden. The dynamic logic of permission. Journal of Logic and Computation, 6(3):465--479, 1996.
Tableaux Methods for Access Control in Distributed Systems - Massacci (1997) (1 citation) (Correct)
....can be inherited along the chains (e.g. Fig. 1) The use of these abstractions leads naturally towards a formalisation of the problem with multi modal logics: one subject, one modality. There has a been a number of works on modelling security and obligations in a multiagents setting, e.g. [8, 17, 30], and in particular we focus on the expressive calculus developed at DEC SRC [1] This calculus is interesting for a number of reasons: it provides a uniform framework for reasoning about access control in presence of delegation and has a simple semantics [1] it constitutes the basis of a ....
R. van der Meyden. The dynamic logic of permission. J. of Logic and Computation, 6(3):465--479, 1996.
Reasoning About Indefinite Actions - McCarty, van der Meyden (1992) (8 citations) Self-citation (Van der meyden) (Correct)
....need, in addition, various modalities over actions. We suggest the deontic modalities as an appropriate set: P (permitted, in the free choice sense) F (forbidden) O (obligatory) and their respective negations. We have studied these modalities in previous work [ McCarty, 1983; McCarty, 1986; Meyden, 1990; Meyden, 1991 ] In future work, we will show how to combine a system of deontic logic with our present techniques for the representation of indefinite actions, and how to apply such a system in legal domains [ McCarty, 1989; Schlobohm and McCarty, 1989 ] ....
R. van der Meyden. The dynamic logic of permission. In Proceedings of the Symposium on Logic in Computer Science, pages 72--78, Philadelphia, 1990.
Heterogeneous Active Agents - Eiter, Subrahmanian, Pick (1998) (27 citations) (Correct)
No context found.
R. van der Meyden. The Dynamic Logic of Permission. In: Proc. Fifth Annual IEEE Symposium on Logic in Computer Science (LICS `90), pages 72--78, 1990.
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