Semantical analysis of constructive PDL

DOI10.2977/prims/1195183579zbMath0504.03010OpenAlexW2028591267MaRDI QIDQ1835666

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

modal logiccompleteness proofspropositional dynamic logictest programGentzen-style systemKripkian semantics

Mathematics Subject Classification ID

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

Related Items

COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS, Gentzen-type axiomatization for PAL, Proof-theoretical investigation of temporal logic with time gaps, Tableaux for constructive concurrent dynamic logic, Constructive modal logics. I

Cites Work

• Sequential method in propositional dynamic logic
• First-order dynamic logic
• Unnamed Item
• Unnamed Item