Justification announcements in discrete time. Part II: Frame definability results
Grigory K. Olkhovikov
TL;DR
This paper establishes frame definability results for a Hilbert-style system of justification announcements in discrete time, extending the logical framework with new completeness and definability insights.
Contribution
It introduces three new frame definability results for the JA-STIT logic with discrete time, enhancing understanding of its semantic structure.
Findings
Three different frame definability results proved
New completeness theorem established
Enhanced semantic understanding of JA-STIT logic
Abstract
In Part I of this paper, we presented a Hilbert-style system 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 using three different definitions of a frame plus a yet another version of completeness result.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.