Home
Logic and AI

News archive for Logic and AI

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