Interpretability logic IL does not have finite subtree property (Q2940164)
From MaRDI portal
!
WARNING
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 6390875
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Interpretability logic IL does not have finite subtree property |
scientific article; zbMATH DE number 6390875 |
Statements
26 January 2015
0 references
interpretability logic
0 references
Veltman models
0 references
finite model property
0 references
0.7596878409385681
0 references
0.7520363330841064
0 references
0.7505066990852356
0 references
