🌐EnglishEnglishFrançaisItalianoPortuguêsРусский中文日本語EntityQ7388341· pop 5· linked from 24 articlesS5normal modal logic with the additional axioms ◻A→A and ◊A→◻◊AAvailable in 5 languages中文РусскийPortuguêsItalianovia Wikidata sitelinks · CC0Connectionspropositional calculusEntityKripke semanticsEntityCategoriesModal logic