@第{zbMATH06890899条，作者={{\L}upkowski，Pawe{\L}}，标题={基于{IEL}教程的正式对话系统}，FJournal={逻辑与逻辑哲学}，日志={Log.Log.Philos.}，ISSN={1425-3305}，体积={26}，数字={3}，页码={289--320}，年份={2017年}，语言={英语}，DOI={10.12775/LLP.2017.013}，关键词={03B65,68T27,68T30,68T50}，zbMATH={6890899}，Zbl={1417.03217}}