Epistemic logic with partial dependency operator

DOI10.1007/978-3-662-60292-8_28MaRDI QIDQ2291253zbMATH OpenOpenAlexFDO

Authors Xin Yu Wang

Publication date 30 January 2020

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

zbMATH Keywords

epistemic logicknowing valuepartial dependency

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Model-theoretic and computational properties of modal dependence logic
• Modal dependence logic
• Logics for propositional determinacy and independence
• A dynamic informational-epistemic logic
• scientific article; zbMATH DE number 589737

Cited in

(2)

• Epistemic Logic with Partial Dependency Operator
• Knowing the value of a predicate

This page was built for publication: Epistemic logic with partial dependency operator

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