Pages that link to "Item:Q484952"
From MaRDI portal
The following pages link to Transition semantics: the dynamics of dependence logic (Q484952):
Displaying 6 items.
- Safe dependency atoms and possibility operators in team semantics (Q2029599) (← links)
- Embedding causal team languages into predicate logic (Q2172831) (← links)
- (Q2255221) (redirect page) (← links)
- Dynamic Logics of Imperfect Information: From Teams and Games to Transitions (Q3299581) (← links)
- (Q3384878) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
