You need to enable JavaScript to run this app.
Skip to content
Go to Sitemap
Library of Science
Resources
About
, Opens in new tab
Help
, Opens in new tab
Contact
, Opens in new tab
For publishers
Change website language
, Currently English -
EN
Polska Akademia Nauk. Instytut Matematyc...
Banach Center Publications
1982/9/1
A completeness theorem in the modal logic of programs
Download
PDF
- A completeness theorem in the modal logic of programs
Article
Original scientific text
Title
A completeness theorem in the modal logic of programs
Authors
Krister Segerberg
1
Affiliations
Abo, Finland
Banach Center Publications
1982/9/1
Citation
Export to PBN
, Opens in new tab
Pages:
31-46
Main language of publication
English
Published
1982
Exact and natural sciences
mathematics
