scientific article

DOI10.2143/LEA.230.0.3141809zbMath1372.03032MaRDI QIDQ2973442

Sébastien Magnier, Tiago de Lima

Publication date: 3 April 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

public announcement logicdynamic epistemic logicscommon knowledge operatordialogical framework

Mathematics Subject Classification ID

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

Related Items (1)

Temporal languages for epistemic programs

This page was built for publication: