Vassar College Digital Library
Subject

completeness theorem

Strategic Coalitions with Perfect Recall

Publication Date
2018-February-02
Document Type
Department or Program
Document Type
Abstract

The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by...

View
Subscribe to completeness theorem