Kripke completeness of strictly positive modal logics over meet semi-lattices with operatorsстатья

Дата последнего поиска статьи во внешних источниках: 4 сентября 2019 г.