Sequential method in propositional dynamic logic
- 1 November 1979
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 12 (4) , 377-400
- https://doi.org/10.1007/bf00268322
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Nondeterminism in logics of programsPublished by Association for Computing Machinery (ACM) ,1978
- A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential MethodPublications of the Research Institute for Mathematical Sciences, 1977
- Computability and completeness in logics of programs (Preliminary Report)Published by Association for Computing Machinery (ACM) ,1977
- Propositional modal logic of programsPublished by Association for Computing Machinery (ACM) ,1977
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Mathematical LogicPublished by Springer Nature ,1976
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935