Author:
Areces Carlos,Fervari Raul,Hoffmann Guillaume
Publisher
Oxford University Press (OUP)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Axiomatization of Hybrid Logic of Link Variations;Lecture Notes in Computer Science;2024
2. To be announced;Information and Computation;2023-06
3. Relation-changing models meet paraconsistency;Journal of Logical and Algebraic Methods in Programming;2023-06
4. A Simple Logic of the Hide and Seek Game;Studia Logica;2023-05-17
5. On Composing Finite Forests with Modal Logics;ACM Transactions on Computational Logic;2023-04-03