Finite Model Theory and Finite Variable Logics Ph.d. Dissertation Finite Model Theory and Finite Variable Logics Finite Model Theory and Finite Variable Logics

@inproceedings{Rosen1995FiniteMT,
  title={Finite Model Theory and Finite Variable Logics Ph.d. Dissertation Finite Model Theory and Finite Variable Logics Finite Model Theory and Finite Variable Logics},
  author={Eric Rosen},
  year={1995}
}
Finite Model Theory and Finite Variable Logics Eric Rosen Supervisor Scott Weinstein In this dissertation I investigate some questions about the model theory of nite struc tures One goal is to better understand the expressive power of various logical languages including rst order logic FO over this class A second related goal is to determine which results from classical model theory remain true when relativized to the class F of nite structures As it is well known that many such results become… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Nemeti. Back and forth between modal logic and classical logic

  • H. Andreka, J. van Benthem
  • Technical Report ML-95-04,
  • 1995
Highly Influential
7 Excerpts

Submodel preservation theorems in nite variable fragments

  • H. Andreka, J. van Benthem, I. Nemeti
  • Modal Logic and Process Algebra
  • 1994
Highly Influential
6 Excerpts

Modal logic and classical logic

  • J. van Benthem
  • Bibliopolis,
  • 1985
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…