| 
Поиск по ключевому слову "выполнимость"
Естественные модели для итерированных модальностей в системе Льюиса S4
| Авторы: Архиереев Н.Л. | Опубликовано: 26.12.2016 |
| Опубликовано в выпуске: #2(52)/2017 | |
| DOI: 10.18698/2306-8477-2017-2-413 | |
| Раздел: Гуманитарные науки в техническом университете | Рубрика: Философские науки | |
| Ключевые слова: модальность, возможный мир, модельная структура, отношение достижимости, относительно ограниченное множество описаний состояний, истинность, ложность, выполнимость, общезначимость | |
Теория логических модальностей без "возможных миров"
| Авторы: Архиереев Н.Л. | Опубликовано: 22.08.2016 |
| Опубликовано в выпуске: #7(45)/2016 | |
| DOI: 10.18698/2306-8477-2016-7-373 | |
| Раздел: Гуманитарные науки в техническом университете | Рубрика: Философские науки | |
| Ключевые слова: модальность, возможный мир, модельная структура, отношение достижимости, ограниченное множество описаний состояний, дополнительно ограниченное множество описаний состояний, истинность, ложность, выполнимость, общезначимость | |