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

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Принципы построения кластерной семантики для основных нормальных модальных систем
Authors: Архиереев, Николай Львович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2023. № 75. С. 5-20
Type: статьи в журналах
Date: 2023
Description: Рассматривается единая стратегия построения естественной семантики для основных нормальных модальных логик. Смысл модальных операторов выражается при помощи кластеров – конечных множеств описаний сост ... More
Add   Итерированные модальные операторы и условия выводимости Гильберта-Бернайса
Authors: Целищев, Виталий Валентинович
Source: Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 33-43
Type: статьи в журналах
Date: 2018
Description: Анализируются некоторые способы ослабления универсальности условий выводимости Гильберта – Бернайса, связанные с применением модальной логики к теории доказательства, в частности при доказательстве Вт ... More
  • «
  • ←
  • 1
  • →
  • »
^