基于互模拟的两种模态逻辑模型构造方法及其应用.pdfVIP

重庆理工大学学报(社会科学) 2013年第27卷第9期 of of No．92013 逻辑与科学方法论 Journal Science)V01．27 ChongqingUniversityTechnology(Social doi：10．3969／j．issn．1674-8425(s)．2013．09．003 基于互模拟的两种模态逻辑模型 构造方法及其应用 姚从军1，霍书全2 (1．湖南科技学院思政部，湖南永州425199；2．安徽大学哲学系，合肥230039) 全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造，从而可以从一个传 递的模型分别构造出它的禁对称的传递模型和反对称的传递模型，并应用构造的新模型得出两 个结论：K4被禁对称的传递模型类所刻画，S5被某个自反的、反对称的传递模型类所刻画；构 造模互模拟的商模型与模语言