Complete Axiomatization of a Relative Modal Logic with Composition and Intersection

DOI10.1080/11663081.1998.10510949zbMath0923.03043OpenAlexW2024819896MaRDI QIDQ4236070

Luis Fariñas del Cerro, Philippe Balbiani

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

relational structurecomplete axiomatizationmodal 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)

Related Items

Dynamic extensions of arrow logic ⋮ Unnamed Item ⋮ A new proof of completeness for a relative modal logic with composition and intersection ⋮ PDL with intersection of programs: a complete axiomatization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An essay in combinatory dynamic logic
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Axiomatising the logic of computer programming
• Inaccessible worlds
• First-order dynamic logic
• Propositional dynamic logic of regular programs
• What can machines know?
• Inequality without irreflexivity