Up a level |
Number of items: 1.
Kikot, Stanislav, Kurucz, Agi, Tanaka, Yoshihito, Wolter, Frank and Zakharyaschev, Michael
(2019)
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS.
JOURNAL OF SYMBOLIC LOGIC, 84 (2).
pp. 533-588.