分次模态传递框架类.pdfVIP

Studies in Logic, Vol. 3, No. 2 (2010): 19–25 PII: 1674-3202(2010)-02-0019-07 Graded Modal Classes of Finite Transitive Frames∗ Minghui Ma Department of Philosophy, Tsinghua University Institute for Logic, Language and Computation University of Amsterdam mmh.thu@ Abstract. We show the Goldblatt-Thomason type theorem for graded modal logic within fi- nite transitive frames. A class of finite transitive frames is definable by a set of graded modal formul