ANNA DMITRIEVA

most citedPositive Modal Logic Beyond Distributivity

7 citations · 12 across the 2 of their papers we have counts for

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2023★ 5 cited

Dividing Lines between Positive Theories

Anna Dmitrieva, Francesco Gallinaro, Mark Kamsma

We give definitions of the properties OP, IP, $k$ -TP, TP $_{1}$ , $k$ -TP $_{2}$ , SOP $_{1}$ , SOP $_{2}$ and SOP $_{3}$ 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…