Justification announcements in discrete time. Part II: Frame definability results

Abstract

In Part I of this paper, we presented a Hilbert-style system ${\Sigma }_D$ axiomatizing of stit logic of justification announcements (JA-STIT) interpreted over models with discrete time structure. In this part, we prove three frame definability results for ${\Sigma }_D$ using three different definitions of a frame plus a yet another version of completeness result.

arXiv comment21 pages, 0 figures