classical modal logic (Q5128344)
Jump to navigation
Jump to search
modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B
Language | Label | Description | Also known as |
---|---|---|---|
English | classical modal logic |
modal logic containing the duality axiom schema ◊A↔¬◻¬A as well as the deduction rule A↔B ⊢ ◻A↔◻B |
Statements
0 references
Identifiers
Sitelinks
Wikipedia(6 entries)
- enwiki Classical modal logic
- fawiki منطق موجهات کلاسیک
- itwiki Logica modale classica
- lawiki Logica modalis classica
- ptwiki Lógica modal clássica
- ruwiki Классическая модальная логика