Sequential method in propositional dynamic logic

DOI10.1007/BF00268322MaRDI QIDQ1254991zbMATH OpenFDO

Authors Hirokazu Nishimura

Publication date 1979

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

Propositional Dynamic LogicCompleteness of Proof SystemsSequential Method

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Algorithms in computer science (68W99)

Cites work

• scientific article; zbMATH DE number 3131074 (Why is no real title available?)
• scientific article; zbMATH DE number 3145226 (Why is no real title available?)
• scientific article; zbMATH DE number 3532927 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3550662 (Why is no real title available?)
• scientific article; zbMATH DE number 3607998 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• A study of some tense logics by Gentzen's sequential method
• Proof theory
• Untersuchungen über das logische Schliessen. I

Cited in

(7)

• Gentzen-type axiomatization for PAL
• An elementary proof of the completeness of PDL
• Loop-type sequent calculi for temporal logic
• Semantical analysis of constructive PDL
• A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
• A sequential formulation of a logic based on fuzzy modalities
• Propositional dynamic logic for concurrent programs

This page was built for publication: Sequential method in propositional dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1254991)