scientific article
From MaRDI portal
Publication:3346126
zbMath0552.90110MaRDI QIDQ3346126
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
many-person gamescake cutting algorithmcompleteness and decision resultsmonotone predicate transforms
Game theory (91A99) Resource and cost allocation (including fair division, apportionment, etc.) (91B32) General logic (03B99)
Related Items (47)
Concurrent Dynamic Algebra ⋮ Differential Game Logic ⋮ Taming Multirelations ⋮ Strategies in Games: A Logic-Automata Study ⋮ The mu-calculus and Model Checking ⋮ The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games ⋮ Imperfect information in reactive modules games ⋮ Reasoning in large games with unboundedly many players ⋮ Voting theory in the Lean theorem prover ⋮ Propositional dynamic logic with quantification over regular computation sequences ⋮ Propositional dynamic logic with recursive programs ⋮ Reasoning about equilibria in game-like concurrent systems ⋮ First-order classical modal logic ⋮ Variants of multi-relational semantics for propositional non-normal modal logics ⋮ Quantification in some non-normal modal logics ⋮ To be announced ⋮ Algebraic properties of stochastic effectivity functions ⋮ A logical characterization of extensive games with short sight ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ Semantic games with chance moves revisited: from IF logic to partial logic ⋮ Transition semantics: the dynamics of dependence logic ⋮ Focusing on Campaigns ⋮ Deductive verification of alternating systems ⋮ Positive monotone modal logic ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ A stochastic interpretation of game logic ⋮ Reasoning about Strategies ⋮ INSTANTIAL NEIGHBOURHOOD LOGIC ⋮ Correspondence, canonicity, and model theory for monotonic modal logics ⋮ Game Quantification Patterns ⋮ Quasipolynomial computation of nested fixpoints ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection ⋮ Constructive modal logics. I ⋮ On Semantic Gamification ⋮ Modelling simultaneous games in dynamic logic ⋮ An Epistemic Logic of Extensive Games ⋮ Verification and strategy synthesis for coalition announcement logic ⋮ Determining the environment: a modal logic for closed interaction ⋮ A propositional dynamic logic for instantial neighborhood semantics ⋮ A new game equivalence, its logic and algebra ⋮ Logical Player Types for a Theory of Play ⋮ NP reasoning in the monotone \(\mu\)-calculus ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax}
This page was built for publication:
