Transition semantics: the dynamics of dependence logic

DOI10.1007/S11229-013-0327-8zbMATH Open1310.03041arXiv1203.0871OpenAlexW2085421017MaRDI QIDQ484952FDOQ484952

Authors: Pietro Galliani 

Publication date: 8 January 2015

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

Abstract: We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between First-Order Logic and Dynamic Game Logic discussed by van Benthem. This suggests a new perspective on the interpretation of Dependence Logic formulas, in terms of assertions about reachability in games of im- perfect information against Nature. We then capitalize on this intuition by developing expressively equivalent variants of Dependence Logic in which this interpretation is taken to the foreground.

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

Recommendations

• Transition semantics: the dynamics of dependence logic
• Modal dependence logic
• Team building in dependence
• Dynamic logics of imperfect information: from teams and games to transitions
• On dependence logic

zbMATH Keywords

modal logicdependence logicgame-theoretic semanticsimperfect informationdynamic semanticsgame logic

Mathematics Subject Classification ID

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

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
• The logic of public announcements, common knowledge, and private suspicions
• 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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic logic for belief revision
• Complexity of model checking for modal dependence logic
• Modal dependence logic
• On definability in dependence logic
• From IF to BI. A tale of dependence and separation
• Generalized quantifiers in dependence logic
• Model-theoretic and computational properties of modal dependence logic
• Title not available (Why is that?)
• A remark on negation in dependence logic
• Modelling simultaneous games in dynamic logic
• Logics of public communications
• Title not available (Why is that?)
• Dynamic predicate logic
• Hierarchies in Dependence Logic
• Logic games are complete for game logics
• Complexity Results for Modal Dependence Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Team logic
• Independence-friendly cylindric set algebras
• Team Logic and Second-Order Logic

Cited In (14)

• A modal separation logic for resource dynamics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Epistemic operators in dependence logic
• Transition semantics: the dynamics of dependence logic
• Supervenience, dependence, disjunction
• Modal dependence logics: axiomatizations and model-theoretic properties
• Frame theory, dependence logic and strategies
• Safe dependency atoms and possibility operators in team semantics
• Embedding causal team languages into predicate logic
• Labelled transition logic: An outline
• Dynamic logics of imperfect information: from teams and games to transitions
• Observational interpretations of hybrid dynamic logic with binders and silent transitions

This page was built for publication: Transition semantics: the dynamics of dependence logic

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