The Boundary Between Decidability and Undecidability for Transitive-Closure Logics

This publication has 9 references indexed in Scilit:

• Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
  Published by Springer Nature ,2004
• Verification via Structure Simulation
  Published by Springer Nature ,2004
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• Undecidability results on two-variable logics
  Archive for Mathematical Logic, 1999
• Descriptive Complexity
  Published by Springer Nature ,1999
• On the Decision Problem for Two-Variable First-Order Logic
  Bulletin of Symbolic Logic, 1997
• Mona: Monadic second-order logic in practice
  Published by Springer Nature ,1995
• Weak monadic second order theory of succesor is not elementary-recursive
  Lecture Notes in Mathematics, 1975
• On languages with two variables
  Mathematical Logic Quarterly, 1975