Live briefing
Everything about CTL*
Branching-time logic that is a superset of LTL and CTL
CTL* is a superset of computational tree logic (CTL) and linear temporal logic (LTL). It freely combines path quantifiers and temporal operators. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given Kripke structure. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: CTL*A 5-minute orientation
- Skim a recent paper: Single-cell landscape of functionally cured chronic hepatitis B patients reveals activation of innate and altered CD4-CTL-driven adaptive immunityInfluential work since 2022
- Pick up a classic book: CTL Aerospace Inc, Cincinnati, OhioThe most-reprinted book on the subject
- Read the landmark paper: Tumor-derived exosomes are a source of shared tumor rejection antigens for CTL cross-primingCited 1,440 times
- Go sideways: Computation tree logicA closely related topic
- Go sideways: Probabilistic CTLA closely related topic
📖 Definitions
Symbol ISO 639-3 language code for Tlacoatzintepec Chinantec.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Tumor-derived exosomes are a source of shared tumor rejection antigens for CTL cross-priming
Antiviral pressure exerted by HIV-l-specific cytotoxic T lymphocytes (CTLs) during primary infection demonstrated by rapid selection of CTL escape virus
Effector and Memory CTL Differentiation
Coordinated Induction by IL15 of a TCR-Independent NKG2D Signaling Pathway Converts CTL into Lymphokine-Activated Killer Cells in Celiac Disease
HIV evolution: CTL escape mutation and reversion after transmission
The Immunological Synapse of CTL Contains a Secretory Domain and Membrane Bridges
Migratory Dendritic Cells Transfer Antigen to a Lymph Node-Resident Dendritic Cell Population for Efficient CTL Priming
Characterization of an Antigen That Is Recognized on a Melanoma Showing Partial HLA Loss by CTL Expressing an NK Inhibitory Receptor
🆕 Influential since 2022
Single-cell landscape of functionally cured chronic hepatitis B patients reveals activation of innate and altered CD4-CTL-driven adaptive immunity
An mRNA vaccine encoding Chikungunya virus E2-E1 protein elicits robust neutralizing antibody responses and CTL immune responses
Combination of CTLA-4 blockade with MUC1 mRNA nanovaccine induces enhanced anti-tumor CTL activity by modulating tumor microenvironment of triple negative breast cancer
Adenovirus-Vectored African Swine Fever Virus pp220 Induces Robust Antibody, IFN-γ, and CTL Responses in Pigs
Evolutionary conservation and positive selection of influenza A nucleoprotein CTL epitopes for universal vaccination
📚 Books worth reading
- 📕CTL Aerospace Inc, Cincinnati, OhioNational Institute for Occupational Safety and Health. · 1995
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Computation tree logic Computation tree logic (CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined;…
- Probabilistic CTL Probabilistic Computation Tree Logic (PCTL) is an extension of computation tree logic (CTL) that allows for probabilistic quantification of described properties…
- Intuitionistic logic Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical…
- Non-normal modal logic A non-normal modal logic is a variant of modal logic that deviates from the basic principles of normal modal logics. Normal modal logics adhere to the…
- Timed propositional temporal logic In model checking, a field of computer science, timed propositional temporal logic (TPTL) is an extension of propositional linear temporal logic (LTL)…
- Heyting arithmetic In mathematical logic, Heyting arithmetic H A {\displaystyle {\mathsf {HA}}} is an axiomatization of arithmetic in accordance with the philosophy of intuitionis…
- Kamp's theorem In mathematical logic and computer science, Kamp's theorem states that linear temporal logic is equivalent to the monadic first-order logic of order over…
- Inhabited set In mathematics, a set A {\displaystyle A} is inhabited if there exists an element a ∈ A {\displaystyle a\in A} . In classical mathematics, the property…