Partitioning Kripke frames of finite height (Q5349257)
From MaRDI portal
scientific article; zbMATH DE number 6763914
Language | Label | Description | Also known as |
---|---|---|---|
English | Partitioning Kripke frames of finite height |
scientific article; zbMATH DE number 6763914 |
Statements
Partitioning Kripke frames of finite height (English)
0 references
24 August 2017
0 references
modal logic
0 references
decidability
0 references
finite model property
0 references
finite height
0 references