Pages that link to "Item:Q1006494"
From MaRDI portal
The following pages link to Temporal languages for epistemic programs (Q1006494):
Displaying 12 items.
- Logics of temporal-epistemic actions (Q516250) (← links)
- Logic for update products and steps into the past (Q636377) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Extending probabilistic dynamic epistemic logic (Q1036062) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- A history based logic for dynamic preference updates (Q2209166) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
