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

@@ Property / author @@
-Aravind K. Joshi
@@ Property / author: Aravind K. Joshi / rank @@
-Normal rank
@@ Property / author @@
+Aravind K. Joshi
@@ Property / author: Aravind K. Joshi / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2009.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W1984814758
@@ Property / OpenAlex ID: W1984814758 / rank @@
+Normal rank
@@ 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