1 problem

0 votes0 replies0 views
The BSS conjecture on finite axiomatisability and elementarity
A class of modal logics is considered in which the relevant logics are defined by first-order conditions of the form $\forall x\exists y\,(xR_\lambda y\land\phi(y))$ , where…
Conjectureopenelementarity finite-axiomatizability modal-logicarXiv posted 2 days ago

The BSS conjecture on finite axiomatisability and elementarity