Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable

DOI10.1002/malq.201700055OpenAlexW2781656311MaRDI QIDQ5109226

Could not fetch data.

Publication date: 11 May 2020

Published in: (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.05558

Mathematics Subject Classification ID

Could not fetch data.