7 citations · 12 across the 2 of their papers we have counts for
2 papers
math.LO2023★ 5 cited
Dividing Lines between Positive Theories
Anna Dmitrieva, Francesco Gallinaro, Mark Kamsma
We give definitions of the properties OP, IP, -TP, TP, -TP, SOP, SOP and SOP in positive logic, and prove various implications and equivalences between th…
math.LO2022★ 7 cited
Positive Modal Logic Beyond Distributivity
Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot +1
We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak positive (modal) logic…