Deciding the existence of uniform interpolants over transitive models (Q627437)
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: Deciding the existence of uniform interpolants over transitive models |
scientific article; zbMATH DE number 5859289
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding the existence of uniform interpolants over transitive models |
scientific article; zbMATH DE number 5859289 |
Statements
Deciding the existence of uniform interpolants over transitive models (English)
0 references
2 March 2011
0 references
uniform interpolants
0 references
fixed points
0 references
modal mu-calculus
0 references
transitive frames
0 references
modal logic K4
0 references
0 references
0 references
0.8396110534667969
0 references
0.7955597639083862
0 references
0.7867144346237183
0 references
0.784866213798523
0 references
