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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.