Some correspondences of principles in interpretability logic (Q2785600)
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: Some correspondences of principles in interpretability logic |
scientific article; zbMATH DE number 981737
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some correspondences of principles in interpretability logic |
scientific article; zbMATH DE number 981737 |
Statements
29 September 1997
0 references
generalized Veltman semantics
0 references
interpretability logic
0 references
Some correspondences of principles in interpretability logic (English)
0 references
We use a generalized Veltman semantics for studying correspondences of principles in interpretability logic. Using Veltman models, \textit{V. Švejdar} [Stud. Log. 50, 29-38 (1991; Zbl 0728.03016)] proved various independence results. He did not investigate Visser's principle \(\text{M}_0\). D. de Jongh defined generalized Veltman models. With generalized Veltman models we show our main result: The principles \(\text{M, P, F, W, W}^*\), KM1, KM2, KW1, \(\text{KW1}^0\) are not provable in \(\text{ILM}_0\).
0 references
