Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Countably Many Weakenings of Belnap–Dunn Logic | Studia Logica |
| 8 | 2020 |
Tense operators on De Morgan algebras | Logic Journal of the IGPL |
| 15 | 2014 |
Kripke semantics and proof systems for combining intuitionistic logic and classical logic | Annals of Pure and Applied Logic |
| 6 | 2013 |
Polarity and its dual | 2000 | |||
Modal companions of intermediate propositional logics | 1992 |