Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

DOI10.1080/11663081.1998.10510949MaRDI QIDQ4236070zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Luis Fariñas del Cerro

Publication date 18 May 1999

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.1998.10510949

zbMATH Keywords

complete axiomatizationrelational structuremodal operatorsfragment of propositional dynamic logic with intersectionrelative modal logic with composition and intersection

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Iteration-free PDL with intersection: A complete axiomatization
• Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization
• A new proof of completeness for a relative modal logic with composition and intersection
• scientific article; zbMATH DE number 2066186

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3843130 (Why is no real title available?)
• scientific article; zbMATH DE number 3983144 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 1215460 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• An essay in combinatory dynamic logic
• Axiomatising the logic of computer programming
• First-order dynamic logic
• Inaccessible worlds
• Inequality without irreflexivity
• Propositional dynamic logic of regular programs
• What can machines know?

Cited in

(6)

• A new proof of completeness for a relative modal logic with composition and intersection
• scientific article; zbMATH DE number 2066186 (Why is no real title available?)
• Dynamic extensions of arrow logic
• Iteration-free PDL with intersection: A complete axiomatization
• A canonical model construction for iteration-free PDL with intersection
• PDL with intersection of programs: a complete axiomatization

This page was built for publication: Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

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