On Linear Logic of Knowledge and Time Научная публикация
| Журнал |
Outstanding Contributions to Logic
ISSN: 2211-2758 , E-ISSN: 2211-2766 |
||
|---|---|---|---|
| Вых. Данные | Год: 2018, Том: 15, Страницы: 339-349 Страниц : 11 DOI: 10.1007/978-3-319-69917-2_15 | ||
| Авторы |
|
||
| Организации |
|
Реферат:
The paper is a survey of studies devoted to polymodal logics based on a class of frames with discrete linear time with current time point clusters. We consider some classes of frames connected to this class. The paper suggests several axiomatic calculi in various polymodal languages. We show that these axiomatic calculi are complete with respect to corresponding classes of frames. Offered calculi, as we show, posses many interesting properties, e.g. the finite model property and decidability. © 2018, Springer International Publishing AG.
Библиографическая ссылка:
Yun V.F.
On Linear Logic of Knowledge and Time
Outstanding Contributions to Logic. 2018. V.15. P.339-349. DOI: 10.1007/978-3-319-69917-2_15 Scopus OpenAlex
On Linear Logic of Knowledge and Time
Outstanding Contributions to Logic. 2018. V.15. P.339-349. DOI: 10.1007/978-3-319-69917-2_15 Scopus OpenAlex
Идентификаторы БД:
| Scopus: | 2-s2.0-85068172962 |
| OpenAlex: | W2793117584 |
Цитирование в БД:
Пока нет цитирований