Representing imperfect information of procedures with hyper models

DOI10.1007/978-3-662-45824-2_16zbMATH Open1304.03048OpenAlexW13416124MaRDI QIDQ2937405FDOQ2937405

Authors: Yanjing Wang 

Publication date: 9 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45824-2_16

Recommendations

• Epistemic GDL: a logic for representing and reasoning about imperfect information games
• Symbolic Model Checking for Dynamic Epistemic Logic
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• scientific article; zbMATH DE number 125989
• scientific article; zbMATH DE number 5164528

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Cited In (5)

• A logic of goal-directed knowing how
• A Logic of Knowing How
• Beyond knowing that: a new generation of epistemic logics
• Planning-based knowing how: a unified approach
• Achieving while maintaining: a logic of knowing how with intermediate constraints

This page was built for publication: Representing imperfect information of procedures with hyper models

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