Золин Е. Модальные логики с оператором транзитивного замыкания (Ломоносовские чтения 2020)

Uploaded By: Myvideo

Published on

27 Oct 2020

23 views

0

0 votes

0

About Share Download Add to

. Евгений Золин, Станислав Кикоть, Илья Шапировский. «Модальные логики с оператором транзитивного замыкания». Мы формулируем достаточные условия для того, чтобы модальная логика с оператором транзитивного замыкания была полна по Крипке. Более точно, мы показываем, что если модальная логика допускает так называемые определимые фильтрации, то ее обогащение модальностью транзитивного замыкания (и соответствующими аксиомами Сегерберга) будет полна по Крипке, более того, получающаяся логика будет полн

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/NkozZFVxNHFTREdCNGJadnFFSkNlWDRrNm12L2ozZlFmVC9NdUhZRHhNYz0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Залина Муртузалиева - Иш дунья 2024

3 weeks ago

00:03:58

Залина Муртузалиева - Иш дунья 2024

42 40%

НЕВЕЛЬ, КАК ОН ЕСТЬ Залиния ул. Петрова

2 months ago

00:01:37

НЕВЕЛЬ, КАК ОН ЕСТЬ Залиния ул. Петрова

7K 90%

НЕВЕЛЬ, КАК ОН ЕСТЬ Залиния ул. Гоголя

2 months ago

00:05:43

НЕВЕЛЬ, КАК ОН ЕСТЬ Залиния ул. Гоголя

6.3K 7%

Койот - авторская песня - Леонид Золин - blues - spring - 2015

2 months ago

00:03:50

Койот - авторская песня - Леонид Золин - blues - spring - 2015

1 38%

НАСТОЯЩАЯ Паста КАРБОНАРА

3 months ago

00:01:56

НАСТОЯЩАЯ Паста КАРБОНАРА

3 13%

Автозвук в велосипед на ВЕЛИК НА ПРОКАЧКУ

3 months ago

00:19:45

Автозвук в велосипед на ВЕЛИК НА ПРОКАЧКУ

5.8K 77%

Конкурс Учитесь Пушкина читать. Участник №3 - Низамова Залина, 11 лет, Мамадышский район

3 months ago

00:00:42

Конкурс Учитесь Пушкина читать. Участник №3 - Низамова Залина, 11 лет, Мамадышский район

1.8K 68%

Река ВОЛХОВ от возникновения до наших дней

3 months ago

00:24:31

Река ВОЛХОВ от возникновения до наших дней

1 80%

- Дистанционные методы исследования атмосферных и климатических процессов - 16 ноября

3 months ago

04:54:45

- Дистанционные методы исследования атмосферных и климатических процессов - 16 ноября

22 34%

- Дистанционные методы исследования атмосферных и климатических процессов - 15 ноября

3 months ago

04:26:25

- Дистанционные методы исследования атмосферных и климатических процессов - 15 ноября

19 49%

Полицейские Северной Осетии поздравили с днем рождения Залину Березову, маму Героя России Заура Джибилова, погибшего при исполне

3 months ago

00:00:52

Полицейские Северной Осетии поздравили с днем рождения Залину Березову, маму Героя России Заура Джибилова, погибшего при исполне

91 75%

Золина: как по ней заниматься

3 months ago

00:04:37

Золина: как по ней заниматься

13 75%

Отзыв Александра Золина о форуме Бизнес-психология

4 months ago

00:00:56

Отзыв Александра Золина о форуме Бизнес-психология

1 29%

ЭТА техника снимает стресс за 5 МИНУТ! / Что такое метод бабочки и как он работает

4 months ago

00:08:47

ЭТА техника снимает стресс за 5 МИНУТ! / Что такое метод бабочки и как он работает

25 56%

Two Steps From Hell - Emerald Princess (EXTENDED Remix by Kiko10061980)

5 months ago

00:16:51

Two Steps From Hell - Emerald Princess (EXTENDED Remix by Kiko10061980)

1 47%

Первый турнир по футгольфу в Куркино

5 months ago

00:08:43

Первый турнир по футгольфу в Куркино

2.2K 54%

СЕСТРА - Остросюжетный фильм про лихие 90-е в VHS (Кинокомпания Ледокол) (2022)

5 months ago

01:29:13

СЕСТРА - Остросюжетный фильм про лихие 90-е в VHS (Кинокомпания Ледокол) (2022)

1 56%

Мезотерапия под глаза! Коллагенотерапия лица! Омоложение кожи!

5 months ago

00:02:30

Мезотерапия под глаза! Коллагенотерапия лица! Омоложение кожи!

1 27%

А.Золина,Е.Мигалкина, Р.Дмитриева Люди говаорили

6 months ago

00:03:28

А.Золина,Е.Мигалкина, Р.Дмитриева Люди говаорили

1.4K 52%

Сегодня в программе Первые лица - глава крестьянско фермерского хозяйства Золино Мария Губакина.

6 months ago

00:01:28

Сегодня в программе Первые лица - глава крестьянско фермерского хозяйства Золино Мария Губакина.

356 35%

Есть такая тема. Всё будет футбол

6 months ago

01:10:38

Есть такая тема. Всё будет футбол

1 86%

5 DESAFIO DE RUA - GOINIA 2005 - REMASTERIZADO

6 months ago

00:35:08

5 DESAFIO DE RUA - GOINIA 2005 - REMASTERIZADO

1 18%

Пряный и красочный арбузный гаспачо с зелёным базиликом

6 months ago

00:02:50

Пряный и красочный арбузный гаспачо с зелёным базиликом

1 93%

Клин. Первые лица! Мария Губакина

6 months ago

00:25:15

Клин. Первые лица! Мария Губакина

1.1K 16%

0 Comments

Guest