Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Theory in Logical Form;Abramsky;Annals of Pure and Applied Logic,1991
2. Category Theory for Computing Science;Barr,1990
3. A Paradigm for Program Semantics;Brink,2001
4. Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic;Celani;L. J. of the IGPL,1999
5. Modal Logic;Chagrov,1997
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coalgebras and Modal Expansions of Logics;Electronic Notes in Theoretical Computer Science;2004-12