A completeness theorem for dynamic logic

TitleA completeness theorem for dynamic logic
Publication TypeJournal Article
AuthorsCsirmaz, L.
Journal titleNotre Dame J. Formal Logic
Year1985
Pages51--60
Volume26
Issue1
Languageeng
Notes

MR766666 (86a:68067); {'a} {'o}

Publisher linkhttp://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093870760
Unit: 
Department of Mathematics and its Applications