1 paper
Ana de Almeida Borges, Joost J. Joosten
We present a propositional modal logic WC, which includes a logical verum constant ⊤ but does not have any propositional variables. Furthermore, the only connectives i…