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

Abstract

In Part I of this paper, we presented a Hilbert-style system Σ 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 Σ D using three different definitions of a frame plus a yet another version of completeness result. stit logic, justification logic, strong completeness, frame definability