Satisfiability for two-variable logic with two successor relations on finite linear orders - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2013

Satisfiability for two-variable logic with two successor relations on finite linear orders

Résumé

We study the finitary satisfiability problem for first order logic with two variables and two binary relations, corresponding to the induced successor relations of two finite linear orders. We show that the problem is decidable in NEXPTIME.

Dates et versions

hal-01799745 , version 1 (25-05-2018)

Identifiants

Citer

Diego Figueira. Satisfiability for two-variable logic with two successor relations on finite linear orders. 2013. ⟨hal-01799745⟩

Collections

TDS-MACS
59 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More