145 citations · 189 across the 7 of their papers we have counts for
1 paper · 2 filters
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…