@会议记录{mansutti:LIPIcs.FSTTCS.2018.42,author={Mansutti,Alessio},title={{稳健性质的命题分离逻辑扩展}},booktitle={第38届IARCS软件技术与理论计算机科学基础年会(FSTTCS 2018)},页数={42:1--42:23},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-093-4},ISSN={1868-8969},年份={2018年},体积={122},editor={Ganguly、Sumit和Pandya、Paritosh},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2018.42},URN={URN:nbn:de:0030-drops-99418},doi={10.4230/LIPIcs.FSTTCS.2018.42},annote={关键词:分离逻辑,决策问题,可达性,树上的逻辑,区间时态逻辑,附加词和量词消除}}