A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor

Amaldev Manuel; Thomas Schwentick; Thomas Zeume

A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor

Logic in Computer Science 2013-06-17 v1

Authors: Amaldev Manuel , Thomas Schwentick , Thomas Zeume

Abstract

The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable.

Keywords

first-order logic logic and reasoning modal logic

Cite

@article{arxiv.1306.3418,
  title  = {A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor},
  author = {Amaldev Manuel and Thomas Schwentick and Thomas Zeume},
  journal= {arXiv preprint arXiv:1306.3418},
  year   = {2013}
}