Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames

Imaging of ανβ3 integrin expression in rheumatoid arthritis with [68Ga]Ga-NODAGA-RGDyk PET/CT in comparison to [18F]FDG PET/CT

[Ga-68] Ga-NODAGA-RGDyk PET/CT and [F-18] FDG PET/CT were performed in a 65-year-old woman during the work-up of a squamous cell carcinoma of the tongue within a clinical study protocol. Images revealed both tracers' uptake in the primary tumor and cervical lymph nodes, but also bilaterally in the shoulders, elbows, wrists, metacarpophalangeal, interphalangeal, and hip joints. The patient had been diagnosed with rheumatoid arthritis 8 years prior to the examination. Images showed a significantly higher [F-18] FDG than [Ga-68] Ga-NODAGA-RGDyk uptake in primary tumor and cervical lymph nodes. However, the patient with moderately active rheumatoid arthritis had similar levels of [Ga-68]Ga-NODAGA-RGDyk and [F-18] FDG uptake in the involved joints, but with no [Ga-68] Ga-NODAGA-RGDyk uptake in the surrounding muscles, unlike with [F-18]FDG. Our case suggests that [Ga-68]Ga-NODAGA-RGDyk PET/CT allows imaging of integrins expression in rheumatoid arthritis, including integrins expressed in synovial angiogenesis, with potentially a better signal-to-noise ratio than on [F-18]FDG PET/CT. (C) 2021 The Author(s). Published by Elsevier Masson SAS

18F- FDG PET/CT-derived parameters predict clinical stage and prognosis of esophageal cancer.

Although <sup>18</sup> F- FDG PET/CT is validated in baseline workup of esophageal cancer to detect distant metastases, it remains underused in assessing local staging and biology of the primary tumor. This study aimed to evaluate the association between <sup>18</sup> F- FDG PET/CT-derived parameters of esophageal cancer, and its clinico-pathological features and prognosis. All patients (n = 86) with esophageal adenocarcinoma or squamous cell cancer operated between 2005 and 2014 were analyzed. Linear regression was used to identify clinico-pathologic features of esophageal cancer associated with the tumor's maximal Standardized Uptake Value (SUV <sub>max</sub> ), Total Lesion Glycolysis (TLG) and Metabolic Tumor Volume (MTV). ROC curve analysis was performed to precise the optimal cutoff of each variable associated with a locally advanced (cT3/4) status, long-term survival and recurrence. Kaplan Meier curves and Cox regression were used for survival analyses. High baseline SUV <sub>max</sub> was associated with cT3/4 status and middle-third tumor location, TLG with a cT3/4 and cN+ status, whereas MTV only with active smoking. A cT3/4 status was significantly predicted by a SUV <sub>max</sub> > 8.25 g/mL (p < 0.001), TLG > 41.7 (p < 0.001) and MTV > 10.70 cm <sup>3</sup> (p < 0.01) whereas a SUV <sub>max</sub> > 12.7 g/mL was associated with an early tumor recurrence and a poor disease-free survival (median 13 versus 56 months, p = 0.030), particularly in squamous cell cancer. Baseline <sup>18</sup> F- FDG PET/CT has a high predictive value of preoperative cT stage, as its parameters SUV <sub>max</sub> , TLG and MTV can predict a locally advanced tumor with high accuracy. A SUV <sub>max</sub> > 12.7 g/mL may herald early tumor recurrence and poor disease-free survival

Structural Refinement for the Modal nu-Calculus

We introduce a new notion of structural refinement, a sound abstraction of logical implication, for the modal nu-calculus. Using new translations between the modal nu-calculus and disjunctive modal transition systems, we show that these two specification formalisms are structurally equivalent. Using our translations, we also transfer the structural operations of composition and quotient from disjunctive modal transition systems to the modal nu-calculus. This shows that the modal nu-calculus supports composition and decomposition of specifications.Comment: Accepted at ICTAC 201

'TaxTrack': Introducing a Democratic Innovation for Taxation

In this article we introduce an input-oriented democratic innovation – that we term ‘TaxTrack’ – which offers individual taxpayers the means to engage with their political economies in three ways. After joining the TaxTrack program, an individual can: (1) see and understand how much, and what types, of taxes they have contributed, (2) see and understand how their tax contributions are, or have been, used, and (3) control what their tax contributions can, or cannot, be spent on. We explain this democratic innovation in two ways. The first is through evocation to prefigure what the innovation could look like in future practise which raises the prospects for both good and problematic outcomes. The second is through formal theory to produce a detailed model of the innovation to assist theory building. We conclude by discussing three interactive outcomes of ‘TaxTrack’ through the democratic innovations literature to establish the beginnings of a theory for the model. This theory tells us that ‘TaxTrack’ can return benefits to its users and the democratic regimes in which they are located but it may also place restrictions on output-oriented innovations like Participatory Budgeting

Imaging angiogenesis in atherosclerosis in large arteries with 68Ga-NODAGA-RGD PET/CT: relationship with clinical atherosclerotic cardiovascular disease.

Integrin alpha-V-beta-3 (αvβ3) pathway is involved in intraplaque angiogenesis and inflammation and represents a promising target for molecular imaging in cardiovascular diseases such as atherosclerosis. The aim of this study was to assess the clinical correlates of arterial wall accumulation of <sup>68</sup> Ga-NODAGA-RGD, a specific α <sub>v</sub> β <sub>3</sub> integrin ligand for PET. The data of 44 patients who underwent <sup>68</sup> Ga-NODAGA-RGD PET/CT scans were retrospectively analyzed. Tracer accumulation in the vessel wall of major arteries was analyzed semi-quantitatively by blood-pool-corrected target-to-background ratios. Tracer uptake was compared with clinically documented atherosclerotic cardiovascular disease, cardiovascular risk factors and calcified plaque burden. Data were compared using the Mann-Whitney U test, Pearson correlation and Spearman correlation. <sup>68</sup> Ga-NODAGA-RGD arterial uptake was significantly higher in patients with previous clinically documented atherosclerotic cardiovascular disease (mean TBR 2.44 [2.03-2.55] vs. 1.81 [1.56-1.96], p = 0.001) and showed a significant correlation with prior cardiovascular or cerebrovascular event (r = 0.33, p = 0.027), BMI (ρ = 0.38, p = 0.01), plaque burden (ρ = 0.31, p = 0.04) and hypercholesterolemia (r = 0.31, p = 0.04). <sup>68</sup> Ga-NODAGA-RGD holds promise as a non-invasive marker of disease activity in atherosclerosis, providing information about intraplaque angiogenesis