Epistemic operators in dependence logic

DOI10.1007/S11225-013-9478-3MaRDI QIDQ1956375zbMATH OpenOpenAlexFDO

Authors 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

announcementsdependence logicEhrenfeucht-Fraïssé gameepistemic operatorsgame-theoretic semanticsimperfect informationuniform definability

Mathematics Subject Classification ID

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

Recommendations

• Modal dependence logic
• Generalized quantifiers in dependence logic
• Model-theoretic and computational properties of modal dependence logic
• On dependence logic

Cites work

• A remark on Henkin sentences and their contraries
• A remark on negation in dependence logic
• Compositional semantics for a language of imperfect information
• Cylindric modal logic
• Dependence logic. A new approach to independence friendly logic
• Equivalence and quantifier rules for logic with imperfect information
• From IF to BI. A tale of dependence and separation
• scientific article; zbMATH DE number 4118333 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• Independent choices and the interpretation of IF logic
• On definability in dependence logic
• Team logic

Cited in

(16)

• Approximation and dependence via multiteam semantics
• Safe dependency atoms and possibility operators in team semantics
• 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
• A simple logic of functional dependence
• Dynamic logics of imperfect information: from teams and games to transitions
• scientific article; zbMATH DE number 7447734 (Why is no real title available?)
• scientific article; zbMATH DE number 847978 (Why is no real title available?)
• Logics for propositional determinacy and independence
• Remarks on compositionality
• Supervenience, dependence, disjunction
• SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
• Uniform definability in propositional dependence logic
• COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES
• Dimension in team semantics

This page was built for publication: Epistemic operators in dependence logic

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