1 problem

0 votes0 replies0 views
Prelocal tabularity above ${\textsc{S4}}\times {\textsc{S5}}$
A unimodal logic is prelocally tabular when it has a locally tabular extension. Consider logics above ${\textsc{S4}}\times {\textsc{S5}}$ , meaning extensions of this product logic.…
Conjectureopenlocal-tabularity modal-logicarXiv posted 2 days ago

Prelocal tabularity above \textscS4×\textscS5{\textsc{S4}}\times {\textsc{S5}}\textscS4×\textscS5