The following pages link to Logics of communication and change (Q859825):
Displaying 50 items.
- True lies (Q143747) (← links)
- Logics of informational interactions (Q266639) (← links)
- Announcements to attentive agents (Q302225) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- Action emulation (Q375313) (← links)
- Completeness results for memory logics (Q408552) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- Agreeing to disagree in probabilistic dynamic epistemic~logic (Q484932) (← links)
- Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
- Inquisitive dynamic epistemic logic (Q514589) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
- Iterative information update and stability of strategies (Q542135) (← links)
- What will they say? -- Public announcement games (Q542137) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Norms as ascriptions of violations: an analysis in modal logic (Q545168) (← links)
- Finite identification from the viewpoint of epistemic update (Q553305) (← links)
- Merging DEL and ETL (Q616038) (← links)
- Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
- The dynamics of awareness (Q625715) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- The language of social software (Q625718) (← links)
- Logic for update products and steps into the past (Q636377) (← links)
- Predicate change. A study on the conservativity of conceptual change (Q830397) (← links)
- Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- Probabilistic dynamic belief revision (Q1024132) (← links)
- Public and private communication are different: Results on relative expressivity (Q1024135) (← links)
- Dynamic update with probabilities (Q1035842) (← links)
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- Introspective forgetting (Q1036061) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- Bisimulation for conditional modalities (Q1708097) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- Introducing reactive Kripke semantics and arc accessibility (Q1935595) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Revocable belief revision (Q2016055) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- A simplicial complex model for dynamic epistemic logic to study distributed task computability (Q2029604) (← links)
- Opaque updates (Q2037297) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- An action language for multi-agent domains (Q2060726) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
