A summary of all of the different types of temporal logic that we have explored, including Minimal, Transitive, Reflexive, Well-Ordered, Linear, Dense Inductive and Complete.
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!
Varieties of Temporal Logic
Теги
PhilosophyCarneadesCarneades.orgTemporal LogicLogic (Quotation Subject)Mathematical Logic (Field Of Study)DenseLinearMinimalTransitiveReflexiveTimetemporalTime logicmodalmodal logicThree months of Modal LogicspastpresentFutureWell-OrderedCompleteSummarySystem KtSystem K4tSystem S4tSystem LtSystem ZtSystem QtSystem RtSystem NtAxiom