Author:
Bezhanishvili Nick,Cate Balder Ten
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modern Faces of Filtration;Outstanding Contributions to Logic;2023
2. Analogues of Bull’s theorem for hybrid logic;Logic Journal of the IGPL;2018-09-28
3. On the Modal Logic of Subset and Superset: Tense Logic over Medvedev Frames;Studia Logica;2016-10-18
4. Coalgebraic Hybrid Logic;Foundations of Software Science and Computational Structures;2009
5. Undecidability of Multi-modal Hybrid Logics;Electronic Notes in Theoretical Computer Science;2007-06