Electronic Archive of Recent Papers & Talks

- Hanf Locality and Invariant Elementary Definability (with S. Lindell and H. Towsner).
- Presentations, Invariance, and Definability (Slides from a talk delivered at Schloss Dagstuhl, Leibniz Zentrum für Informatik, August 13, 2014) (with S. Lindell).
- Deontic modality based on preference (with D. Osherson).
- Preference based on reasons (with D. Osherson).
- Logic in the Finite, in
*The Blackwell Companion to Philosophical Logic*, Dale Jacquette (ed.), to appear. - Path constraints on semistructured and structured data
(with Peter Buneman and Wenfei Fan),
*Proceedings of the ACM PODS, 1998,*to appear. - Path constraints in the presence of types
(with Peter Buneman and Wenfei Fan),
Technical Report
MS-CIS-97-16, University of Pennsylvania, 1997.
- The decidability of some restricted implication problems for path constraints
(with Peter Buneman and Wenfei Fan),
Technical Report
MS-CIS-97-15, University of Pennsylvania, 1997.
- Some undecidable implication problems for path constraints
(with Peter Buneman and Wenfei Fan),
Technical Report
MS-CIS-97-14, University of Pennsylvania, 1997.
- Elementary properties of the finite ranks
(with A. Dawar, K. Doets, and S. Lindell),
Technical Report
MS-CIS-96-24, University of Pennsylvania, 1996; to appear in
*Mathematical Logic Quarterly*44 (1998). - k-Universal
Finite Graphs (with E. Rosen and S. Shelah), Technical Report, Institute
for Research in Cognitive Science, IRCS 96-02, 1996; appears in Boppana, R. and Lynch, J. (eds.),
*Proceedings of the DIMACS Workshop on Logic and Random Structures*, American Mathematical Society, 1997, 65-77. - First order logic, fixed
point
logic, and linear order (with A. Dawar and S. Lindell), Technical Report, Institute
for Research in Cognitive Science, IRCS 95-30, 1995; to appear
in Kleine-Buening, H. (ed.),
*Computer Science Logic '95*, Springer. - Preservation theorems
in finite model theory (with E. Rosen), Technical Report, Institute
for Research in Cognitive Science, IRCS 95-04, 1995; appears in
Leivant, D. (ed.),
*Logic and Computational Complexity*, Springer, 1995, 480-502. - Infinitary
logic and inductive definability over finite structures
(with A. Dawar and S. Lindell),
Technical Report
MS-CIS-91-97, University of Pennsylvania, 1991; appears in revised form in
*Information and Computation*, 119(1995), 160-175.