Semantical analysis of constructive PDL

DOI10.2977/PRIMS/1195183579MaRDI QIDQ1835666zbMATH OpenOpenAlexFDO

Authors Hirokazu Nishimura

Publication date 1982

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2977/prims/1195183579

zbMATH Keywords

completeness proofsGentzen-style systemKripkian semanticsmodal logicpropositional dynamic logictest program

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Cites work

• First-order dynamic logic
• scientific article; zbMATH DE number 3732007 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• Sequential method in propositional dynamic logic

Cited in

(5)

• Tableaux for constructive concurrent dynamic logic
• Complete intuitionistic temporal logics for topological dynamics
• Proof-theoretical investigation of temporal logic with time gaps
• Gentzen-type axiomatization for PAL
• Constructive modal logics. I

This page was built for publication: Semantical analysis of constructive PDL

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