Finite models constructed from canonical formulas

被引:20
作者
Moss, Lawrence S. [1 ]
机构
[1] Indiana Univ, Dept Math, Bloomington, IN 47405 USA
关键词
canonical formula; modal logic; model-construction method; weak completeness;
D O I
10.1007/s10992-007-9052-4
中图分类号
B81 [逻辑学(论理学)];
学科分类号
010104 ; 010105 ;
摘要
This paper obtains the weak completeness and decidability results for standard systems of modal logic using models built from formulas themselves. This line of work began with Fine (Notre Dame J. Form. Log. 16:229-237, 1975). There are two ways in which our work advances on that paper: First, the definition of our models is mainly based on the relation Kozen and Parikh used in their proof of the completeness of PDL, see (Theor. Comp. Sci. 113-118, 1981). The point is to develop a general model-construction method based on this definition. We do this and thereby obtain the completeness of most of the standard modal systems, and in addition apply the method to some other systems of interest. None of the results use filtration, but in our final section we explore the connection.
引用
收藏
页码:605 / 640
页数:36
相关论文
共 12 条
[1]   Modal correspondence for models [J].
Barwise, J ;
Moss, LS .
JOURNAL OF PHILOSOPHICAL LOGIC, 1998, 27 (03) :275-294
[2]  
Barwise J, 1996, CSLI LECT NOTES, V60
[3]  
BLACKBUM P, 2001, MODAL LOGIC CAMBRIDG, V53
[4]  
de Jongh, 1968, THESIS U WISCONSIN M
[5]  
Fine K., 1975, Notre Dame Journal of Formal Logic, V16, P229, DOI 10.1305/ndjfl/1093891703
[6]   AN ALGEBRAIC-THEORY OF NORMAL FORMS [J].
GHILARDI, S .
ANNALS OF PURE AND APPLIED LOGIC, 1995, 71 (03) :189-245
[7]  
KOZEN D, 1981, ELEMENTARY PROOF COM, P113
[8]  
LEMMON EJ, AM PHILOS Q MONOGRAP, V11
[9]  
MAKINSON D, MATH REV, V51
[10]   Coalgebraic logic [J].
Moss, LS .
ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) :277-317