Modal logics of Stone spaces (Q438813)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6062530
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modal logics of Stone spaces |
scientific article; zbMATH DE number 6062530 |
Statements
Modal logics of Stone spaces (English)
0 references
31 July 2012
0 references
A Stone space is an image of a Boolean algebra under Stone duality. Using their previous results, the authors characterize modal propositional logics of Stone spaces. For a metrizable Stone space \(X\) its logic is S4 if \(X\) is not weakly scattered, and is S4 or S4.\({\mathrm{Grz}_n}\) for some \(n>1\) if \(X\) is scattered. Similar results are obtained for intermediate logics.
0 references
modal logic
0 references
Boolean algebra
0 references
Stone space
0 references
metrizable space
0 references
extremally disconnected space
0 references
intuitionistic logic
0 references
intermediate logic
0 references
0.8882599472999573
0 references
0.8802733421325684
0 references
0.8363711833953857
0 references
0.8217776417732239
0 references
0.8174776434898376
0 references
