Modal Logics that Bound the Circumference of Transitive Frames (Q5015972)
From MaRDI portal
scientific article; zbMATH DE number 7442315
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
