scientific article
From MaRDI portal
Publication:3077957
zbMath1218.03002MaRDI QIDQ3077957
Gabriel Sandu, Allen L. Mann, Merlijn Sevenster
Publication date: 18 February 2011
Full work available at URL: http://www.cambridge.org/gb/knowledge/isbn/item6580952/?site_locale=en_GB
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Boolean dependence logic and partially-ordered connectives ⋮ A cirquent calculus system with clustering and ranking ⋮ A double team semantics for generalized quantifiers ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Game Theoretical Semantics for Paraconsistent Logics ⋮ Doubly strongly first order dependencies ⋮ Hintikka's independence-friendly logic meets Nelson's realizability ⋮ From truth degree comparison games to sequents-of-relations calculi for Gödel logic ⋮ Game theoretical semantics for some non-classical logics ⋮ Alternating (in)dependence-friendly logic ⋮ Cooperation in games and epistemic readings of independence-friendly sentences ⋮ Upwards closed dependencies in team semantics ⋮ IF logic, definitions and the vicious circle principle ⋮ Positive logics ⋮ Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information ⋮ Expressivity of imperfect information logics without identity ⋮ Unnamed Item ⋮ Complexity of two-variable dependence logic and IF-logic ⋮ Transition semantics: the dynamics of dependence logic ⋮ On Semantic Games for Łukasiewicz Logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications ⋮ Modeling Monty Hall in If Logic ⋮ A simple logic of functional dependence ⋮ Partial-order Boolean games: informational independence in a logic-based model of strategic interaction ⋮ Propositional team logics ⋮ A logical analysis of Monty Hall and Sleeping Beauty ⋮ About effective versions of game theoretical semantics for first-order logic ⋮ Complexity of syntactical tree fragments of independence-friendly logic ⋮ Imperfect Information in Logic and Concurrent Games ⋮ ON EXISTENTIAL DECLARATIONS OF INDEPENDENCE IN IF LOGIC ⋮ DICHOTOMY RESULT FOR INDEPENDENCE-FRIENDLY PREFIXES OF GENERALIZED QUANTIFIERS ⋮ IF modal logic and classical negation ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ Independence-friendly logic without Henkin quantification ⋮ Randomized semantic games for fuzzy logics ⋮ Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ Ockham’s Razor in Probability Logic ⋮ Diversity, dependence and independence ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION ⋮ On Dependence Logic ⋮ An Alternative Analysis of Signaling Games ⋮ A logic with revocable and refinable strategies ⋮ Connecting Sequent Calculi with Lorenzen-Style Dialogue Games ⋮ Hintikka on the foundations of mathematics: IF logic and uniformity concepts ⋮ Good-for-Game QPTL: An Alternating Hodges Semantics ⋮ From semantic games to provability: the case of Gödel logic
