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