Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Willem Blok and Modal Logic | 2 | 0.36 | 2006 |
| On reduced matrices | 4 | 0.85 | 1993 |
| Common Logic of 2-Valued Semigroup Connectives | 1 | 0.40 | 1991 |
| Mail box | 0 | 0.34 | 1990 |
| Axiomatization of semigroup consequences | 5 | 2.59 | 1989 |
| A calculus for the common rules of ∧ and ∨ | 4 | 0.56 | 1989 |
| Propositional logic based on the dynamics of disbelief | 1 | 0.45 | 1989 |
| Applications of weak Kripke semantics to intermediate consequences | 3 | 0.62 | 1986 |
| Modal tableau calculi and interpolation | 55 | 6.94 | 1983 |
| Splitting lattices of logics | 13 | 3.28 | 1980 |
| Model-interpretability into trees and applications | 2 | 0.89 | 1975 |