Электронная библиотека (репозиторий) Томского государственного университета
модальная логика

Add to Quick Collection   All 8 Results

Showing items 1 - 8 of 8.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   К вопросу об особенностях CPL
Authors: Ламберов, Лев Дмитриевич
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2023. № 74. С. 17-24
Type: статьи в журналах
Date: 2023
Description: Стандартной семантикой для первопорядковых модальных логик является семантика возможных миров. Последняя обычно формулируется таким образом, что не позволяет адекватно анализировать выражения, содержа ... More
Add   Первопорядковая модальная логика с 𝜆-оператором
Authors: Мухаметшина, Индира Искандаровна
Source: Initia: Актуальные проблемы социальных наук (22-23 апреля 2022 г.) : материалы XXIV Международной конференции молодых ученых. Томск, 2022. С. 120-122
Type: статьи в сборниках
Date: 2022
Add   Von Wrights theory as the subsystem of the theory D
Authors: Gavrikov, A. R.
Source: Initia: Актуальные проблемы социальных наук (24–25 апреля 2020 г.) [Электронный ресурс] : материалы XXII Международной конференции молодых ученых. Томск, 2020. С. 224-225
Type: статьи в сборниках
Date: 2020
Add   Логика для кросс-мировой предикации
Authors: Борисов, Евгений Васильевич (философ)
Source: Второй международный конгресс русского общества истории и философии науки "Наука как общественное благо" [Электронный ресурс] : сборник научных статей. М., 2020. Т. 4. С. 205-209
Type: статьи в сборниках
Date: 2020
Description: Некоторые предложения естественного языка, такие как «Джон мог бы быть богаче», приписывают объектам кросс-мировые отношения. В данном примере это отношение между Джоном, Каков он в действительном мир ... More
Add   Кросс-мировое сравнение в расширенной логике сослагательного наклонения
Authors: Гавриков, Александр Романович
Source: Initia: Актуальные проблемы социальных наук (26-27 апреля 2019 г.) [Электронный ресурс] : материалы XXI Международной конференции молодых ученых. Томск, 2019. С. 108-112
Type: статьи в сборниках
Date: 2019
Add   Possible worlds semantics
Authors: Dibrov, A. D.
Source: Initia: Актуальные проблемы социальных наук (27–28 апреля 2018 г) : материалы XX Международной конференции молодых ученых. Томск, 2018. С. 257-258
Type: статьи в сборниках
Date: 2018
Add   Итерированные модальные операторы и условия выводимости Гильберта-Бернайса
Authors: Целищев, Виталий Валентинович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43
Type: статьи в журналах
Date: 2018
Description: Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Вт ... More
Add   Эволюционная эпистемология и ненормальная модальная логика знания
Authors: Лобовиков, Владимир Олегович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 41. С. 5-14
Type: статьи в журналах
Date: 2018
Description: С эволюционной точки зрения формула «Если агент знает, что q, то q» парадоксальна. Предлагается заменить ее доказуемость на выводимость из некоторого эпистемически значимого допущения. Это допущение т ... More
  • «
  • ←
  • 1
  • →
  • »
^