Truth-preserving operations on sums of Kripke frames (Q5224586)
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 7084852
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Truth-preserving operations on sums of Kripke frames |
scientific article; zbMATH DE number 7084852 |
Statements
24 July 2019
0 references
combinations of modal logics
0 references
sum of Kripke frames
0 references
finite model property
0 references
universal modality
0 references
polymodal provability logic
0 references
refinement of modal logics
0 references
lexicographic product of modal logics
0 references
0.7425505518913269
0 references
0.7408090829849243
0 references
0.737426221370697
0 references
0.7328786253929138
0 references
0.7259669899940491
0 references
