Dynamic Logics of Imperfect Information: From Teams and Games to Transitions

DOI10.1007/978-3-319-62864-6_12zbMath1437.03062arXiv1111.5143OpenAlexW1666261147MaRDI QIDQ3299581

Pietro Galliani

Publication date: 24 July 2020

Published in: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• Transition semantics: the dynamics of dependence logic
• A remark on negation in dependence logic
• Equilibrium semantics of languages of imperfect information
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• On definability in dependence logic
• From IF to BI. A tale of dependence and separation
• Modelling simultaneous games in dynamic logic
• Game logic -- an overview
• Dependence and independence
• Epistemic operators in dependence logic
• Expressivity of imperfect information logics without identity
• Generalized quantifiers in dependence logic
• Hierarchies in Dependence Logic
• Compositional semantics for a language of imperfect information
• Dynamic predicate logic
• Team Logic and Second-Order Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item