模态逻辑的多项式语义

Q1 Arts and Humanities

Journal of Applied Non-Classical Logics Pub Date : 2019-10-02 DOI:10.1080/11663081.2019.1676004

J. C. Agudelo, Santiago Echeverri-Valencia

{"title":"模态逻辑的多项式语义","authors":"J. C. Agudelo, Santiago Echeverri-Valencia","doi":"10.1080/11663081.2019.1676004","DOIUrl":null,"url":null,"abstract":"ABSTRACT It is shown here that the modal logic K and any extension of it with a finite number of axioms can be characterised by a polynomial semantics. Moreover, some comments are made about the possibility of using algebraic computation to determine deducibility on these logics.","PeriodicalId":38573,"journal":{"name":"Journal of Applied Non-Classical Logics","volume":"8 1","pages":"430 - 449"},"PeriodicalIF":0.0000,"publicationDate":"2019-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Polynomial semantics for modal logics\",\"authors\":\"J. C. Agudelo, Santiago Echeverri-Valencia\",\"doi\":\"10.1080/11663081.2019.1676004\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"ABSTRACT It is shown here that the modal logic K and any extension of it with a finite number of axioms can be characterised by a polynomial semantics. Moreover, some comments are made about the possibility of using algebraic computation to determine deducibility on these logics.\",\"PeriodicalId\":38573,\"journal\":{\"name\":\"Journal of Applied Non-Classical Logics\",\"volume\":\"8 1\",\"pages\":\"430 - 449\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-10-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Applied Non-Classical Logics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1080/11663081.2019.1676004\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied Non-Classical Logics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1080/11663081.2019.1676004","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 1

摘要

摘要本文证明了模态逻辑K及其有有限个公理的任何扩展都可以用多项式语义来表征。此外，还讨论了用代数计算确定这些逻辑的可演绎性的可能性。

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

查看原文本刊更多论文

Polynomial semantics for modal logics

ABSTRACT It is shown here that the modal logic K and any extension of it with a finite number of axioms can be characterised by a polynomial semantics. Moreover, some comments are made about the possibility of using algebraic computation to determine deducibility on these logics.

求助全文

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

来源期刊

Journal of Applied Non-Classical Logics Arts and Humanities-Philosophy

CiteScore

1.30

自引率

0.00%

发文量