Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
On undecidability of the propositional logic of an associative binary modality | Archive for Mathematical Logic |
| 2024 | |
An $$\omega $$-Rule for the Logic of Provability and Its Models | Studia Logica |
| 2024 | |
Positive modal logic beyond distributivity | Annals of Pure and Applied Logic |
| 2024 | |
Profiniteness, monadicity and universal models in modal logic | Annals of Pure and Applied Logic |
| 2024 | |
Ordered locales | Journal of Pure and Applied Algebra |
| 2024 |