Modal languages and bounded fragments of predicate logic Export

@misc{andr98modal, abstract = {Model Theory. These are non-empty families I of partial isomorphisms between models M and N , closed under taking restrictions to smaller domains, and satisfying the usual Back-and-Forth properties for extension with objects on either side -- restricted to apply only to partial isomorphisms of size at most k . 'Invariance for k--partial isomorphism' means having the same truth value at tuples of objects in any two models that are connected by a partial isomorphism in such a set. The precise...}, author = {Andr, H. and Istv and Emeti and van Benthem, J.}, citeulike-article-id = {715178}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8625}, keywords = {databases}, posted-at = {2006-06-29 02:26:43}, priority = {0}, title = {Modal languages and bounded fragments of predicate logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8625}, year = {1998} }

TY - GEN ID - andr98modal L3 - citeulike-article-id:715178 N2 - Model Theory. These are non-empty families I of partial isomorphisms between models M and N , closed under taking restrictions to smaller domains, and satisfying the usual Back-and-Forth properties for extension with objects on either side -- restricted to apply only to partial isomorphisms of size at most k . 'Invariance for k--partial isomorphism' means having the same truth value at tuples of objects in any two models that are connected by a partial isomorphism in such a set. The precise... TI - Modal languages and bounded fragments of predicate logic KW - databases AU - Andr, H AU - Istv AU - Emeti AU - van Benthem, J PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.8625 ER -