Modal Logics that Bound the Circumference of Transitive Frames (Q5015972)
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 7442315
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modal Logics that Bound the Circumference of Transitive Frames |
scientific article; zbMATH DE number 7442315 |
Statements
Modal Logics that Bound the Circumference of Transitive Frames (English)
0 references
10 December 2021
0 references
transitive frame
0 references
cluster
0 references
circumference
0 references
modal logic
0 references
filtration
0 references
finite model property
0 references
hereditarily irresolvable space
0 references
Grzegorczyk
0 references
Gödel-Löb logic
0 references
0 references
0.7815399169921875
0 references
0.7760926485061646
0 references
0.7677925825119019
0 references
0.7577178478240967
0 references
0.7547551393508911
0 references
