Example image of eyePlorer eyePlorer map for 'Temporal logic': Logic Time Arthur Prior Modal logic Amir Pnueli Computer science Aristotle Existential quantification Predicate logic Universal quantification Principle of bivalence State theory Formal verification Computation tree logic Linear temporal logic Zohar Manna Logical connective Modal operator Operator Truth function Well-formed formula Temporal logic of actions Mu calculus CTL* Temporal logic in finite-state verification Stanford Encyclopedia of Philosophy Concurrent MetateM Faron Moller HPO formalism Interval temporal logic Kinetic logic Language Of Temporal Ordering Specification Nuel Belnap CPN-AMI Multimodal logic Semantic parameterization Intensional logic Kripke structure Temporal single-system interpretation Logic in Islamic philosophy Hybrid logic Model checking Symbolic logic Classical logic Common Algebraic Specification Language Department of Mathematical Logic (Bulgarian Academy of Sciences) John Lemmon Logic in computer science Stephen E. Braude Leslie Lamport