<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>8859</REFNUM><AUTHORS><AUTHOR>Miller,A.</AUTHOR><AUTHOR>Donaldson,A.</AUTHOR></AUTHORS><YEAR>2008</YEAR><TITLE>Property Preservation in Quotient Structures</TITLE><PLACE_PUBLISHED>DCS Technical Report Series</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><PAGES>1-34</PAGES><ISBN>TR-2008-270</ISBN><LABEL>Miller:2008:8859</LABEL><KEYWORDS><KEYWORD>Kripke structure</KEYWORD></KEYWORDS<ABSTRACT>We define a variety of models and their (reduced) quotient structures under symmetry groups. In each case we prove that certain logical properties are preserved by the reduction.</ABSTRACT></RECORD></RECORDS></XML>