S5 (Q7388341)
Jump to navigation
Jump to search
normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A
Language | Label | Description | Also known as |
---|---|---|---|
English | S5 |
normal modal logic with the additional axioms ◻A→A and ◊A→◻◊A |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(5 entries)
- enwiki S5 (modal logic)
- itwiki S5 (logica modale)
- ptwiki S5 (lógica modal)
- ruwiki S5 (модальная логика)
- zhwiki S5 (模态逻辑)