Transition semantics: the dynamics of dependence logic

DOI10.1007/s11229-013-0327-8zbMath1310.03041arXiv1203.0871OpenAlexW2085421017MaRDI QIDQ484952

Pietro Galliani

Publication date: 8 January 2015

Published in: Synthese, Journal of Logic, Language and Information (Search for Journal in Brave)

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

zbMATH Keywords

modal logicdynamic semanticsimperfect informationdependence logicgame-theoretic semanticsgame logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items

Embedding causal team languages into predicate logic ⋮ Unnamed Item ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ Safe dependency atoms and possibility operators in team semantics ⋮ Supervenience, Dependence, Disjunction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A remark on negation in dependence logic
• 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
• Logic games are complete for game logics
• Dependence and independence
• Generalized quantifiers in dependence logic
• Logics of public communications
• Complexity of Model Checking for Modal Dependence Logic
• Hierarchies in Dependence Logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Complexity Results for Modal Dependence Logic
• Dynamic logic for belief revision
• Independence-friendly cylindric set algebras
• Model-theoretic and Computational Properties of Modal Dependence Logic
• Compositional semantics for a language of imperfect information
• Dynamic predicate logic
• Team Logic and Second-Order Logic