Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Projective unification in transitive modal logics | Logic Journal of the IGPL |
| 8 | 2018 |
Almost structural completeness; an algebraic approach | Annals of Pure and Applied Logic |
| 11 | 2016 |
Modal Consequence Relations Extending S4.3: An Application of Projective Unification | Notre Dame Journal of Formal Logic |
| 5 | 2016 |
Projective unification in modal logic | Logic Journal of the IGPL |
| 27 | 2012 |
Semisimple Varieties of Modal Algebras | Studia Logica |
| 9 | 2006 |