Gr adel, E. and Gurevich, Y. 1998. Metanite model theory. Information and Computation 140, 1, 26-81.  Home/Search   Document Not in Database   Summary   Related Articles

....literature, see [Cai et al. 1992; Otto 1997] that add both counting and xpoint. It is a two sorted logic, with one sort being the universe of a nite structure, and the other sort being N, and it uses counting terms that produce constants of the second sort, similarly to the logics studied in [Gr adel and Gurevich 1998]. The formal de nition is as follows. We denote the in nitary logic by L1 ; it extends FO by allowing in nite conjunctions V and disjunctions W . Then L1 (C) is a two sorted logic that extends L1 . Its structures are of the form (A; N) where A is a nite relational structure, and N is a ....

Gr adel, E. and Gurevich, Y. 1998. Metanite model theory. Information and Computation 140, 1, 26-81.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC