The following pages link to ARROW UPDATE LOGIC (Q3224046):
Displaying 32 items.
- True lies (Q143747) (← links)
- Announcements to attentive agents (Q302225) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- Dynamics of lying (Q484939) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- Reflecting on social influence in networks (Q1698338) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Public announcements, public lies and recoveries (Q2093030) (← links)
- Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)
- Situated epistemic updates (Q2148833) (← links)
- A history based logic for dynamic preference updates (Q2209166) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Rethinking epistemic logic with belief bases (Q2307332) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- (Q3384080) (← links)
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- (Q5016796) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- To be announced (Q6040661) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- First steps in updating knowing how (Q6550518) (← links)
- Action models for coalition logic (Q6550523) (← links)
- An arrow-based dynamic logic of normative systems and its decidability (Q6562529) (← links)
- Solution complexity of local variants of sabotage game (Q6601766) (← links)
- Visibility and exploitation in social networks (Q6646009) (← links)
