Clemens Kupke, Dirk Pattinson, Lutz Schröder. Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics. ACM Trans. Comput. Log., 23(2), 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.