5 citations · 5 across the 1 of their papers we have counts for
1 paper
Sérgio Marcelino, Pedro Resende
The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantal…