Results on the Guarded Fragment with Equivalence or Transitive Relations

Emanuel Kieronski
DOI: https://doi.org/10.1007/11538363_22
2005-08-22
Abstract:
What problem does this paper attempt to address?