Modal operators and toric ideals

DOI10.1093/LOGCOM/EXZ003MaRDI QIDQ5213386zbMATH OpenOpenAlexFDO

Authors Riccardo Camerlo, Giovanni Pistone, Fabio Rapallo

Publication date 3 February 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1712.04191

zbMATH Keywords

binomial idealGröbner basisKripke framepolynomial ringsymbolic software

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Ideals and multiplicative ideal theory in commutative rings (13A15) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Symbolic computation and algebraic computation (68W30)

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 $Boxa$ 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 $Boxa$ 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.

Recommendations

• Modal operators on \(L\)-algebras
• SOME INTERTWINING RELATIONS MODULO OPERATOR IDEALS
• MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
• Modal operators on commutative residuated lattices
• scientific article; zbMATH DE number 3794743
• Modular theory in operator algebras
• On the operators which are invertible modulo an operator ideal
• Multiplier ideals and modules on toric varieties
• scientific article; zbMATH DE number 219720
• Operator ideals in Tate objects

This page was built for publication: Modal operators and toric ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213386)