Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Slanted Canonicity of Analytic Inductive Inequalities | ACM Transactions on Computational Logic |
| 5 | 2021 |
Algorithmic correspondence and canonicity for non-distributive logics | Annals of Pure and Applied Logic |
| 18 | 2019 |
Algorithmic correspondence and canonicity for distributive modal logic | Annals of Pure and Applied Logic |
| 44 | 2012 |
Coalgebraic semantics of modal logics: An overview | Theoretical Computer Science |
| 14 | 2011 |
Typecasting, Legitimation, and Form Emergence: A Formal Theory | Sociological Theory |
| 28 | 2011 |