Remark on the superintuitionistic predicate logic of Kripke frames of finite height with constant domains: A simpler Kripke complete logic that is not strongly completeстатья

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

Работа с статьей


[1] Skvortsov D. Remark on the superintuitionistic predicate logic of kripke frames of finite height with constant domains: A simpler kripke complete logic that is not strongly complete // Advances in Modal Logic. — Vol. 12 of Advances in Modal Logic. — College Publications London, 2018. — P. 577–590.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть