Importing soundness and completeness in modal logics

Pedro Teixeira yago

We develop general strategies for transferring soundness and completeness from more expressive modal languages to less expressive ones, unifying several existing notions of operato…