The following pages link to (Q3574473):
Displayed 8 items.
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- IF modal logic and classical negation (Q2016064) (← links)
- Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)