Return to Article Details Dynamic logic versus GTS: A case study Download Download PDF