{"id":"arxiv/2602.02837","url":"https://arxiv.org/abs/2602.02837","tags":["math.LO"],"score":0,"title":"Monotonicity versus positivity in modal logics","domain":"math.LO","source":"arxiv","authors":["Lev Dvorkin"],"reviews":0,"subject":"math.LO","summary":"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-equivalent to positive formulas (formulas without negation and implication symbols). In the present paper, we investigate LPP in propositional monotone modal logics. First, we transfer Lyndon's result from classical predicate calculus and prove LPP for all normal modal logics with the Lyndon interpolation property (LIP). Then we prove that all logics between K4.3 and S4.3 do not have LPP. We also show that among…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-02","reactions":{}}