{"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":" ","pages":""},"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\":\" \",\"pages\":\"\"},\"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}
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.