On the multi-dimensional modal logic of substitutions (Q5211025)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the multi-dimensional modal logic of substitutions |
scientific article; zbMATH DE number 7153045
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the multi-dimensional modal logic of substitutions |
scientific article; zbMATH DE number 7153045 |
Statements
On the multi-dimensional modal logic of substitutions (English)
0 references
17 January 2020
0 references
finite model property
0 references
interpolation
0 references
multimodal logic
0 references
omitting types
0 references
substitution algebra
0 references
