文章基本信息

标题：The McKinsey–Lemmon logic is barely canonical
本地全文：下载
作者：Robert Goldblatt ; Computation, Victoria University of Wellington ; Ian Hodkinson 等
期刊名称：Australasian Journal of Logic
印刷版ISSN：1448-5052
电子版ISSN：1448-5052
出版年度：2007
卷号：5
期号：0
出版社：Philosophy Department, University of Melbourne
摘要：We study a canonical modal logic introduced by Lemmon, and axiomatised by an infinite sequence of axioms generalising McKinsey’s formula. We prove that the class of all frames for this logic is not closed under elementary equivalence, and so is non-elementary. We also show that any axiomatisation of the logic involves infinitely many non-canonical formulas.