The comparison of the expressive power of first-order dynamic logics (Q791517)
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: The comparison of the expressive power of first-order dynamic logics |
scientific article; zbMATH DE number 3851056
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The comparison of the expressive power of first-order dynamic logics |
scientific article; zbMATH DE number 3851056 |
Statements
The comparison of the expressive power of first-order dynamic logics (English)
0 references
1983
0 references
The paper presents basic results concerning the expressive power of dynamic logics. The main result is the proof that the deterministic regular logic is strictly weaker than regular logic. Some new open problems are stated.
0 references
dynamic logic
0 references
expressive power
0 references
deterministic regular logic
0 references
0.93870354
0 references
0.8880705
0 references
0.88178205
0 references
