Results on the Guarded Fragment with Equivalence or Transitive Relations.

Emanuel Kieronski Results on the Guarded Fragment with Equivalence or Transitive Relations. 309-324 2005 conf/csl/2005 CSL http://dx.doi.org/10.1007/11538363_22 db/conf/csl/csl2005.html#Kieronski05