Pages that link to "Item:Q3647272"
From MaRDI portal
The following pages link to Expressivity and completeness for public update logics via reduction axioms (Q3647272):
Displaying 30 items.
- True lies (Q143747) (← links)
- Announcements to attentive agents (Q302225) (← links)
- Refinement modal logic (Q476194) (← links)
- Dynamics of lying (Q484939) (← links)
- Paraconsistent dynamics (Q514033) (← links)
- Relativized common knowledge for dynamic epistemic logic (Q898782) (← links)
- On the dynamics of institutional agreements (Q970091) (← links)
- Revocable belief revision (Q2016055) (← links)
- How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation (Q2148834) (← links)
- Arrow update synthesis (Q2216107) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC (Q2940872) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Terminating Tableaux for Dynamic Epistemic Logics (Q3185765) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- Dynamic logic for belief revision (Q3647267) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- On Revocable and Irrevocable Belief Revision (Q4982658) (← links)
- Probabilistic Logic over Paths (Q5415665) (← links)
- Modal Fixed-Point Logic and Changing Models (Q5452177) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)
- To be announced (Q6040661) (← links)
- An Abstract Look at Awareness Models and Their Dynamics (Q6118733) (← links)
- Dynamic epistemic logics for abstract argumentation (Q6147179) (← links)
- Comparing Social Network Dynamic Operators (Q6199599) (← links)
