Return to Article Details Modal Subordination in Type Theoretic Dynamic Logic Download Download PDF