A semantic characterization of a useful fragment of the situation calculus with knowledge
scientific article; zbMATH DE number 5909438
scientific article