Hjem
Click

Logikk, informasjon og interaksjon

Nyhetsarkiv for Logikk, informasjon og interaksjon

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