On the completeness of propositional Hoare logic
type: Item
instance of: scholarly article
title: On the completeness of propositional Hoare logic
zbMATH Open document ID: 0996.03022
DOI: 10.1016/S0020-0255(01)00164-5
author: Dexter Kozen
author: Jerzy Tiuryn
published in: Information Sciences
publication date: 2002-06-23T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1758158
zbMATH Keywords: completeness
zbMATH Keywords: expressiveness
zbMATH Keywords: propositional Hoare logic
Wikidata QID: Q61634976
MaRDI profile type: Publication
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Q3999717
cites work: Q3791123
cites work: Floyd-Hoare logic in iteration theories
cites work: Program correctness and matricial iteration theories
cites work: Soundness and Completeness of an Axiom System for Program Verification
cites work: Q4385541
cites work: Propositional dynamic logic of regular programs
cites work: Q4385540
cites work: Q3923593
full work available at URL: s0020-0255(01)00164-5
OpenAlex ID: W2029498583
DBLP publication ID: journals/isci/KozenT01
description: scientific article; zbMATH DE number 1758158