Pages that link to "Item:Q3511454"
From MaRDI portal
The following pages link to Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454):
Displaying 7 items.
- The language of social software (Q625718) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- The many faces of closure and introspection. An ineractive perspective (Q1947027) (← links)
- Dynamic epistemic logic for implicit and explicit beliefs (Q2258806) (← links)
- A Note on Reliability-Based Preference Dynamics (Q3457697) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Incremental reasoning on monadic second-order logics with logic programming (Q5963088) (← links)