Permission to speak: a logic for access control and conformance (Q615900): Difference between revisions

@@ Property / cites work @@
+Access Control in a Core Calculus of Dependency
@@ Property / cites work: Access Control in a Core Calculus of Dependency / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Access Control
@@ Property / cites work: A Logic of Access Control / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Deconstruction of Access Control Logics
@@ Property / cites work: A Modal Deconstruction of Access Control Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5296763
@@ Property / cites work: Q5296763 / rank @@
+Normal rank
@@ Property / cites work @@
+Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
+Normal rank
@@ Property / cites work @@
+Multi-agent Only Knowing
@@ Property / cites work: Multi-agent Only Knowing / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+The deliberative stit: A study of action, omission, ability, and obligation
+Normal rank
@@ Property / cites work @@
+Formal specification of security requirements using the theory of normative positions
+Normal rank
@@ Property / cites work @@
+Law and logic
@@ Property / cites work: Law and logic / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Run-Time Monitoring of Electronic Contracts
@@ Property / cites work: Run-Time Monitoring of Electronic Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Input/output logics
@@ Property / cites work: Input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty obligations
@@ Property / cites work: Contrary-to-duty obligations / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4340161
@@ Property / cites work: Q4340161 / rank @@
+Normal rank