Hjem
Logikk og AI

Nyhetsarkiv for Logikk og AI

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