The following pages link to Global and Local Graph Modifiers (Q4982127):
Displayed 15 items.
- Reflecting on social influence in networks (Q1698338) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Arrow update synthesis (Q2216107) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- ARROW UPDATE LOGIC (Q3224046) (← links)
- Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- (Q5016796) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- To be announced (Q6040661) (← links)