Agents' Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions.

Vladimir V. Rybakov

Browse the full KES paper archive.