Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
The preservation of Sahlqvist equations in completions of Boolean algebras with operators | Algebra universalis |
| 17 | 1999 |
10.1016/S0049-237X(08)70723-7 | ||||
A Henkin completeness for $T$. | Notre Dame Journal of Formal Logic |
| 8 | 1967 |
10.1093/oso/9780198537793.001.0001 | ||||
10.1007/BF00370316 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations | Annals of Pure and Applied Logic |
| 1 | 2020 |
Canonical extensions: an algebraic approach to Stone duality | Algebra universalis |
| 1 | 2018 |
A Dichotomy for Some Elementarily Generated Modal Logics | Studia Logica |
| 2 | 2015 |
Axiomatizing hybrid logic using modal logic | Journal of Applied Logic | 1 | 2010 | |
THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES | The Review of Symbolic Logic |
| 2010 |