首页   按字顺浏览 期刊浏览 卷期浏览 The Range of Modal Logic
The Range of Modal Logic

 

作者: Johan van Benthem,  

 

期刊: Journal of Applied Non-Classical Logics  (Taylor Available online 1999)
卷期: Volume 9, issue 2-3  

页码: 407-442

 

ISSN:1166-3081

 

年代: 1999

 

DOI:10.1080/11663081.1999.10510976

 

出版商: Taylor & Francis Group

 

数据来源: Taylor

 

摘要:

George Gargov was an active pioneer in the ‘Sofia School’ of modal logicians. Starting in the 1970s, he and his colleagues expanded the scope of the subject by introducing new modal expressive power, of various innovative kinds. The aim of this paper is to show some general patterns behind such extensions, and review some very general results that we know by now, 20 years later. We concentrate on simulation invariance, decidability, and correspondence. What seems clear is that ‘modal logic’ as a genre of logical systems has a much wider scope than originally conceived, and that we have not reached its limits yet.

 

点击下载:  PDF (1797KB)



返 回