Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications

DOI10.1007/978-3-319-62864-6_20zbMath1437.91108arXiv1401.4927OpenAlexW1819933244MaRDI QIDQ3299589

Merlijn Sevenster

Publication date: 24 July 2020

Published in: The Review of Symbolic Logic, Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.4927

zbMATH Keywords

modal logicindependence-friendly logicdecidabilityimperfect informationexistential second-order logic

Mathematics Subject Classification ID

Related Items (1)

Mixed partition functions and exponentially bounded edge-connection rank

Cites Work

• Equilibrium semantics of languages of imperfect information
• Henkin quantifiers and complete problems
• On the logic of informational independence and its applications
• Modal languages and bounded fragments of predicate logic
• Independent choices and the interpretation of IF logic
• Hybrid languages
• Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information
• Non-cooperative games
• Model-theoretic and Computational Properties of Modal Dependence Logic
• Compositional semantics for a language of imperfect information
• Finite partially-ordered quantification
• Lower bounds for multiplayer noncooperative games of incomplete information
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Linear Programming Tools for Analyzing Strategic Games of Independence-Friendly Logic and Applications