Author:
Balan Adriana,Kurz Alexander,Velebil Jiří
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY;The Journal of Symbolic Logic;2024-03-04
2. Coalgebraic Geometric Logic: Basic Theory;Logical Methods in Computer Science;2022-12-08
3. Monotone Subintuitionistic Logic: Duality and Transfer Results;Notre Dame Journal of Formal Logic;2022-05-01
4. Positive Monotone Modal Logic;Studia Logica;2021-02-06
5. Modal Intuitionistic Logics as Dialgebraic Logics;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08