Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-70525-3_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1522608080
@@ Property / OpenAlex ID: W1522608080 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+Intention is choice with commitment
@@ Property / cites work: Intention is choice with commitment / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Trust Management
@@ Property / cites work: Trust Management / rank @@
+Normal rank
@@ Property / cites work @@
+From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893675
@@ Property / cites work: Q4893675 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
+Normal rank
@@ Property / cites work @@
+A logic of intention and attempt
@@ Property / cites work: A logic of intention and attempt / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Attempt in a Modal Logic of Intentional Action
+Normal rank
@@ Property / cites work @@
+A logical approach to the dynamics of commitments
@@ Property / cites work: A logical approach to the dynamics of commitments / rank @@
+Normal rank