Pages that link to "Item:Q484952"
From MaRDI portal
The following pages link to Transition semantics: the dynamics of dependence logic (Q484952):
Displaying 14 items.
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Epistemic operators in dependence logic (Q1956375) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- 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)
- (Q4469725) (← links)
- A modal separation logic for resource dynamics (Q4612424) (← links)
- Modal dependence logics: axiomatizations and model-theoretic properties (Q5095630) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- (Q5709172) (← links)
- Labelled transition logic: An outline (Q5950716) (← links)