Submodel Preservation Theorems in Finite-Variable Fragments

Authors
Publication date 1995
Host editors
  • M. de Rijke
  • A. Ponse
  • Y. Venema
Book title Modal Logic and Process Algebra, CSLI Lecture Notes
Publisher Cambridge: University Press
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back