regular modal logic (Q7309611)
Jump to navigation
Jump to search
modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule (A∧B)→C ⊢ (◻A∧◻B)→◻C
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | regular modal logic |
modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule (A∧B)→C ⊢ (◻A∧◻B)→◻C |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Regular modal logic
- itwiki Logica modale regolare
- mkwiki Регуларна модална логика