A new game equivalence, its logic and algebra

DOI10.1007/S10992-018-9489-7zbMATH Open1457.03046OpenAlexW2899657406WikidataQ128963511 ScholiaQ128963511MaRDI QIDQ2323693FDOQ2323693

Authors: Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist 

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

Recommendations

• A new game equivalence and its modal logic
• The basic algebra of game equivalences
• Game logic -- an overview
• Logics and algebras for multiple players
• Games in dynamic-epistemic logic

zbMATH Keywords

modal logicgamesimperfect informationneighbourhood semanticsbasic power

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• On the strategic equivalence of extensive form games
• Many-dimensional modal logics: theory and applications
• A course in game theory.
• Title not available (Why is that?)
• Logic in games
• Handbook of modal logic
• Handbook of process algebra
• Set-theoretic equivalence of extensive-form games
• Title not available (Why is that?)
• Games in dynamic-epistemic logic
• Normal form structures in extensive form games
• Effectivity functions, game forms, games, and rights
• Strategic social choice. Stable representations of constitutions
• The basic algebra of game equivalences
• Representation of game algebras
• Cylindric modal logic
• Instantial neighbourhood logic
• Title not available (Why is that?)
• A propositional dynamic logic for instantial neighborhood models

Cited In (8)

• The basic algebra of game equivalences
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• Title not available (Why is that?)
• Behavioral equivalence of extensive game structures
• Logics and algebras for multiple players
• A new game equivalence and its modal logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2323693)