Download PDF - Propositional dynamic logic with recursive programsAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

Propositional dynamic logic with recursive programs

Authors 1, 1

Affiliations

  1. Mathematics Faculty, Sofia University, Sofia, Bulgaria
Banach Center Publications
1988/21/1
Export to PBN, Opens in new tab
Pages:
419-426
Main language of publication
English
Published
1988
Exact and natural sciences