REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Ability and knowing how in the situation calculus
@@ Property / cites work: Ability and knowing how in the situation calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive knowledge: what agents can achieve under imperfect information
+Normal rank
@@ Property / cites work @@
+Towards a Logic of Rational Agency
@@ Property / cites work: Towards a Logic of Rational Agency / rank @@
+Normal rank
@@ Property / cites work @@
+Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Dynamics of Information and Interaction
@@ Property / cites work: Logical Dynamics of Information and Interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Axiomatizations for Reasoning about Knowledge and Time
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Games in Dynamic-Epistemic Logic
@@ Property / cites work: Games in Dynamic-Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling knowledge and action in distributed systems
+Normal rank
@@ Property / cites work @@
+Q4942680
@@ Property / cites work: Q4942680 / 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 @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A knowledge based semantics of messages
@@ Property / cites work: A knowledge based semantics of messages / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+An elementary proof of the completeness of PDL
@@ Property / cites work: An elementary proof of the completeness of PDL / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative axiomatics and complexity of deliberative STIT theories
+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
@@ Property / cites work @@
+Propositional knowledge and know-how
@@ Property / cites work: Propositional knowledge and know-how / rank @@
+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 @@
+Extensive games as process models
@@ Property / cites work: Extensive games as process models / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiomatisation of Elgesem's logic of agency and ability
+Normal rank
@@ Property / cites work @@
+On combinations of propositional dynamic logic and doxastic modal logics
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020311000190
+Normal rank
@@ Property / OpenAlex ID @@
+W2165360331
@@ Property / OpenAlex ID: W2165360331 / rank @@
+Normal rank