Abstract

A moda logic Λ is called invariant if for all automorphisms α of NExt K, α = Λ. An invariant ogic is therefore unique y determined by its surrounding in the attice. It wi be established among other that a extensions of K.alt1S4.3 and G.3 are invariant ogics. Apart from the results that are being obtained, this work contributes to the understanding of the combinatorics of finite frames in genera, something wich has not been done except for transitive frames. Certain useful concepts will be established, such as the notion of a d-homogeneous frame