Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.

Dimiter Vakarelov

Browse the full AiML paper archive.