Undecidable Computer Science > Logic in Computer Science
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Nonlinear Arithmetic with SMTLIB Division is Undecidable
Computer Science > Logic in Computer Science [Submitted on 25 May 2026 (v1), last revised 3 Jun 2026 (this version, v3)] Title:Nonlinear Arithmetic with SMTLIB Division is Undecidable View PDF HTML (experimental)Abstract:We show that the nonlinear real arithmetic theory (NRA) as defined in the SMTLIB standard is undecidable.
Nonlinear Arithmetic with SMTLIB Division is Undecidable
Computer Science > Logic in Computer Science This paper has been withdrawn by Dejan Jovanovic [Submitted on 25 May 2026 (v1), last revised 2 Jun 2026 (this version, v2)] Title:Nonlinear Arithmetic with SMTLIB Division is Undecidable
Aspects of Coherence in Dependence Logic
arXiv:2605.31269v1 Announce Type: new Abstract: Dependence logic extends first-order logic with dependence atoms asserting that the value of a variable is determined by the values of certain other variables. The semantics of dependence logic has a second-order character and involves sets of assignments, called teams, instead of individual assignments as in the classical Tarski semantics. Since the model-checking problem is known to be NP-complete even for quantifier-free dependence logic...