Measuring inconsistency in some branching time logics (Q5156185): Difference between revisions
From MaRDI portal
Latest revision as of 19:42, 26 July 2024
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