Scott Weinstein
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.