The following pages link to (Q3150204):
Displayed 5 items.
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- On the computational consequences of independence in propositional logic (Q2500830) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)