Measuring inconsistency in some branching time logics (Q5156185)
From MaRDI portal
scientific article; zbMATH DE number 7410019
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Measuring inconsistency in some branching time logics |
scientific article; zbMATH DE number 7410019 |
Statements
Measuring inconsistency in some branching time logics (English)
0 references
15 October 2021
0 references
inconsistency measures
0 references
branching time logic
0 references
canonical tree
0 references
