Graded epistemic logic with public announcement

Autor:	Benevides, Mário, Madeira, Alexandre, Martins, Manuel A.
Zdroj:	In Journal of Logical and Algebraic Methods in Programming February 2022 125
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect