Equivalence closure in the two-variable guarded fragment

DOI10.1093/logcom/exv075zbMath1444.03116OpenAlexW2290003855MaRDI QIDQ3133154

Ian Pratt-Hartmann, Lidia Tendera, Emanuel Kieroński

Publication date: 13 February 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv075

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Model theory of finite structures (03C13)

Related Items (1)

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

This page was built for publication: Equivalence closure in the two-variable guarded fragment