Publisher
Oxford University Press (OUP)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Logic of Contingent Actuality;Ergo an Open Access Journal of Philosophy;2024-05-03
2. Forcing and Calculi for Hybrid Logics;Journal of the ACM;2020-08-31
3. Birkhoff style calculi for hybrid logics;Formal Aspects of Computing;2017-09
4. Foundations of logic programming in hybrid logics with user-defined sharing;Theoretical Computer Science;2017-07
5. An NP-complete fragment of fibring logic;Annals of Mathematics and Artificial Intelligence;2015-07-01