@第{zbMATH00683203条，作者={Gor{\ee}，Rajeev}，标题={命题{狄奥多利亚}模态逻辑的无割序列和表系统}，FJournal={Studia Logica}，日志={Stud.Log.}，ISSN={0039-3215}，体积={53}，数字＝｛3｝，页码={433--457}，年份={1994}，语言={英语}，DOI={10.1007/BF01057938}，关键词={03F05,03B45}，zbMATH={683203}，Zbl={0807.03036}}