The following pages link to Hans P. van Ditmarsch (Q813421):
Displaying 50 items.
- True lies (Q143747) (← links)
- (Q302220) (redirect page) (← links)
- Announcements to attentive agents (Q302225) (← links)
- (Q310077) (redirect page) (← links)
- The undecidability of quantified announcements (Q310079) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- A colouring protocol for the generalized Russian cards problem (Q391146) (← links)
- Refinement modal logic (Q476194) (← links)
- Editorial introduction to the special issue LORI Guangzhou (Q484916) (← links)
- Dynamics of lying (Q484939) (← links)
- A geometric protocol for cryptography with cards (Q488255) (← links)
- Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
- Epistemic protocols for dynamic gossip (Q504511) (← links)
- What will they say? -- Public announcement games (Q542137) (← links)
- The complexity of one-agent refinement modal logic (Q744988) (← links)
- Logic in India -- editorial introduction (Q763470) (← links)
- Prolegomena to dynamic logic for belief revision (Q813422) (← links)
- Permuting machines and priority queues (Q817805) (← links)
- The secret of my success (Q857682) (← links)
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic (Q885521) (← links)
- Dynamic epistemic logic (Q953926) (← links)
- Logic of change, change of logic (Q970093) (← links)
- Group announcement logic (Q975877) (← links)
- Introspective forgetting (Q1036061) (← links)
- The Russian cards problem (Q1420803) (← links)
- Descriptions of game actions (Q1610628) (← links)
- Private announcements on topological spaces (Q1653649) (← links)
- Strategic knowledge of the past in quantum cryptography (Q1679773) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Local properties in modal logic (Q1761295) (← links)
- (Q1886350) (redirect page) (← links)
- Restricted permutations and queue jumping (Q1886351) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- Revocable belief revision (Q2016055) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Positive announcements (Q2046881) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- Expressivity of some versions of APAL (Q2055759) (← links)
- Reachability and expectation in gossiping (Q2092493) (← links)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
- The logic of gossiping (Q2211849) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Semantics for knowledge and change of awareness (Q2258808) (← links)
- Knowledge without complete certainty (Q2303621) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- Reachability of five gossip protocols (Q2330604) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- Dynamic gossip (Q2415893) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
