Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Somayeh Chopoghloo"'
Autor:
Somayeh Chopoghloo, Morteza Moniri
Publikováno v:
Journal of Logic and Computation. 31:1640-1659
In this paper, we consider the logic ${\textsf{ITL}}^{e}$, a variant of intuitionistic linear temporal logic that is interpreted over the class of dynamic Kripke frames. These are bi-relational structures of the form $ \langle{W, \preccurlyeq , f}\ra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33fd481fb4a8285280ef8edded43886c
https://doi.org/10.1093/logcom/exab041
https://doi.org/10.1093/logcom/exab041
Autor:
Morteza Moniri, Somayeh Chopoghloo
Publikováno v:
Logic Journal of the IGPL. 30:124-142
Dynamic topological logic ($\textsf{DTL}$) is a multi-modal logic that was introduced for reasoning about dynamic topological systems, i.e. structures of the form $\langle{\mathfrak{X}, f}\rangle $, where $\mathfrak{X}$ is a topological space and $f$
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97ff41dad4b61beee9c2509c579c40fe
https://doi.org/10.1093/jigpal/jzaa055
https://doi.org/10.1093/jigpal/jzaa055