Pages that link to "Item:Q1087024"
From MaRDI portal
The following pages link to Cheating husbands and other stories: A case study of knowledge, action, and communication (Q1087024):
Displaying 12 items.
- True lies (Q143747) (← links)
- Prolegomena to dynamic logic for belief revision (Q813422) (← links)
- The secret of my success (Q857682) (← links)
- The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
- Modelling knowledge and action in distributed systems (Q1262142) (← links)
- Common Knowledge Logic in a Higher Order Proof Assistant (Q4916081) (← links)
- On Revocable and Irrevocable Belief Revision (Q4982658) (← links)
- A note on knowledge-based programs and specifications (Q5137901) (← links)
- CONTINGENCY AND KNOWING WHETHER (Q5247344) (← links)
- To be announced (Q6040661) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)
