Dynamic logics of imperfect information: from teams and games to transitions

DOI10.1007/978-3-319-62864-6_12zbMATH Open1437.03062arXiv1111.5143OpenAlexW1666261147MaRDI QIDQ3299581FDOQ3299581

Authors: Pietro Galliani 

Publication date: 24 July 2020

Abstract: We introduce a new semantical formalism for logics of imperfect information, based on Game Logic (and, in particular, on van Benthem, Ghosh and Lu's Concurrent Dynamic Game Logic). This new kind of semantics combines aspects from game theoretic semantics and from team semantics, and demonstrates how logics of imperfect information can be seen as languages for reasoning about games. Finally we show that, for a very expressive fragment of our language, a simpler semantics is available.

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

Recommendations

• Games in dynamic-epistemic logic
• Propositional logic of imperfect information: Foundations and applications
• Model-checking games for logics of imperfect information
• Imperfect information in logic and concurrent games

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Fuzzy logic; logic of vagueness (03B52) Games involving topology, set theory, or logic (91A44)

Cites Work

• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Independence-friendly logic. A game-theoretic approach
• Compositional semantics for a language of imperfect information
• Title not available (Why is that?)
• Title not available (Why is that?)
• A course in game theory.
• On definability in dependence logic
• From IF to BI. A tale of dependence and separation
• Generalized quantifiers in dependence logic
• A remark on negation in dependence logic
• Modelling simultaneous games in dynamic logic
• Dynamic predicate logic
• Hierarchies in Dependence Logic
• Game logic -- an overview
• Title not available (Why is that?)
• Team logic
• Team Logic and Second-Order Logic
• Equilibrium semantics of languages of imperfect information
• Title not available (Why is that?)
• Epistemic operators in dependence logic
• Expressivity of imperfect information logics without identity

Cited In (5)

• Games in dynamic-epistemic logic
• Imperfect information in logic and concurrent games
• Propositional logic of imperfect information: Foundations and applications
• Model-checking games for logics of imperfect information
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information

This page was built for publication: Dynamic logics of imperfect information: from teams and games to transitions

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