Return to Article Details
Goal-directed semantics for dynamic logic
Download
Download PDF