Semantical analysis of constructive PDL
type: Item
instance of: scholarly article
title: Semantical analysis of constructive PDL
zbMATH Open document ID: 0504.03010
author: Hirokazu Nishimura
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3794045
zbMATH Keywords: propositional dynamic logic
zbMATH Keywords: modal logic
zbMATH Keywords: completeness proofs
zbMATH Keywords: Kripkian semantics
zbMATH Keywords: Gentzen-style system
zbMATH Keywords: test program
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2977/prims/1195183579
OpenAlex ID: W2028591267
cites work: Q5582318
cites work: First-order dynamic logic
cites work: Q3919674
cites work: Sequential method in propositional dynamic logic
DOI: 10.2977/PRIMS/1195183579
description: scientific article; zbMATH DE number 3794045