Epistemic operators in dependence logic

DOI10.1007/s11225-013-9478-3zbMath1270.03047OpenAlexW2070223807MaRDI QIDQ1956375

Pietro Galliani

Publication date: 13 June 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9478-3

zbMATH Keywords

Ehrenfeucht-Fraïssé gameimperfect informationdependence logicgame-theoretic semanticsepistemic operatorsuniform definabilityannouncements

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42)

Related Items

Doubly strongly first order dependencies ⋮ On the expressive power of TeamLTL and first-order team logic over hyperproperties ⋮ Separation logic and logics with team semantics ⋮ COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Unnamed Item ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ A simple logic of functional dependence ⋮ UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC ⋮ Approximation and dependence via multiteam semantics ⋮ Safe dependency atoms and possibility operators in team semantics ⋮ LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE ⋮ Remarks on Compositionality ⋮ Supervenience, Dependence, Disjunction ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A remark on Henkin sentences and their contraries
• A remark on negation in dependence logic
• On definability in dependence logic
• From IF to BI. A tale of dependence and separation
• Independent choices and the interpretation of IF logic
• Equivalence and quantifier rules for logic with imperfect information
• Compositional semantics for a language of imperfect information
• Cylindric modal logic