scientific article; zbMATH DE number 6863638
From MaRDI portal
Publication:4636026
zbMath1400.03027MaRDI QIDQ4636026
Andreas Herzig, Philippe Balbiani, Hans P. van Ditmarsch
Publication date: 23 April 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
On inverse operators in dynamic epistemic logic ⋮ To be announced ⋮ A separation logic with histories of epistemic actions as resources ⋮ Arbitrary public announcement logic with memory ⋮ Reverse public announcement operators on expanded models ⋮ Public announcements, public lies and recoveries
This page was built for publication: