Theorem proving for non-normal modal logics

In this work we briefly summarize our recent contributions in the field of proof methods, theorem proving and countermodel generation for non-normal modal logics. We first recall some labelled sequent calculi for the basic system E and its extensions with axioms M, N, and C based on bi-neighbourhood semantics. Then, we present PRONOM, a theorem prover and countermodel generator for non-normal modal logics implemented in Prolog. When a modal formula is valid, then PRONOM computes a proof in the labelled calculi, otherwise it is able to extract a model falsifying it from an open, saturated branch. © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).Peer reviewe

The Stellenbosch Consensus on the International Legal Obligation to Collaborate and Assist in Addressing Pandemics: Clarifying Article 44 of the International Health Regulations

The International Health Regulations (IHR), of which the World Health Organization is custodian, govern how countries collectively promote global health security, including prevention, detection, and response to potential global health emergencies such as the ongoing covid-19 pandemic. While Article 44 of this binding legal instrument requires countries to collaborate and assist each other in meeting their respective obligations, recent events demonstrate that the precise nature and scope of these legal obligations are ill-understood. A shared understanding of the level and type of collaboration legally required by the IHR is a necessary step in ensuring these obligations can be acted upon and fully realized, and in fostering global solidarity and resilience in the face of future pandemics. In this consensus statement, public international law scholars specializing in global health consider the legal meaning of Article 44 using the interpretive framework of the Vienna Convention on the Law of Treaties

Travel restrictions and variants of concern: global health laws need to reflect evidence

As the coronavirus disease 2019 (COVID-19) spread in the early days of the pandemic, governments neglected World Health Organization (WHO) guidance and imposed travel restrictions. These public health measures employed varied levels of restrictiveness at national borders, in some cases banning all travel between countries. Where these border control measures were undertaken for domestic political reasons, enacted without consideration of public health evidence, they divided the world when solidarity was needed most.1 Such measures undermined global health law that countries have established as a foundation for preventing and responding to public health emergencies of international concern. With the emergence of the Omicron variant, national governments once again returned to international travel restrictions, posing challenges for the rule of law in global health governance. Future reforms of global health law must account for this continuing impulse to enact travel restrictions, ensuring that international legal obligations reflect evolving public health evidence

The Stellenbosch Consensus on legal national responses to public health risks : clarifying Article 43 of the International Health Regulations

The International Health Regulations (ihr), of which the World Health Organization is custodian, govern how countries collectively promote global health security, including prevention, detection, and response to global health emergencies such as the ongoing covid-19 pandemic. Countries are permitted to exercise their sovereignty in taking additional health measures to respond to such emergencies if these measures adhere to Article 43 of this legally binding instrument. Overbroad measures taken during recent public health emergencies of international concern, however, reveal that the provision remains inadequately understood. A shared understanding of the measures legally permitted by Article 43 is a necessary step in ensuring the fulfillment of obligations, and fostering global solidarity and resilience in the face of future pandemics. In this consensus statement, public international law scholars specializing in global health consider the legal meaning of Article 43 using the interpretive framework of the Vienna Convention on the Law of Treaties

The Italian National Project of Astrobiology-Life in Space-Origin, Presence, Persistence of Life in Space, from Molecules to Extremophiles

The \u2018\u2018Life in Space\u2019\u2019 project was funded in the wake of the Italian Space Agency\u2019s proposal for the development of a network of institutions and laboratories conceived to implement Italian participation in space astrobiology experiments

Clinical Features, Cardiovascular Risk Profile, and Therapeutic Trajectories of Patients with Type 2 Diabetes Candidate for Oral Semaglutide Therapy in the Italian Specialist Care

Introduction: This study aimed to address therapeutic inertia in the management of type 2 diabetes (T2D) by investigating the potential of early treatment with oral semaglutide. Methods: A cross-sectional survey was conducted between October 2021 and April 2022 among specialists treating individuals with T2D. A scientific committee designed a data collection form covering demographics, cardiovascular risk, glucose control metrics, ongoing therapies, and physician judgments on treatment appropriateness. Participants completed anonymous patient questionnaires reflecting routine clinical encounters. The preferred therapeutic regimen for each patient was also identified. Results: The analysis was conducted on 4449 patients initiating oral semaglutide. The population had a relatively short disease duration (42%  60% of patients, and more often than sitagliptin or empagliflozin. Conclusion: The study supports the potential of early implementation of oral semaglutide as a strategy to overcome therapeutic inertia and enhance T2D management

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements

XIPE: the x-ray imaging polarimetry explorer

XIPE, the X-ray Imaging Polarimetry Explorer, is a mission dedicated to X-ray Astronomy. At the time of writing XIPE is in a competitive phase A as fourth medium size mission of ESA (M4). It promises to reopen the polarimetry window in high energy Astrophysics after more than 4 decades thanks to a detector that efficiently exploits the photoelectric effect and to X-ray optics with large effective area. XIPE uniqueness is time-spectrally-spatially- resolved X-ray polarimetry as a breakthrough in high energy astrophysics and fundamental physics. Indeed the payload consists of three Gas Pixel Detectors at the focus of three X-ray optics with a total effective area larger than one XMM mirror but with a low weight. The payload is compatible with the fairing of the Vega launcher. XIPE is designed as an observatory for X-ray astronomers with 75 % of the time dedicated to a Guest Observer competitive program and it is organized as a consortium across Europe with main contributions from Italy, Germany, Spain, United Kingdom, Poland, Sweden