Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi |
scientific article; zbMATH DE number 7906371
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi |
scientific article; zbMATH DE number 7906371 |
Statements
Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (English)
0 references
4 September 2024
0 references
\(\mu\)-calculus
0 references
satisfiability checking
0 references
coalgebra
0 references
probabilistic transition systems
0 references
weighted transition systems
0 references
tableaux
0 references
