Frame Theory, Dependence Logic and Strategies

DOI10.1007/978-3-662-46906-4_13zbMath1327.03021OpenAlexW2208749123MaRDI QIDQ3455191

Wiebke Petersen, Ralf Naumann

Publication date: 3 December 2015

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46906-4_13

zbMATH Keywords

dynamic semanticsdynamic epistemic logicdependence logicnumeralsscalar quantifiers

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• The propositional dynamic logic of deterministic, well-structured programs
• Generalized quantifiers in dependence logic
• REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION
• Logical Dynamics of Information and Interaction
• Unnamed Item

This page was built for publication: Frame Theory, Dependence Logic and Strategies