逻辑与计算杂志,第32卷
第32卷第1期,2022年1月
格里戈里·奥尔霍维科夫 , 吉列尔莫·巴迪亚 :
双直觉命题逻辑的极大性。 1-31 保罗·阿利安 , 萨拉·乌戈里尼 :
严格连接剩余格的不可约变种。 32-64 马蒂亚·塞拉尔 , 茨万科·伊尔贾佐维奇 :
胶合流形的可计算性。 65-97 乌里·安德鲁斯 , 斯特芬·伦普 , 马纳特·穆斯塔法 , 诺亚·戴维·施韦伯 :
不可数环境中可计算可枚举等价关系的一阶理论。 98-114 雷吉斯·里维雷特 , 尼尔·奥伦 :
关于概率论证和子胶子完备性。 115-128 卢卡斯·格拉茨 :
模态逻辑T和S4的真值表,使用三值非确定性水平语义。 129-157 帕维尔·帕洛夫斯基 , 埃利奥·拉罗莎 :
T、TB、S4、S5等的模块化非确定性语义。 158-171 高弘佐崎 , 胜彦三野 :
勘误:常识模态谓词逻辑中的框架可定义性、规范性和截消。 172 袁永丰 , 石儿居 , 温雪峰 :
勘误表:基于核心信念的评估性多次修订。 173
第32卷第2期,2022年2月
弗朗西斯科·卡利默里 , 西蒙娜·佩里 , 埃斯特·祖帕诺 :
第35届意大利计算逻辑会议(CILC 2020)特刊序言。 175-177 劳拉·佐丹奴 , 瓦伦蒂娜·格里奥齐 , 丹尼尔·塞塞迪尔·杜普雷 :
自组织映射的条件、模糊和概率解释。 178-205 斯特凡诺·福蒂 , 朱塞佩·比西奇亚 , 安东尼奥·布罗吉 :
cloud-IoT连续体中的声明性连续推理。 206-232 玛丽安娜·吉兰多 , 比约恩·勒尔曼 , 尼古拉·奥利维蒂 , 斯特凡诺·佩西 , 吉安·卢卡·波扎托 :
反事实推理强逻辑的演算、反模型生成和定理证明。 233-280 斯特凡诺·比斯塔雷利 , 卡洛·塔蒂奇 :
加权论证框架的标记语义和强可接受性。 281-306 尼古拉·里佐 , 阿戈斯蒂诺·多维尔 :
3coSoKu公司 及其声明性建模。 307-330 弗朗西斯科·法比亚诺 , 亚历山德罗·达尔·帕洛 :
CT扫描中动脉分类的ASP方法。 331-346 安德烈亚·洛雷吉亚 , 埃米利亚诺·洛里尼 , 乔瓦尼·萨尔托尔 :
用道义逻辑建模Ceteris Paribus偏好。 347-368 罗伯塔·卡莱加里 , 安德烈亚·奥米西尼 , 朱塞佩·皮萨诺 , 乔瓦尼·萨尔托尔 :
Arg2P:可解释智能系统的论证框架。 369-401 伊曼纽尔·德·安吉利斯 , 法比奥·菲奥拉万蒂 , 阿尔贝托·佩托罗西 , 毛里齐奥·普罗埃蒂 :
代数数据类型上约束Horn子句的可满足性:基于转换的方法。 402-442 斯蒂芬妮娅·科斯坦蒂尼 :
确保智能逻辑代理的可信和道德行为。 443-478
第32卷第3期,2022年4月
谢尔盖·斯拉夫诺夫 :
关于将Lambek演算嵌入到交换范畴文法中。 479-517 苏亚塔·戈什 , 胜彦三野 :
或多或少地依赖,无论好坏:相互交织的可靠性和偏好。 518-553 马西耶·齐埃连凯维奇 , 阿列克西·舒伯特 :
谓词直觉逻辑的自动机理论方法。 554-580 韦斯利·卡尔弗特 , 道格拉斯·森泽 , 瓦伦蒂娜·哈里扎诺夫 :
密集的可计算结构。 581-607 安东尼奥·迪·诺拉 , 贾科莫·伦齐 , 盖塔诺·维塔莱 :
超Łukasiewicz逻辑的几何。 608-629 提奥法尼斯·阿拉瓦尼斯 :
基于ASP的参数化差分修正求解器。 630-666
第32卷第4期,2022年6月
K.Subramani公司 , 彼得·沃伊切乔夫斯基(Piotr Wojciechowski) , 英生 :
Horn约束系统中的只读反驳:一种算法方法。 667-696 乔·拉斯加 , 克里斯蒂娜·塞尔纳达斯 :
在命题逻辑中添加溯因推理。 697-728 Ziba Assadi公司 , 赛义德·萨利希 :
哥德尔式的句子,罗塞尔式的句子和真理。 729-740 王俊涛 , 何鹏飞 , 姜阳 , 王梅(Mei Wang) , 何晓丽 :
一元NM-代数:一元谓词幂零最小逻辑的代数方法。 741-766 马塞洛·科尼格里奥 , 弗朗西斯科·埃斯特瓦 , 托马索·弗拉米尼奥 , 路易斯·戈多 :
关于Łukasiewicz平方算子的表现力。 767-807 斯特凡诺·邦齐奥 , 米歇尔·普拉·巴尔迪 :
包含逻辑:代数对应和简化模型。 808-831 利亚·博佐内 , 帕维尔·诺莫夫 :
预算约束的联盟策略和折扣。 832-851
第32卷第5期,2022年7月
米哈伊尔·里巴科夫 , 德米特里·什卡托夫 :
具有非及物模态逻辑的产品有限变量片段的复杂性。 853-870 卢西亚诺·卡洛普莱斯 , 埃斯特·祖帕诺 :
自尊驱动的P2P系统中的语义数据管理。 871-901 伊曼纽尔·基伦斯基 , 安蒂·库西斯托 :
单词和树上的一维片段。 902-941 丹尼尔·盖纳 , 托马斯·科瓦尔斯基 :
林德斯特伦定理,语法和语义都是免费的。 942-975 大川由也(Yuya Okawa) :
具有不动点性质的可解释逻辑IL的许多子逻辑。 976-995 Zofia Kostrzycka公司 :
弱传递和弱对称模态逻辑中的投射统一。 996-1013
第32卷第6期,2022年9月
朱塞佩·普里米埃罗 , 玛丽亚·斯拉夫科维奇 , 索尼娅·斯梅茨 :
网络原因:关于社交网络的推理。 1015-1016 米尔科·塔利亚费里 , 亚历山德罗·阿尔迪尼 :
从信念到信任:一个基于模态逻辑的定量框架。 1017-1047 博格丹·阿曼 , 加布里埃尔·乔巴努 :
关于社交网络推理的随机共享演算。 1048-1066 安德烈斯·欧恰平蒂·利伯曼 , 拉斯穆斯·伦茨维格 :
使用动态术语模式逻辑推理认知社会网络动力学。 1067-1087 维托·马查多 , 马里奥·R·F·贝内维提斯 :
社交网络的时间逻辑。 1088-1108 维拉斯塔·斯基米克语 , Ole Herud-Sikimic公司 :
生物学中高效团队结构的建模。 1109-1128 尼科尔·菲茨杰拉德 , 雅各布·塔利亚布 :
在多个图上。 1129-1141 尤里·大卫·桑托斯 , 巴特尔·库伊 , 里内克言语 :
迭代式社会整合:从许多有价值的证据和同龄人的意见中形成信念。 1142-1161 彼得亚·法利舍夫斯基 , Rica Gonen公司 , 马丁·库特克 , 尼姆罗德·塔尔蒙 :
社会图表上的意见传播和竞选活动。 1162-1194 路易丝·丹尼斯 , 余福 , 玛丽亚·斯拉夫科维奇 :
社会网络中信息扩散的马尔可夫链模型表示。 1195-1211 萨尔·费尔南德斯·冈萨雷斯 :
社会网络的变化:社会认识逻辑的一些动态扩展。 1212-1233 扎赫拉·莫伊兹卡里米 , 法特梅·加塞米 , 穆罕默德·雷扎·穆萨维 :
社交网络的政策软件认知框架。 1234-1271 亚历山德罗·阿尔迪尼 :
关于假新闻传播的代数建模和验证。 1272-1291 洛伦佐·普兰迪 , 朱塞佩·普里米埃罗 :
偏执狂在社交网络中传播偏见信息的逻辑。 1292-1315
第32卷第7期,2022年10月
尼科·罗斯 :
通过细化抽象动作扩展动态逻辑。 1317-1351 何塞·卡莫 , 安德鲁·琼斯 :
Carmo和Jones对逆差义务的逻辑进行了修订。 1352-1364 乔纳森·范·图尔 :
模式连接词。 1365-1374 王伟 , 赵斌 :
剩余格上的拓扑。 1375-1400 艾玛·罗伦 , 哈维尔·拉罗萨 :
最大可满足性问题的证明复杂性及其在SAT拒绝中的应用。 1401-1435 纳迪娅·克里诺 , 拉伊达·库塔里 , 奥迪尔·帕皮尼 :
命题逻辑片段中的信念收缩和擦除。 1436-1468 杜文静 , 紫韩牛 , 熊明辉 :
解决司法概率论中的科恩悖论。 1469-1485
第32卷第8期,2022年12月
谢尔盖·阿特莫夫 , 阿尼尔·内罗德 :
编辑。 1486 胡安·阿奎莱拉 , 简·比佐夫斯基 , 大卫·费尔南德斯·杜克 :
诺以太哥德尔逻辑。 1487-1503 理查德·克罗格曼 , 道格拉斯·森泽 :
有限状态传感器引起的注入结构的复杂性。 1504-1530 尼尔·J·德波尔 :
证明逻辑和类型理论是直觉主义命题逻辑的形式化。 1531-1557 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 , 费多·帕霍莫夫 , 康斯特纳蒂诺斯·帕帕菲利波 , 安德烈亚斯·魏尔曼 :
算术和超算术蠕虫大战。 1558-1584 克里斯蒂安·哈格梅耶 , 多米尼克·柯斯特 :
IEL和类似模态逻辑的构造性和机械化元理论。 1585-1610 比约恩·科霍斯·汉森 :
在雅卡德距离和标准化信息距离的模拟值之间进行插值。 1611-1623 朱哈·孔廷宁 , 阿恩·梅尔 , 亚西尔·马哈茂德 :
关于依赖和独立逻辑复杂性的参数化视图。 1624-1644 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
交互式证明的逻辑。 1645-1658 杨红A.刘 , 斯科特·斯托勒 :
带聚合的递归规则:简单的统一语义。 1659-1693 佩德罗·菲利佩 , 塞尔吉奥·马塞利诺 , 卡洛斯·卡莱罗 :
有限PN矩阵的计算性质。 1694-1719 埃因·摩尔 :
LEA和概率语义的健全性和完整性结果。 1720-1746 达格·诺曼 , 萨姆·桑德斯 :
关于基本数学概念的计算性质。 1747-1795 V.亚历克西斯·佩卢斯 :
证明范式中的经典推理。 1796-1814 伊奥西夫·佩特拉基斯 :
类别和预升的严格可计算性模型。 1815-1838 丹尼尔·罗戈津 :
关系代数约化的一些结果:剩余半群和半格序半群。 1839-1854 大卫·特罗塔 , 马泰奥·斯帕代托 , 瓦莱丽亚·德佩瓦 :
辩证逻辑原则:不只是规则。 1855-1875
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)