S4 的估值语义

Pub Date : 2024-05-03 DOI:10.1007/s11225-024-10100-w

Andréa M. Loparić, Cezar A. Mortari

{"title":"S4 的估值语义","authors":"Andréa M. Loparić, Cezar A. Mortari","doi":"10.1007/s11225-024-10100-w","DOIUrl":null,"url":null,"abstract":"This expository paper presents an application, to the modal logic S4, of the valuation semantics technique proposed by Loparić for the basic normal modal logic K. In previous works we presented a valuation semantics for the minimal temporal logic Kt and several other systems modal and temporal logic. How to deal with S4, however, was left as an open problem—although we arrived at a working definition of \\(A_1,\\ldots ,A_n\\)-valuations, we were not able to prove an important lemma for correctness. In this paper we solve this, presenting valuations for S4.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Valuation Semantics for S4\",\"authors\":\"Andréa M. Loparić, Cezar A. Mortari\",\"doi\":\"10.1007/s11225-024-10100-w\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This expository paper presents an application, to the modal logic S4, of the valuation semantics technique proposed by Loparić for the basic normal modal logic K. In previous works we presented a valuation semantics for the minimal temporal logic Kt and several other systems modal and temporal logic. How to deal with S4, however, was left as an open problem—although we arrived at a working definition of \\\\(A_1,\\\\ldots ,A_n\\\\)-valuations, we were not able to prove an important lemma for correctness. In this paper we solve this, presenting valuations for S4.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-05-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s11225-024-10100-w\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s11225-024-10100-w","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

这篇说明性论文介绍了洛帕里奇（Loparić）为基本正常模态逻辑K提出的估值语义学技术在模态逻辑S4中的应用。在以前的工作中，我们提出了最小时态逻辑Kt和其他几个系统模态逻辑和时态逻辑的估值语义学。然而，如何处理 S4 却成了一个悬而未决的问题--虽然我们得出了 \(A_1,\ldots ,A_n\)-估值的工作定义，但却无法证明一个重要的正确性lemma。在本文中，我们解决了这个问题，提出了 S4 的估值。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

Valuation Semantics for S4

This expository paper presents an application, to the modal logic S4, of the valuation semantics technique proposed by Loparić for the basic normal modal logic K. In previous works we presented a valuation semantics for the minimal temporal logic Kt and several other systems modal and temporal logic. How to deal with S4, however, was left as an open problem—although we arrived at a working definition of \(A_1,\ldots ,A_n\)-valuations, we were not able to prove an important lemma for correctness. In this paper we solve this, presenting valuations for S4.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助