Safety- and liveness-properties in propositional temporal logic: characterizations and decidability Wolfgang Thomas (1988) Banach Center Publications
Splitting lattices of logics. Wolfgang Rautenberg (1980) Archiv für mathematische Logik und Grundlagenforschung
Subalgebras of diagonalizable algebras of theories containing arithmetic [Book] Vladimir Yu. Shavrukov (1993)