Admissible inference rules in the linear logic of knowledge and time LTK <subscript> r </subscript> with intransitive time relation
In: Siberian Mathematical Journal, Jg. 56 (2015-05-01), Heft 3, S. 455-470
Online
academicJournal
Zugriff:
Titel: |
Admissible inference rules in the linear logic of knowledge and time LTK <subscript> r </subscript> with intransitive time relation
|
---|---|
Autor/in / Beteiligte Person: | Luk’yanchuk, A. N. ; Rybakov, V. V. |
Link: | |
Zeitschrift: | Siberian Mathematical Journal, Jg. 56 (2015-05-01), Heft 3, S. 455-470 |
Veröffentlichung: | 2015 |
Medientyp: | academicJournal |
ISSN: | 0037-4466 (print) ; 1573-9260 (print) |
DOI: | 10.1134/s003744661503009x |
Sonstiges: |
|