scientific article; zbMATH DE number 7361815

MaRDI QIDQ4994889zbMATH OpenFDO

Authors Xiaowei Huang, Ron van der Meyden

Publication date 22 June 2021

Full work available at URL https://arxiv.org/abs/1404.0838, http://eptcs.web.cse.unsw.edu.au/paper.cgi?SR2014.5

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Noncooperative games (91A10)

Recommendations

• An epistemic strategy logic
• Reasoning about knowledge and strategies: epistemic strategy logic
• scientific article; zbMATH DE number 1999226
• Structures for epistemic logic
• A new approach to epistemic logic
• Logics for dynamic epistemic behavioral strategies
• An epistemic separation logic
• Epistemic logics with structured knowledge
• Epistemic extensions of substructural inquisitive logics
• scientific article; zbMATH DE number 1696741

Cited in

(10)

• Strategic knowledge of the past in quantum cryptography
• On epistemic temporal strategic logic
• Partial information and uniform strategies
• Constructive knowledge: what agents can achieve under imperfect information
• An epistemic strategy logic
• scientific article; zbMATH DE number 2149444 (Why is no real title available?)
• Nondeducibility on strategies in the temporal logic of knowledge
• Reasoning about knowledge and strategies: epistemic strategy logic
• Intelligence in strategic games
• Epistemic strategies and games on concurrent processes

This page was built for publication:

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