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

DOI10.1007/978-3-319-62864-6_12MaRDI QIDQ3299581zbMATH OpenOpenAlexFDO

Authors Pietro Galliani

Publication date 24 July 2020

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

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)

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.

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

Cites work

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

Cited in

(5)

• Imperfect information in logic and concurrent games
• Model-checking games for logics of imperfect information
• Propositional logic of imperfect information: Foundations and applications
• Games in dynamic-epistemic logic
• 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)