具有通用模态的线性类步时态多智能体逻辑的统一性和有限模型性质

Q2 Arts and Humanities

Bulletin of the Section of Logic Pub Date : 2022-09-09 DOI:10.18778/0138-0680.2022.16

S. I. Bashmakov, Tatyana Yu. Zvereva

{"title":"具有通用模态的线性类步时态多智能体逻辑的统一性和有限模型性质","authors":"S. I. Bashmakov, Tatyana Yu. Zvereva","doi":"10.18778/0138-0680.2022.16","DOIUrl":null,"url":null,"abstract":"This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \\(\\mathcal{LTK}.sl_U\\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.","PeriodicalId":38667,"journal":{"name":"Bulletin of the Section of Logic","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2022-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality\",\"authors\":\"S. I. Bashmakov, Tatyana Yu. Zvereva\",\"doi\":\"10.18778/0138-0680.2022.16\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \\\\(\\\\mathcal{LTK}.sl_U\\\\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.\",\"PeriodicalId\":38667,\"journal\":{\"name\":\"Bulletin of the Section of Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-09-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the Section of Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.18778/0138-0680.2022.16\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the Section of Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.18778/0138-0680.2022.16","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 0

摘要

基于时间的非自反非传递性思想，本文提出了一种具有普遍模态（\mathcal{LTK}.sl_U\）的线性类步时态多智能体逻辑的语义描述。我们证明了这个逻辑的有限模型性质和投影统一性。

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

查看原文本刊更多论文

Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

求助全文

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

来源期刊

Bulletin of the Section of Logic Arts and Humanities-Philosophy

CiteScore

0.90

自引率

0.00%

发文量

审稿时长

8 weeks