|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Simplicial semantics of modal predicate logicsдоклад на конференции
- Автор: Shehtman Valentin
- Международная Конференция (Семинар (workshop)) : Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles)
- Даты проведения конференции: 17-20 октября 2017
- Дата доклада: 18 октября 2017
- Тип доклада: Устный
- Докладчик: Shehtman Valentin
- Место проведения: Steklov Mathematical Institute, Moscow, Russia, Russia
-
Аннотация доклада:
Simplicial semantics for modal and modal predicate logics was introduced by Dmitry Skvortsov in the early 1990s as a maximal Kripke-type semantics. Basic results on this semantics were proved by Skvortsov and Shehtman (1993). In this talk we present a new incompleteness result: there is a continuum of logics (some of which are very simply axiomatized) that are complete in simplicial semantics, but incomplete in Ghilardi's functor semantics. These logics are quantified versions of propositional modal logics above D4.1 (= K4 + seriality + McKinsey formula).
- Добавил в систему: Золин Евгений Евгеньевич