PDL with intersection of programs: a complete axiomatization

DOI10.3166/jancl.13.231-276zbMath1181.03030OpenAlexW2009819247MaRDI QIDQ3643256

Philippe Balbiani, Dimiter Vakarelov

Publication date: 11 November 2009

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

Full work available at URL: https://doi.org/10.3166/jancl.13.231-276

zbMATH Keywords

modal logiccompletenessdynamic logicaxiomatizationprogram intersection

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (9)

On a graph calculus for modalities ⋮ On a graph approach to modal logics ⋮ Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Modal logics for reasoning about infinite unions and intersections of binary relations ⋮ Unnamed Item ⋮ Resource separation in dynamic logic of propositional assignments ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS

Cites Work

• 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
• DAL -- a logic for data analysis
• PDL with data constants
• Axiomatising the logic of computer programming
• Propositional dynamic logic of regular programs
• A model existence theorem in infinitary propositional modal logic
• Multi-dimensional modal logic
• Axiomatizations with context rules of inference in modal logic
• Syntactic codes and grammar refinement
• The modal logic of inequality
• Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
• Derivation rules as anti-axioms in modal logic
• A new proof of completeness for a relative modal logic with composition and intersection

This page was built for publication: PDL with intersection of programs: a complete axiomatization