Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Modal operators and toric ideals
(Submitted on 12 Dec 2017 (v1), last revised 26 Jan 2019 (this version, v2))
Abstract: In the present paper we consider modal propositional logic and look for the constraints that are imposed to the propositions of the special type $\Box a$ by the structure of the relevant finite Kripke frame. We translate the usual language of modal propositional logic in terms of notions of commutative algebra, namely polynomial rings, ideals, and bases of ideals. We use extensively the perspective obtained in previous works in Algebraic Statistics. We prove that the constraints on $\Box a$ can be derived through a binomial ideal containing a toric ideal and we give sufficient conditions under which the toric ideal fully describes the constraints.
Submission history
From: Riccardo Camerlo [view email][v1] Tue, 12 Dec 2017 09:48:17 GMT (14kb)
[v2] Sat, 26 Jan 2019 18:15:04 GMT (19kb)
Link back to: arXiv, form interface, contact.