Alternating (In)Dependence-Friendly Logic

Hintikka and Sandu originally proposed Independence Friendly Logic ([Formula presented]) as a first-order logic of imperfect information to describe game-theoretic phenomena underlying the semantics of natural language. The logic allows for expressing independence constraints among quantified variables, in a similar vein to Henkin quantifiers, and has a nice game-theoretic semantics in terms of imperfect information games. However, the [Formula presented] semantics exhibits some limitations, at least from a purely logical perspective. It treats the players asymmetrically, considering only one of the two players as having imperfect information when evaluating truth, resp., falsity, of a sentence. In addition, truth and falsity of sentences coincide with the existence of a uniform winning strategy for one of the two players in the semantic imperfect information game. As a consequence, [Formula presented] does admit undetermined sentences, which are neither true nor false, thus failing the law of excluded middle. These idiosyncrasies limit its expressive power to the existential fragment of Second Order Logic ([Formula presented]). In this paper, we investigate an extension of [Formula presented], called Alternating Dependence/Independence Friendly Logic ([Formula presented]), tailored to overcome these limitations. To this end, we introduce a novel compositional semantics, generalising the one based on trumps proposed by Hodges for [Formula presented]. The new semantics (i) allows for meaningfully restricting both players at the same time, (ii) enjoys the property of game-theoretic determinacy, (iii) recovers the law of excluded middle for sentences, and (iv) grants [Formula presented] the full descriptive power of [Formula presented]. We also provide an equivalent Herbrand-Skolem semantics and a game-theoretic semantics for the prenex fragment of [Formula presented], the latter being defined in terms of a determined infinite-duration game that precisely captures the other two semantics on finite structures

Earthquakes in a fault system embedded in an elastic body subject to increasing shear stress

We consider the faults of an elastic body subject to an increasing stress and the stress field generated by slip on a fault. The slip along the fault releases the stress component parallel to the slip, but the component normal to the fault is not released and increases in time at the same rate as the shear affecting the body. The effect is an increase of the value of the force necessary to cause the subsequent slip; and, if the shear increases linearly, it causes an increase of the time intervals between the earthquakes on the fault, that is between the stress drop p and the slip s. The density distribution of p in a given time interval is computed; it is found that rigorously it is not a power law although it is a decreasing function of p. It is also seen that, as in the cases in which it was assumed that the component of the stress field locking the fault, after each earthquake, in the time interval to the next earthquake, would be anelastically released, the logarithm of the density distribution of the moments of the earthquakes is a linear function of log (M0 ) and a linear function of M in any time interval; M0 and M being the scalar seismic moment and the magnitude, respectively. Conditions for the existence of these linear relationships are discussed finding that a sufficient condition, when the range of p is not exceptionally large, is that the density distribution of p be of the type log (p), which includes the case when it is independent of the fault linear size l. The Gutenberg-Richter frequency-magnitude relationship and the conditions to obtain aftershocks and seismic swarms generated by this model are presented and discussed. In order to obtain the observed density distribution of earthquakes one or several hypotheses can be done: 1) the stress locking the faults, between successive earthquakes of the same fault, is released anelastically; 2) the density distribution of the sizes of the faults is such as to cause the logarithm of the density distribution of log (M0) and of M to be linear; 3) the density distribution of log M0 (M) is linear and the linearity factor is related to the density distribution of the stress drop and not to that of the linear dimensions of the faults

Are nonsingular black holes with super-Planckian hair ruled out by S2 star data?

We propose a novel nonsingular black-hole spacetime representing a strong deformation of the Schwarzschild solution with mass $M$ by an additional hair $\ell$, which may be hierarchically larger than the Planck scale. Our black-hole model presents a de Sitter core and $\mathcal{O}(\ell^2/r^2)$ slow-decaying corrections to the Schwarzschild solution. Our black-hole solutions are thermodynamically preferred when $0.2 \lesssim \ell/GM \lesssim \, 0.3$ and are characterized by strong deviations in the orbits of test particles from the Schwarzschild case. In particular, we find corrections to the perihelion precession angle scaling linearly with $\ell$. We test our model using the available data for the orbits of the S2 star around $\text{SgrA}^*$. These data strongly constrain the value of the hair $\ell$, casting an upper bound on it of $\sim \, 0.47 \, GM$, but do not rule out the possible existence of regular black holes with super-Planckian hair.Comment: 6 pages, 2 figures, 1 table. Revised version: Addendum and some references have been adde

Crustal blocks and seismicity in the Central Apennines of Italy

Kinematics and geodynamics of crustal-block structures separated by compliant zones with viscoelastic rheology play an important role in defining the conditions for many deformation events such as ordinary seismic ruptures, silent and slow earthquakes and aseismic fault creep phenomena. New seismological data from the Latium-Abruzzi carbonatic platform of central Italy fit a block-tectonic modelling previously proposed for this area on the basis of structural and paleomagnetic evidences

Prompt interval temporal logic

Interval temporal logics are expressive formalisms for temporal representation and reasoning, which use time intervals as primitive temporal entities. They have been extensively studied for the past two decades and successfully applied in AI and computer science. Unfortunately, they lack the ability of expressing promptness conditions, as it happens with the commonly-used temporal logics, e.g., LTL: whenever we deal with a liveness request, such as \u201csomething good eventually happens\u201d, there is no way to impose a bound on the delay with which it is fulfilled. In the last years, such an issue has been addressed in automata theory, game theory, and temporal logic. In this paper, we approach it in the interval temporal logic setting. First, we introduce PROMPT-PNL, a prompt extension of the well-studied interval temporal logic PNL, and we prove the undecidability of its satisfiability problem; then, we show how to recover decidability (NEXPTIME-completeness) by imposing a natural syntactic restriction on it

Assessing a sleep interviewing chatbot to improve subjective and objective sleep: protocol for an observational feasibility study

BACKGROUND: Sleep disorders are common among the aging population and people with neurodegenerative diseases. Sleep disorders have a strong bidirectional relationship with neurodegenerative diseases, where they accelerate and worsen one another. Although one-to-one individual cognitive behavioral interventions (conducted in-person or on the internet) have shown promise for significant improvements in sleep efficiency among adults, many may experience difficulties accessing interventions with sleep specialists, psychiatrists, or psychologists. Therefore, delivering sleep intervention through an automated chatbot platform may be an effective strategy to increase the accessibility and reach of sleep disorder intervention among the aging population and people with neurodegenerative diseases. OBJECTIVE: This work aims to (1) determine the feasibility and usability of an automated chatbot (named MotivSleep) that conducts sleep interviews to encourage the aging population to report behaviors that may affect their sleep, followed by providing personalized recommendations for better sleep based on participants' self-reported behaviors; (2) assess the self-reported sleep assessment changes before, during, and after using our automated sleep disturbance intervention chatbot; (3) assess the changes in objective sleep assessment recorded by a sleep tracking device before, during, and after using the automated chatbot MotivSleep. METHODS: We will recruit 30 older adult participants from West London for this pilot study. Each participant will have a sleep analyzer installed under their mattress. This contactless sleep monitoring device passively records movements, heart rate, and breathing rate while participants are in bed. In addition, each participant will use our proposed chatbot MotivSleep, accessible on WhatsApp, to describe their sleep and behaviors related to their sleep and receive personalized recommendations for better sleep tailored to their specific reasons for disrupted sleep. We will analyze questionnaire responses before and after the study to assess their perception of our proposed chatbot; questionnaire responses before, during, and after the study to assess their subjective sleep quality changes; and sleep parameters recorded by the sleep analyzer throughout the study to assess their objective sleep quality changes. RESULTS: Recruitment will begin in May 2023 through UK Dementia Research Institute Care Research and Technology Centre organized community outreach. Data collection will run from May 2023 until December 2023. We hypothesize that participants will perceive our proposed chatbot as intelligent and trustworthy; we also hypothesize that our proposed chatbot can help improve participants' subjective and objective sleep assessment throughout the study. CONCLUSIONS: The MotivSleep automated chatbot has the potential to provide additional care to older adults who wish to improve their sleep in more accessible and less costly ways than conventional face-to-face therapy. INTERNATIONAL REGISTERED REPORT IDENTIFIER (IRRID): PRR1-10.2196/45752

High-spin states and band terminations in v 49

High-spin states in 49 V have been studied through the 28 Si(28 Si, α3p) reaction using the EUROBALL γ-ray detector array. The 49 V level scheme has been extended up to 13.1 MeV including 21 new states. Both negative and positive parity states have been interpreted in the framework of theShell Model. The 27/2− and the 31/2+ band termination states have been observed in agreement with theoretical predictions.Fil: Rodrigues Ferreira Maltez, Dario Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Comisión Nacional de Energía Atómica. Gerencia del Área de Investigación y Aplicaciones No Nucleares. Gerencia Física (Centro Atómico Constituyentes). Proyecto Tandar; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Física; ArgentinaFil: Hojman, Daniel Leonardo. Comisión Nacional de Energía Atómica. Gerencia del Área de Investigación y Aplicaciones No Nucleares. Gerencia Física (Centro Atómico Constituyentes). Proyecto Tandar; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Lenzi, Silvia M.. Istituto Nazionale Di Fisica Nucleare.; Italia. Università di Padova; ItaliaFil: Cardona, Maria Angelica. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Comisión Nacional de Energía Atómica. Gerencia del Área de Investigación y Aplicaciones No Nucleares. Gerencia Física (Centro Atómico Constituyentes). Proyecto Tandar; Argentina. Universidad Nacional de San Martín. Escuela de Ciencia y Tecnología; ArgentinaFil: Fernea, Enrico. Università di Padova; Italia. Istituto Nazionale Di Fisica Nucleare.; ItaliaFil: Axiotis, M.. Istituto Nazionale Di Fisica Nucleare.; ItaliaFil: Beck, C.. Université de Strasbourg; Francia. Centre National de la Recherche Scientifique; FranciaFil: Bednarczyk, P.. Polish Academy of Sciences; ArgentinaFil: Bizzetti, P. G.. Università di Padova; Italia. Istituto Nazionale Di Fisica Nucleare.; ItaliaFil: Bizzetti Sona, A. M.. Università di Padova; Italia. Istituto Nazionale Di Fisica Nucleare.; ItaliaFil: Della Vedova, F.. Università di Padova; Italia. Istituto Nazionale Di Fisica Nucleare.; ItaliaFil: Grebosz, J.. Polish Academy of Sciences; ArgentinaFil: Haas, F.. Université de Strasbourg; Francia. Centre National de la Recherche Scientifique; FranciaFil: Kmiecik, M.. Polish Academy of Sciences; ArgentinaFil: Maj, A.. Polish Academy of Sciences; ArgentinaFil: Męczyński, W.. Polish Academy of Sciences; ArgentinaFil: Napoli, D. R.. Istituto Nazionale Di Fisica Nucleare.; ItaliaFil: Nespolo, M.. Università di Padova; Italia. Istituto Nazionale Di Fisica Nucleare.; ItaliaFil: Papka, P.. Université de Strasbourg; Francia. Centre National de la Recherche Scientifique; FranciaFil: Sánchez i Zafra, A.. Université de Strasbourg; Francia. Centre National de la Recherche Scientifique; FranciaFil: Styczen, J.. Polish Academy of Sciences; ArgentinaFil: Thummerer, S.. Alfred-Wegener-Institut, Helmholtz-Zentrum für Polar- und Meeresforschung; AlemaniaFil: Ziębliński, M.. Polish Academy of Sciences; Argentin

An Optimal Decision Procedure for MPNL over the Integers

Interval temporal logics provide a natural framework for qualitative and quantitative temporal reason- ing over interval structures, where the truth of formulae is defined over intervals rather than points. In this paper, we study the complexity of the satisfiability problem for Metric Propositional Neigh- borhood Logic (MPNL). MPNL features two modalities to access intervals "to the left" and "to the right" of the current one, respectively, plus an infinite set of length constraints. MPNL, interpreted over the naturals, has been recently shown to be decidable by a doubly exponential procedure. We improve such a result by proving that MPNL is actually EXPSPACE-complete (even when length constraints are encoded in binary), when interpreted over finite structures, the naturals, and the in- tegers, by developing an EXPSPACE decision procedure for MPNL over the integers, which can be easily tailored to finite linear orders and the naturals (EXPSPACE-hardness was already known).Comment: In Proceedings GandALF 2011, arXiv:1106.081

Volcanic CO2 tracks the incubation period of basaltic paroxysms

The ordinarily benign activity of basaltic volcanoes is periodically interrupted by violent paroxysmal explosions ranging in size from Hawaiian to Plinian in the most extreme examples. These paroxysms often occur suddenly and with limited or no precursors, leaving their causal mechanisms still incompletely understood. Two such events took place in summer 2019 at Stromboli, a volcano otherwise known for its persistent mild open-vent activity, resulting in one fatality and damage to infrastructure. Here, we use a post hoc analysis and reinterpretation of volcanic gas compositions and fluxes acquired at Stromboli to show that the two paroxysms were preceded by detectable escalations in volcanic plume CO2 degassing weeks to months beforehand. Our results demonstrate that volcanic gas CO2 is a key driver of explosions and that the preparatory periods ahead of explosions in basaltic systems can be captured by precursory CO2 leakage from deeply stored mafic magma