The comparison of the expressive power of first-order dynamic logics (Q791517): Difference between revisions
From MaRDI portal
Removed claims |
ReferenceBot (talk | contribs) Changed an Item |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / author | |||
| Property / author: Alexei P. Stolboushkin / rank | |||
Normal rank | |||
| Property / author | |||
| Property / author: Michael A. Taitslin / rank | |||
Normal rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Jiří Zlatuška / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0304-3975(83)90099-3 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1985209653 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: New estimates of odd exponents of infinite Burnside groups. / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Optimization of LR(k) parsers / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4200049 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: First-order dynamic logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5537599 / rank | |||
Normal rank | |||
Latest revision as of 11:24, 14 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The comparison of the expressive power of first-order dynamic logics |
scientific article |
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
