3 papers
math.LO2026
Monotonicity versus positivity in modal logics
Lev Dvorkin
We say that a logic L has the Lyndon positivity property (LPP) if all formulas which are monotone in L (that is, are preserved under increasing the valuation on L-algebras) are L-e…
math.LO2026
On Interpretations of Normal Modal Logics
Lev V. Dvorkin
We study interpretations of modal logics in one another where the Boolean connectives are interpreted identically and the modal operator diamond is interpreted by an arbitrary form…
math.LO2025
Finite model property of pretransitive analogues of (w)K4 and GL
Lev Dvorkin
A normal modal logic is pretransitive, if the modality corresponding to the transitive closure of an accessibility relation is expressible in it. In the present work we establish t…