Dirk Pattinson. Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Theoretical Computer Science, 309(1-3):177-193, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.