Return to Article Details Hybrid Logic as extension of Modal and Temporal Logic Download Download PDF