Pages that link to "Item:Q1036059"
From MaRDI portal
The following pages link to Dynamic epistemic logic with branching temporal structures (Q1036059):
Displaying 19 items.
- Information dynamics and uniform substitution (Q484920) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- Synchronizing diachronic uncertainty (Q548700) (← links)
- Merging DEL and ETL (Q616038) (← links)
- To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
- Dynamic logics of knowledge and access (Q625719) (← links)
- Logic for update products and steps into the past (Q636377) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- Opaque updates (Q2037297) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- (Q3594284) (← links)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- A Computational Learning Semantics for Inductive Empirical Knowledge (Q5249674) (← links)