A decidable multi-modal logic of context
scientific article; zbMATH DE number 2012946
scientific article