Pages that link to "Item:Q4236070"

The following pages link to Complete Axiomatization of a Relative Modal Logic with Composition and Intersection (Q4236070):

Displaying 4 items.

• Dynamic extensions of arrow logic (Q598299) (← links)
• PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
• A new proof of completeness for a relative modal logic with composition and intersection (Q4443008) (← links)
• (Q5015273) (← links)