Pages that link to "Item:Q516250"
From MaRDI portal
The following pages link to Logics of temporal-epistemic actions (Q516250):
Displaying 19 items.
- Synchronizing diachronic uncertainty (Q548700) (← links)
- Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550) (← links)
- Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- A history based logic for dynamic preference updates (Q2209166) (← links)
- Composing models (Q2901220) (← links)
- Alternating-time temporal dynamic epistemic logic (Q2939296) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- Taming the Complexity of Temporal Epistemic Reasoning (Q3655200) (← links)
- Resolution for temporal logics of knowledge (Q4209289) (← links)
- Temporal approach to causal knowledge (Q4444911) (← links)
- (Q4535114) (← links)
- The Expressive Power of Temporal Logic of Actions (Q4779589) (← links)
- Connecting dynamic epistemic and temporal epistemic logics (Q4925178) (← links)
- Arbitrary Action Model Logic and Action Model Synthesis (Q5271062) (← links)
- Logics in Artificial Intelligence (Q5394114) (← links)
- Action models for coalition logic (Q6550523) (← links)
