scientific article
From MaRDI portal
Publication:3396588
zbMath1169.68439MaRDI QIDQ3396588
Publication date: 19 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other game-theoretic models (91A40) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)
Related Items (14)
Computation as social agency: what, how and who ⋮ A Dichotomy Result for Ramsey Quantifiers ⋮ Equilibrium semantics of languages of imperfect information ⋮ Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information ⋮ Characterizing polynomial Ramsey quantifiers ⋮ Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications ⋮ Modeling Monty Hall in If Logic ⋮ Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents ⋮ Independence-friendly logic without Henkin quantification ⋮ Propositional games with explicit strategies ⋮ A remark on collective quantification ⋮ The Computational Complexity of Quantified Reciprocals ⋮ Modelling simultaneous games in dynamic logic ⋮ Partially ordered connectives and monadic monotone strict NP
This page was built for publication:
