Expressing program looping in regular dynamic logic
type: Item
instance of: scholarly article
title: Expressing program looping in regular dynamic logic
zbMATH Open document ID: 0478.68031
DOI: 10.1016/0304-3975(82)90071-8
author: Albert R. Meyer
author: Karl Winklmann
published in: Theoretical Computer Science
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 3752207
zbMATH Keywords: nondeterminism
zbMATH Keywords: random assignments
MaRDI profile type: Publication
full work available at URL: 0304-3975(82)90071-8
OpenAlex ID: W2010360535
cites work: Q4144755
cites work: Theory of program structures: Schemes, semantics, verification
cites work: Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer
cites work: On static logics, dynamic logics, and complexity classes
cites work: Some Properties of Predicate Transformers
cites work: Definability in dynamic logic
cites work: Q4110979
cites work: Q5596237
Wikidata QID: Q127363102
description: scientific article; zbMATH DE number 3752207