Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Eine Interpretation des intuitionistischen Aussagenkalküls | 1933 | |||
Studies in Logic | 2002 | |||
Studies in Logic | 1999 | |||
Arrow Logic and Multi-Modal Logic | 1996 | |||
A Modal Logic for Chopping Intervals | Journal of Logic and Computation |
| 43 | 1991 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Algebraic semantics for propositional superposition logic | Journal of Applied Non-Classical Logics | 2020 | ||
Modal Definability Based on Łukasiewicz Validity Relations | Studia Logica |
| 1 | 2016 |
Denumerably Many Post-Complete Normal Modal Logics with Propositional Constants | Notre Dame Journal of Formal Logic |
| 4 | 2012 |
A Sahlqvist theorem for distributive modal logic | Annals of Pure and Applied Logic |
| 58 | 2005 |
Canonical varieties with no canonical axiomatisation | Transactions of the American Mathematical Society |
| 2004 |