Modal operators and toric ideals

DOI10.1093/logcom/exz003zbMath1444.03046arXiv1712.04191OpenAlexW2963831230MaRDI QIDQ5213386

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

Gröbner basispolynomial ringbinomial idealKripke framesymbolic software

Mathematics Subject Classification ID

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

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