Logika otázek z pohledu dynamické epistemické logiky

Abstrakt

Text představuje aplikaci logiky otázek založené na epistemické logice v logice veřejného vyhlášení při hledání skryté odpovědi ve skupině agentů.

Klíčová slova

• logika otázek
• epistemická logika
• dynamická logika
• veřejné vyhlášení