On Linear Logic of Knowledge and Time Full article
| Journal |
Outstanding Contributions to Logic
ISSN: 2211-2758 , E-ISSN: 2211-2766 |
||
|---|---|---|---|
| Output data | Year: 2018, Volume: 15, Pages: 339-349 Pages count : 11 DOI: 10.1007/978-3-319-69917-2_15 | ||
| Authors |
|
||
| Affiliations |
|
Abstract:
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.
Cite:
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
Identifiers:
| Scopus: | 2-s2.0-85068172962 |
| OpenAlex: | W2793117584 |
Citing:
Пока нет цитирований