The following pages link to (Q3346126):
Displaying 50 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- Reasoning about games (Q647418) (← links)
- Constructive modal logics. I (Q750417) (← links)
- First-order classical modal logic (Q863182) (← links)
- A logical characterization of extensive games with short sight (Q896918) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Determining the environment: a modal logic for closed interaction (Q1036057) (← links)
- Game logic and its applications. II (Q1357377) (← links)
- Logic games are complete for game logics (Q1425187) (← links)
- Representation of game algebras (Q1425190) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics (Q1749477) (← links)
- Correspondence, canonicity, and model theory for monotonic modal logics (Q2021573) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- A semantics and a logic for \textit{Fuzzy Arden Syntax} (Q2099984) (← links)
- Reasoning in large games with unboundedly many players (Q2148813) (← links)
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- Propositional dynamic logic with quantification over regular computation sequences (Q2151417) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
- Propositional dynamic logic with recursive programs (Q2643333) (← links)
- An epistemic logic of extensive games (Q2825421) (← links)
- (Q3007247) (← links)
- Strategies in Games: A Logic-Automata Study (Q3166989) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- Focusing on Campaigns (Q3299836) (← links)
- Group Announcements: Logic and Games (Abstract of Invited Talk) (Q3582732) (← links)
- Game Quantification Patterns (Q3601804) (← links)
- (Q4453634) (← links)
- Variants of multi-relational semantics for propositional non-normal modal logics (Q4583357) (← links)
- Reasoning about Strategies (Q4922091) (← links)
- (Q5014445) (← links)
- (Q5016799) (← links)
- (Q5018506) (← links)
- The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games (Q5056367) (← links)
- (Q5184881) (← links)
- Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
- On Semantic Gamification (Q5224500) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Logical Player Types for a Theory of Play (Q5249681) (← links)
