A new game equivalence, its logic and algebra

DOI10.1007/s10992-018-9489-7zbMath1457.03046OpenAlexW2899657406WikidataQ128963511 ScholiaQ128963511MaRDI QIDQ2323693

Sebastian Enqvist, J. F. A. K. van Benthem, Nick Bezhanishvili

Publication date: 3 September 2019

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-018-9489-7

zbMATH Keywords

modal logicgamesimperfect informationneighbourhood semanticsbasic power

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (4)

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics ⋮ Behavioral equivalence of extensive game structures ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strategic social choice. Stable representations of constitutions
• Set-theoretic equivalence of extensive-form games
• On the strategic equivalence of extensive form games
• Normal form structures in extensive form games
• Effectivity functions, game forms, games, and rights
• Many-dimensional modal logics: theory and applications
• The basic algebra of game equivalences
• Representation of game algebras
• A propositional dynamic logic for instantial neighborhood models
• Games in Dynamic-Epistemic Logic
• Cylindric modal logic
• INSTANTIAL NEIGHBOURHOOD LOGIC

This page was built for publication: A new game equivalence, its logic and algebra