The connection between modal logic and algorithmic logics
- 1 January 1978
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Arithmetical completeness in logics of programsPublished by Springer Nature ,1978
- The expressive power of intensional logic in the semantics of programming languagesLecture Notes in Computer Science, 1977
- On the proper treatment or referencing, dereferencing and assignmentPublished by Springer Nature ,1977
- LAR: A logic of algorithmic reasoningActa Informatica, 1977
- Locations considered unnecessaryActa Informatica, 1977
- Axiomatic classes in propositional modal logicPublished by Springer Nature ,1975
- An axiomatic definition of the programming language PASCALActa Informatica, 1973