| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
|
|||
|
|
|||
|
Weak interpolation property over the minimal logic Larisa Maksimova |
|||
|
Abstract: Weak interpolation property WIP in extensions of Johansson's minimal logic J is investigated. A weak version of the joint consistency property equivalent to WIP is found. It is proved that the weak interpolation property is decidable over J. Language: English |
|||