证成宣告的stit逻辑：一个完备性结果
逻辑
2017-07-12 v1
摘要
我们给出了一个逻辑系统的完备性结果，该逻辑系统结合了stit逻辑与证成逻辑，以表征代理的证明活动。该逻辑在先前出版物引入的语义下加以解释。我们为此逻辑定义了一个希尔伯特式公理系统，并证明该系统相对于预期语义是强完备的。
引用
@article{arxiv.1707.03292,
title = {Stit logic of justification announcements: a completeness result},
author = {Grigory Olkhovikov},
journal= {arXiv preprint arXiv:1707.03292},
year = {2017}
}
备注
33 pages, 0 figures. arXiv admin note: text overlap with arXiv:1705.09119