@收款{zbMATH07691333，作者={Wehr，Dominik和Kirst，Dominik}，标题={建构型理论中一阶逻辑的实质对话}，BookTitle={逻辑、语言、信息和计算。第28届国际研讨会，WoLLIC 2022，Ia\textcommabelow{s} 我罗马尼亚，2022年9月20日至23日。诉讼}，国际标准图书编号={978-3-031-15297-9；978-3-331-15298-6}，页码={344--361}，年份={2022}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-031-15298-6_22}，关键词={03B70}，zbMATH={7691333}}