|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite framesстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 28 июня 2016 г.
- Авторы: Chagrov Alexander, Chagrova Lilia
- Журнал: Studia Logica
- Том: 55
- Номер: 3
- Год издания: 1995
- Издательство: Springer Nature
- Местоположение издательства: Switzerland
- Первая страница: 421
- Последняя страница: 448
- DOI: 10.1007/BF01057806
- Аннотация: The main result is that is no effective algorithmic answer to the question:how to recognize whether arbitrary modal formula has a first-order equivalent on the class of finite frames. Besides, two known problems are solved: it is proved algorithmic undecidability of finite frame consequence between modal formulas; the difference between global and local variants of first-order definability of modal formulas on the class of transitive frames is shown.
- Добавил в систему: Золин Евгений Евгеньевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 1995_Chagrov_Chagrova_Studia_Logica_55_3.pdf | 499,0 КБ | 15 февраля 2016 [ezolin] |