A completeness result for implicit justification stit logic (Q5197392)
From MaRDI portal
scientific article; zbMATH DE number 7109529
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A completeness result for implicit justification stit logic |
scientific article; zbMATH DE number 7109529 |
Statements
23 September 2019
0 references
STIT logic
0 references
justification logic
0 references
epistemic logic
0 references
completeness
0 references
compactness
0 references
math.LO
0 references
