The language of Contextual Attribute Logics – Introduction and survey

This article provides an introductory overview of Contextual Attribute Logic(s), a branch of Contextual Logic founded by Rudolf Wille. It presents a logic language that is based on mathematical logic but uses a different terminology to better serve the interpretative goal of Formal Concept Analysis. • The paper presents the language of Contextual Attribute Logic, i.e., the logical language for working with formal concepts. It extends previous contributions to this theme by including background knowledge and elements of modal and multimodal logics, such as Description Logics. • We also try to explain why the powerful language of mathematical logic (whose results are, of course, respected and used) is not suitable for conceptual knowledge processing. • We place particular emphasis on consistent language. That is why the suggested language elements are closely based on familiar expressions used in various fields.