A note of the full generalized models of the extensions of a logic
A note of the full generalized models of the extensions of a logic

Summary/Abstract: In this short note we show that the full generalized models of any extension of a logic can be determined from the full generalized models of the base logic in a simple way. The result is a consequence of two central theorems of the theory of full generalized models of sentential logics. As applications we investigate when the full generalized models of an extension can also be full generalized models of the base logic, and we prove that each Suszko lter of a logic determines a Suszko lter of each of its extensions, also in a simple way.

• Details
• Contents