Epistemic logic with partial dependency operator

DOI10.1007/978-3-662-60292-8_28OpenAlexW3102389405MaRDI QIDQ2291253FDOQ2291253

Authors: Xin Yu Wang 

Publication date: 30 January 2020

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

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

zbMATH Keywords

epistemic logicknowing valuepartial dependency

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)