|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
On Kripke completeness of some modal predicate logics with the density axiomстатья
- Автор: Shehtman V.
- Сборник: Advances in Modal Logic
- Серия: Advances in Modal Logic
- Том: 12
- Год издания: 2018
- Издательство: College Publications
- Местоположение издательства: United States
- Первая страница: 559
- Последняя страница: 576
- Аннотация: We prove completeness for some normal modal predicate logics in the standard Kripke semantics with expanding domains. We consider quanti fied versions of propositional logics with the axiom of density plus some others (transitivity, confluence). The method of proof modifi es the technique developed for other cases (without density) by S. Ghilardi, G. Corsi and D. Skvorstov; but now we arrange the whole construction in a game-theoretic style.
- Добавил в систему: Шехтман Валентин Борисович