Pages that link to "Item:Q391101"
From MaRDI portal
The following pages link to Model-checking games for logics of imperfect information (Q391101):
Displaying 14 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- A parameterized view on the complexity of dependence logic (Q2151403) (← links)
- Enumerating teams in first-order team logics (Q2172832) (← links)
- A model-theoretic characterization of constant-depth arithmetic circuits (Q2273012) (← links)
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
- On the complexity of team logic and its two-variable fragment (Q5005127) (← links)
- (Q5013879) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- Games for Inclusion Logic and Fixed-Point Logic (Q5213642) (← links)
- Parameterised complexity of model checking and satisfiability in propositional dependence logic (Q5918486) (← links)
- Complexity thresholds in inclusion logic (Q5925562) (← links)
- Modular SAT-based techniques for reasoning tasks in team semantics (Q6615313) (← links)
