🌐EnglishEnglishDeutschEspañolFrançaisItalianoPortuguêsРусскийفارسی中文日本語EntityQ840226· pop 9· linked from 40 articlesnormal modal logicset of modal formulas containing all propositional tautologies and all instances of the Kripke schema ◻(A→B)→(◻A→◻B) and closed under modus ponens and necessitationAvailable in 9 languagesFrançaisDeutsch中文日本語РусскийPortuguêsItalianoفارسیvia Wikidata sitelinks · CC0Connectionspartially ordered setEntitylogicEntityCategoriesModal logic