Public announcement logic with distributed knowledge: expressivity, completeness and complexity

From MaRDI portal
(Redirected from Publication:484926)