离散时间中的理由公告。第二部分：框架可定义性结果
逻辑
2017-08-22 v1
摘要
在本文第一部分中，我们给出了一个Hilbert型系统Σ_D，对离散时间结构模型上的理由公告STIT逻辑（JA-STIT）进行了公理化。在第二部分中，我们利用三种不同的框架定义加上另一个版本的完备性结果，证明了Σ_D的三个框架可定义性结果。
引用
@article{arxiv.1708.06295,
title = {Justification announcements in discrete time. Part II: Frame definability results},
author = {Grigory K. Olkhovikov},
journal= {arXiv preprint arXiv:1708.06295},
year = {2017}
}
备注
21 pages, 0 figures