MathDB1 problem
- 0 votes0 replies0 views
A Goldblatt–Thomason theorem for distribution-free modal logics
Goldblatt–Thomason conjecture for distribution-free modal logics. The classical Goldblatt–Thomason theorem should lift to the sorted modal logic case, yielding a related result for…