Bilattice logic of epistemic actions and knowledge
scientific article; zbMATH DE number 7189162
scientific article