Program models and semi-public environments

DOI10.1093/LOGCOM/EXV086MaRDI QIDQ5215818zbMATH OpenOpenAlexFDO

Authors Davide Grossi, Wiebe van der Hoek, Christos Moyzes, M. J. Wooldridge

Publication date 13 February 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/cd09c4cbebcd891059b4deebfa83e90c95302271

zbMATH Keywords

dynamic epistemic logicdynamic logicontic changevisibility

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Knowledge and action in semi-public environments
• Logics for epistemic programs
• Reasoning about programs by exploiting the environment
• A poor man's epistemic logic based on propositional assignment and higher-order observation
• scientific article; zbMATH DE number 140389

Cited in

(4)

• Knowledge and action in semi-public environments
• Reasoning about programs by exploiting the environment
• Program semantics and verification technique for AI-centred programs
• An SMT-based approach to the verification of knowledge-based programs

This page was built for publication: Program models and semi-public environments

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