|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics (Part II)статья
- Автор: Shehtman Valentin
- Сборник: JFAK. Essays dedicated to Johan Van Benthem on the occasion of his 50th birthday (CD-ROM)
- Год издания: 1999
- Место издания: Amsterdam University Press Amsterdam, Netherlands
- Первая страница: 11 pages
- Аннотация: The property of strong neighbourhood completeness was introduced in the first part of this paper. By modifying the ultrabouqet construction, we prove this property for all Kripke-complete normal K4-logics and for a large class of Kripke-complete polymodal logics (called `acyclic'). On the other hand, we present a simple counterexample of a polymodal logic with the f.m.p. which is not strongly neighbourhood complete.
- Добавил в систему: Золин Евгений Евгеньевич