33 Великолепная семерка модальных логик

Uploaded By: Myvideo

Published on

28 Nov 2024

1 view

0

0 votes

0

About Share Download Add to

Определим следующие модальные логики: К - минимальная логика, соотв. всем шкалам, включает ИВ, аксиому нормальности, модус поненс и правило усиления; K4 = К транзитивность; Т = К рефоексивность; S4 = K транзитивность рефлексивность; GL = K4 аксиома Лёба; S5 = S4 евклидовость (отн. эквивалентности); S - логика Соловея (получается из GL)

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/dE9VS2xVamw0L2JMdWNtZlNMazVBVGNFS00zVVJqZEdCNFZ5UTJCenFodz0" 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

ИДУЩИЕ К СВЕТУ. О,_если_бы_Вы_знали,_что_я_вижу_на_Небесах!!!_Видение_в_Духе!

9 hours ago

01:35:21

ИДУЩИЕ К СВЕТУ. О,_если_бы_Вы_знали,_что_я_вижу_на_Небесах!!!_Видение_в_Духе!

1 79%

WEY 80. Роскошный минивен с мощностью в 487 сил и полным приводом. Обзор гибридной новинки.

15 hours ago

00:35:44

WEY 80. Роскошный минивен с мощностью в 487 сил и полным приводом. Обзор гибридной новинки.

5.8K 19%

Clip by @bv_pv

15 hours ago

00:00:17

Clip by @bv_pv

383 52%

ИДУЩИЕ К СВЕТУ. Это просто потрясающе, что Бог даёт понять! Прими и ты эту радость!

18 hours ago

00:02:03

ИДУЩИЕ К СВЕТУ. Это просто потрясающе, что Бог даёт понять! Прими и ты эту радость!

1 20%

Посадочный модуль Nova-C сделал потрясающие снимки Земли на пути к Луне NASASpaceNews

18 hours ago

00:08:36

Посадочный модуль Nova-C сделал потрясающие снимки Земли на пути к Луне NASASpaceNews

2 50%

Замечательное открытие JWST: кошачий хвост в системе Beta Pictoris NASASpaceNews

19 hours ago

00:08:13

Замечательное открытие JWST: кошачий хвост в системе Beta Pictoris NASASpaceNews

1 14%

Герои фильма ГОСТЬЯ ИЗ БУДУЩЕГО: жизнь в прекрасном далёко. | ЭМИГРАЦИЯ, СМЕРТЬ, БЛАГОПОЛУЧИЕ

19 hours ago

00:19:30

Герои фильма ГОСТЬЯ ИЗ БУДУЩЕГО: жизнь в прекрасном далёко. | ЭМИГРАЦИЯ, СМЕРТЬ, БЛАГОПОЛУЧИЕ

1.7K 61%

Шикарная музыка! Это лучшая музыка для души! Очень красиво! Послушайте

21 hour ago

04:00:57

Шикарная музыка! Это лучшая музыка для души! Очень красиво! Послушайте

5 66%

Маркетинг без зависимости от лидов. Анастасия Комарова о том, как грамотно выстроить стратегию в 2025 году

1 day ago

01:16:59

Маркетинг без зависимости от лидов. Анастасия Комарова о том, как грамотно выстроить стратегию в 2025 году

82 94%

Белоснежка и семь гномов (1937)

2 days ago

01:23:32

Белоснежка и семь гномов (1937)

3 16%

Личный бренд есть у каждого. Приходят на эксперта, а остаются с человеком. Зинаида Бурмис

2 days ago

00:56:18

Личный бренд есть у каждого. Приходят на эксперта, а остаются с человеком. Зинаида Бурмис

79 27%

ВЛОГ, зима на Пхукете. Первая неделя в Таиланде: детский сад, пляжи и местные магазины

2 days ago

00:38:27

ВЛОГ, зима на Пхукете. Первая неделя в Таиланде: детский сад, пляжи и местные магазины

79 66%

Враг хамил!: что может Орешник // Военный эксперт про характеристики ракеты, военных в США

2 days ago

00:37:22

Враг хамил!: что может Орешник // Военный эксперт про характеристики ракеты, военных в США

1 22%

ВОСХИТИТЕЛЬНЫЙ ТРАНС

2 days ago

01:02:14

ВОСХИТИТЕЛЬНЫЙ ТРАНС

48 14%

ЛТ-432 обзор легкий танк СССР | бронирование лт 432 оборудование | гайд LT-432 перки Мир танков

21 hour ago

00:12:50

ЛТ-432 обзор легкий танк СССР | бронирование лт 432 оборудование | гайд LT-432 перки Мир танков

29 49%

Флоксы хиты

2 days ago

00:07:25

Флоксы хиты

2 43%

Эленика Корелова о легендарном рецепте, выходе за пределы, плюсах партнёрства и баре в Лондоне

2 days ago

01:12:30

Эленика Корелова о легендарном рецепте, выходе за пределы, плюсах партнёрства и баре в Лондоне

22 53%

Новогодний шедевр. Шикарный рулет на праздничный стол 2025. Рулет с кремом.

3 days ago

00:07:39

Новогодний шедевр. Шикарный рулет на праздничный стол 2025. Рулет с кремом.

3.5K 60%

Шикарный Торт КАПИТАН КУКИС | Видео от Делай торты! (рецепты, мастер-классы)

3 days ago

00:01:01

Шикарный Торт КАПИТАН КУКИС | Видео от Делай торты! (рецепты, мастер-классы)

11.2K 36%

ЗАПОМНИТЕ ЭТО! Уроки 2024 года. Что применить в 2025-м Что будет с рублем, акциями и криптой

2 days ago

00:26:54

ЗАПОМНИТЕ ЭТО! Уроки 2024 года. Что применить в 2025-м Что будет с рублем, акциями и криптой

8.5K 77%

Тренды и флеты и их механика. Потрясающе!

4 days ago

01:20:51

Тренды и флеты и их механика. Потрясающе!

529 69%

Виды графиков и объём. Все трейдеры про это знают. Обучение трейдингу с нуля бесплатно.

4 days ago

00:46:36

Виды графиков и объём. Все трейдеры про это знают. Обучение трейдингу с нуля бесплатно.

616 69%

Молодой скотина Застрелю чудесное спасение в Курской области 8 тыс дезертиров снова на фронт

4 days ago

00:03:43

Молодой скотина Застрелю чудесное спасение в Курской области 8 тыс дезертиров снова на фронт

1.4K 41%

Скидки на Switch, Bulletstorm, Unravel, Tales of и другие отличные игры

5 days ago

00:10:05

Скидки на Switch, Bulletstorm, Unravel, Tales of и другие отличные игры

4 94%

0 Comments

Guest