Descriptively complete process logic
type: Item
instance of: scholarly article
title: Descriptively complete process logic
zbMATH Open document ID: 0423.68005
DOI: 10.1007/BF00286492
author: Hirokazu Nishimura
published in: Acta Informatica
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 3658964
zbMATH Keywords: process logic
zbMATH Keywords: dynamic properties of programs
zbMATH Keywords: propositional dynamic logic
zbMATH Keywords: temporal logic
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3658964