Justification announcements in discrete time. Part II: Frame definability results (Q5241923)
From MaRDI portal
scientific article; zbMATH DE number 7125823
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Justification announcements in discrete time. Part II: Frame definability results |
scientific article; zbMATH DE number 7125823 |
Statements
Justification announcements in discrete time. Part II: Frame definability results (English)
0 references
4 November 2019
0 references
stit logic
0 references
justification logic
0 references
strong completeness
0 references
frame definability
0 references
logic of actions
0 references
