Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
scientific article; zbMATH DE number 5869143
scientific article