View of Kripke Incompleteness of First-order Calculi with Temporal Modalities of CTL and Near Logics

Return to Article Details Kripke Incompleteness of First-order Calculi with Temporal Modalities of CTL and Near Logics Download Download PDF