Sequential method in propositional dynamic logic
type: Item
instance of: scholarly article
title: Sequential method in propositional dynamic logic
zbMATH Open document ID: 0401.03005
DOI: 10.1007/BF00268322
published in: Acta Informatica
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68W99
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 3621691
zbMATH Keywords: Sequential Method
zbMATH Keywords: Propositional Dynamic Logic
zbMATH Keywords: Completeness of Proof Systems
author: Hirokazu Nishimura
MaRDI profile type: Publication
cites work: Untersuchungen über das logische Schliessen. I
cites work: Q5604443
cites work: Q4124327
cites work: Q4124795
cites work: A study of some tense logics by Gentzen's sequential method
cites work: Q3247119
cites work: Q3262211
cites work: Q4173344
cites work: Q4109655
cites work: A study of Kripke-type models for some modal logics by Gentzen's sequential method
cites work: Proof theory
description: scientific article; zbMATH DE number 3621691