К вопросу об особенностях CPL
Стандартной семантикой для первопорядковых модальных логик является семантика возможных миров. Последняя обычно формулируется таким образом, что не позволяет адекватно анализировать выражения, содержащие сравнения объектов, ассоциированных с разными возможными мирами. В статье обсуждаются один из ва...
| Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 74. С. 17-24 |
|---|---|
| Главный автор: | Ламберов, Лев Дмитриевич |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001006871 |
Похожие документы
-
Логика для кросс-мировой предикации
по: Борисов, Евгений Васильевич философ -
Логика для кросс-мировой предикации: теория доказательства
по: Борисов, Евгений Васильевич философ -
Логики для кросс-мировой предикации на основе D, T, S4 и S5
по: Мухаметшина, Индира Искандаровна -
Papers on time and tense
по: Prior, Arthur N. 1914-1969
Публикация: (2003) -
Семантика модальных и интенсиональных логик
Публикация: (1981)
