Program models and semi-public environments

DOI10.1093/LOGCOM/EXV086zbMath1444.03030OpenAlexW2526068909MaRDI QIDQ5215818

Davide Grossi, Michael Wooldridge, Wiebe van der Hoek, Christos Moyzes

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 logicvisibilitydynamic epistemic logicontic change

Mathematics Subject Classification ID

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

Related Items (1)

Program semantics and verification technique for AI-centred programs

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