1 problem

0 votes0 replies0 views
The boxdot conjecture for normal modal logics
Boxdot conjecture. Every normal modal logic $L$ satisfying
Conjectureopenboxdot-translation modal-logic provability-logicarXiv posted 2 days ago

The boxdot conjecture for normal modal logics