| Title | A completeness theorem for dynamic logic |
| Publication Type | Journal Article |
| Authors | Csirmaz, L. |
| Journal title | Notre Dame J. Formal Logic |
| Year | 1985 |
| Pages | 51--60 |
| Volume | 26 |
| Issue | 1 |
| Language | eng |
| Notes | MR766666 (86a:68067); {'a} {'o} |
| Publisher link | http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093870760 |
Unit:
Department of Mathematics and its Applications