Decidability bounds for Presburger arithmetic extended by sine

DOI10.1016/j.apal.2024.103487MaRDI QIDQ6584959

Eion Blanchard, Philipp Hieronymi

Publication date: 8 August 2024

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

undecidabilitydecidabilitydecision procedureexpansions of Presburger arithmeticlinear-sine arithmetic

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

This page was built for publication: Decidability bounds for Presburger arithmetic extended by sine