VAN DEN BERG SEL., LINE; BUSANICHE, MANUELA; MARCOS, MIGUEL ANDRÉS; METCALFE, GEORGE

Towards an Algebraic Theory of KD45-Like Logics

Advances in Modal Logic

Año: 2024;