A new game equivalence, its logic and algebra

DOI10.1007/S10992-018-9489-7MaRDI QIDQ2323693zbMATH OpenOpenAlexWikidataFDO

Authors Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist

Publication date 3 September 2019

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

Copyright license Creative Commons Attribution 4.0 International

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

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)

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

Cites work

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

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
• scientific article; zbMATH DE number 3875257 (Why is no real title available?)
• 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)