|
|||||
|
|
Some independence results in interpretability logic |
|
| Authors: | Vítězslav Švejdar |
| Institution: | (1) Department of Logic, FF UK, Palachovo nám. 2, 116 38 Praha 1, Czechoslovakia |
| Abstract: | A Kripke-style semantics developed by de Jongh and Veltman is used to investigate relations between several extensions of interpretability logic, IL. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |