Zobrazeno 1 - 10
of 4 546
pro vyhledávání: '"hybrid logic"'
Autor:
Gruszczyński, Rafał, Zhao, Zhiguang
The paper is devoted to modal properties of the ternary strict betweenness relation as used in the development of various systems of geometry. We show that such a relation is non-definable in a basic similarity type with a binary operator of possibil
Externí odkaz:
http://arxiv.org/abs/2410.20837
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
There are known characterisations of several fragments of hybrid logic by means of invariance under bisimulations of some kind. The fragments include $\{\store, \jump\}$ with or without nominals (Areces, Blackburn, Marx), $\jump$ with or without nomi
Externí odkaz:
http://arxiv.org/abs/2312.14661
Autor:
Zhao, Haibo1 (AUTHOR) ss_lona_401@163.com, Xing, Yahong1 (AUTHOR) apfds_3bm42@126.com, Zhou, Chengpeng2 (AUTHOR) 220226021@seu.edu.cn, Wang, Yao1 (AUTHOR) sk105a2@163.com, Duan, Hui1 (AUTHOR) wz1001e@126.com, Liu, Kai2 (AUTHOR) 220232891@seu.edu.cn, Jiang, Shigong2 (AUTHOR)
Publikováno v:
Energies (19961073). Sep2024, Vol. 17 Issue 17, p4285. 20p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Zhao, Zhiguang
In the present article, we extend the fragment of inductive formulas for the hybrid language L(@) in [8] including a McKinsey-like formula, and show that every formula in the extended class has a first-order correspondent, by modifying the algorithm
Externí odkaz:
http://arxiv.org/abs/2210.04433