normal modal logic (Q840226)
Jump to navigation
Jump to search
set of modal formulas containing all propositional tautologies and all instances of the Kripke schema ◻(A→B)→(◻A→◻B) and closed under modus ponens and necessitation
Language | Label | Description | Also known as |
---|---|---|---|
English | normal modal logic |
set of modal formulas containing all propositional tautologies and all instances of the Kripke schema ◻(A→B)→(◻A→◻B) and closed under modus ponens and necessitation |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(8 entries)
- dewiki Normale Modallogik
- enwiki Normal modal logic
- fawiki منطق وجهی نرمال
- frwiki Logique modale normale
- itwiki Logica modale normale
- ptwiki Lógica modal normal
- ruwiki Нормальная модальная логика
- zhwiki 正规模态逻辑