Sequential method in propositional dynamic logic

DOI10.1007/BF00268322zbMath0401.03005MaRDI QIDQ1254991

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

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

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A study of some tense logics by Gentzen's sequential method
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Untersuchungen über das logische Schliessen. I
• Proof theory

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