Despite recent efforts by the Artificial Intelligence (AI) community to move towards standardised procedures for documenting models, methods, systems or datasets, there is currently no methodology focused on use cases aligned with the risk-based approach of the European AI Act (AI Act). In this paper, we propose a new framework for the documentation of use cases that we call use case cards, based on the use case modelling included in the Unified Markup Language (UML) standard. Unlike other documentation methodologies, we (...) focus on the intended purpose and operational use of an AI system. It consists of two main parts: firstly, a UML-based template, tailored to allow implicitly assessing the risk level of the AI system and defining relevant requirements, and secondly, a supporting UML diagram designed to provide information about the system-user interactions and relationships. The proposed framework is the result of a co-design process involving a relevant team of EU policy experts and scientists. We have validated our proposal with 11 experts with different backgrounds and a reasonable knowledge of the AI Act as a prerequisite. We provide the 5 use case cards used in the co-design and validation process. Use case cards allows framing and contextualising use cases in an effective way, and we hope this methodology can be a useful tool for policy makers and providers for documenting use cases, assessing the risk level, adapting the different requirements and building a catalogue of existing usages of AI. (shrink)

Political fact-checkers evaluate the truthfulness of politicians’ claims. This paper contributes to an emerging scholarly debate on whether fact-checkers treat political parties differently in a systematic manner depending on their ideology (bias). We first examine the available approaches to analyze bias and then present a new approach in two steps. First, we propose a logistic regression model to analyze the outcomes of fact-checks and calculate how likely each political party will obtain a truth score. We test our model with a (...) sample of fact-checks from Newtral, a major Spanish fact-checker. Our model would signal bias under two assumptions: a) all political parties are on average equally accurate in their statements; b) the verification method gives precise instructions and is implemented systematically. We investigate this second assumption with a series of interviews with Newtral fact-checkers. We show that standard verification protocols are so loosely implemented that fact-checks reflect a set of journalistic decisions, rather than a bias in the statistical sense. We call for a more rigorous definition of verification methods as a pre-requisite for an unbiased assessment of politician’s claims. (shrink)

Dynamic topological logic combines topological and temporal modalities to express asymptotic properties of dynamic systems on topological spaces. A dynamic topological model is a triple 〈X ,f , V 〉, where X is a topological space, f : X → X a continuous function and V a truth valuation assigning subsets of X to propositional variables. Valid formulas are those that are true in every model, independently of X or f. A natural problem that arises is to identify the logics (...) obtained on familiar spaces, such as . It [9] it was shown that any satisfiable formula could be satisfied in some for n large enough, but the question of how the logic varies with n remained open.In this paper we prove that any fragment of DTL that is complete for locally finite Kripke frames is complete for . This includes DTL○; it also includes some larger fragments, such as DTL1, where “henceforth” may not appear in the scope of a topological operator. We show that satisfiability of any formula of our language in a locally finite Kripke frame implies satisfiability in by constructing continuous, open maps from the plane into arbitrary locally finite Kripke frames, which give us a type of bisimulation. We also show that the results cannot be extended to arbitrary formulas of DTL by exhibiting a formula which is valid in but not in arbitrary topological spaces. (shrink)

This article explores the relationship between the philosophy of the limit of Eugenio Trías and the sufism of Ibn ʿArabī. Firstly, it explains the function of the philosophy of religion in the triasian system and why the andalusian master has a privileged position. Secondly, it presents some essential aspects of the akbarian doctrine obtured by the philosophy of limit, as the declaration of the unity of Being, the path of servanthood, the transit from the sudden passion of love to the (...) spiritual love, the spiritual knighthood and the station of no-station. All of them share a common element: the trascendence of the egoic and the interest on the other as other. Finally, the article defends that Trias obturates the andalusian master doctrine due to the influence of Henry Corbin and mainly to the own limitations of its own philosophical project. The absent Ibn ʿArabī will be its shadow. (shrink)

El presente artículo es un estudio sobre las diferenciaciones (aqsām) del amor, uno de los puntos más importantes del principal escrito que Ibn ʿArabī dedicó a la cuestión amorosa, el capítulo 178 de Las Iluminaciones de La Meca (al-Futūḥāt al-Makkiyya). A través de un juego de oscilación y equilibrio entre perspectivas ontológicas y epistemológicas aparentemente enfrentadas –incomparabilidad/similaridad, oculto/manifiesto, unidad/multiplicidad, espíritu/cuerpo– y un recurrente manejo del lenguaje de las alusiones (išāra), el maestro andalusí distingue entre amor divino (ilāhī), espiritual (rūḥānī), natural (...) (ṭabī‘ī) y elemental (ʿunṣurī). Se ofrece un análisis y comentario del texto akbarí que pretende aclarar la especificidad de cada una de estas nociones, así como su íntima relación con el discurso amoroso del autor. (shrink)

En su gran texto dedicado al amor — el capítulo 178 de _Las Iluminaciones de La Meca_—, Ibn ʿArabī comenta siete cualidades (_ṣ__ifāt_) que, según el Corán, suscitan el amor de Dios hacia los seres humanos. A lo largo de nuestro trabajo analizaremos el comentario akbarí y mostraremos cómo la clave para actualizar dichas cualidades consiste en_ hacer del propio ser un regalo de __amor_. O lo que es lo mismo: realizar un movimiento análogo al de Dios en cuanto que (...) El Omni-Compasivo (_al-Ra__ḥ__mān_), Quien a cada instante, de modo incondicional y sin esperar nada a cambio, asiste amorosamente a todas y cada una de Sus criaturas. (shrink)

A growing number of recreational races are being held in different locations, drawing many local and visiting runners. This study examined the relationships between quality, value, satisfaction, and loyalty among runners in a recreational race and examines potential differences in relationships between these constructs based on the runners’ experience. The participants were 985 runners with a mean age of 40.74±9.41years. Validated, reliable ad hoc instruments were used. A multi-group analysis was performed to ascertain the existence of relationships between the constructs (...) and differences in the relationships between the different study groups. The results show that quality is a direct antecedent of value and satisfaction. Value is directly related to satisfaction and indirectly related to loyalty. Satisfaction is related to the loyalty of participants in the race. Differences in the relationship between satisfaction and loyalty were dependent upon the runners’ experience. Loyalty to a race depends primarily on satisfaction and is modified by the runners’ experience. (shrink)

We show that given a finite, transitive and reflexive Kripke model 〈 W , ≼, ⟦ ⋅ ⟧ 〉 and $${w \in W}$$ , the property of being simulated by w (i.e., lying on the image of a literalpreserving relation satisfying the ‘forth’ condition of bisimulation) is modally undefinable within the class of S4 Kripke models. Note the contrast to the fact that lying in the image of w under a bi simulation is definable in the standard modal language even (...) over the class of K4 models, a fairly standard result for which we also provide a proof. We then propose a minor extension of the language adding a sequent operator $${\natural}$$ (‘tangle’) which can be interpreted over Kripke models as well as over topological spaces. Over finite Kripke models it indicates the existence of clusters satisfying a specified set of formulas, very similar to an operator introduced by Dawar and Otto. In the extended language $${{\sf L}^+ = {\sf L}^{\square\natural}}$$ , being simulated by a point on a finite transitive Kripke model becomes definable, both over the class of (arbitrary) Kripke models and over the class of topological S4 models. As a consequence of this we obtain the result that any class of finite, transitive models over finitely many propositional variables which is closed under simulability is also definable in L + , as well as Boolean combinations of these classes. From this it follows that the μ -calculus interpreted over any such class of models is decidable. (shrink)

Given the pervasiveness of AI systems and their potential negative effects on people’s lives (especially among already marginalised groups), it becomes imperative to comprehend what goes on when an AI system generates a result, and based on what reasons, it is achieved. There are consistent technical efforts for making systems more “explainable” by reducing their opaqueness and increasing their interpretability and explainability. In this paper, we explore an alternative non-technical approach towards explainability that complement existing ones. Leaving aside technical, statistical, (...) or data-related issues, we focus on the very conceptual underpinnings of the design decisions made by developers and other stakeholders during the lifecycle of a machine learning project. For instance, the design and development of an app to track snoring to detect possible health risks presuppose some picture or another of “health”, which is a key notion that conceptually underpins the project. We take it as a premise that these key concepts are necessarily present during design and development, albeit perhaps tacitly. We argue that by providing “justificatory explanations” about how the team understands the relevant key concepts behind its design decisions, interested parties could gain valuable insights and make better sense of the workings and outcomes of systems. Using the concept of “health”, we illustrate how a particular understanding of it might influence decisions during the design and development stages of a machine learning project, and how making this explicit by incorporating it into ex-post explanations might increase the explanatory and justificatory power of these explanations. We posit that a greater conceptual awareness of the key concepts that underpin design and development decisions may be beneficial to any attempt to develop explainability methods. We recommend that “justificatory explanations” are provided as technical documentation. These are declarative statements that contain at its simplest: (1) a high-level account of the understanding of the relevant key concepts a team possess related to a project’s main domain, (2) how these understandings drive decision-making during the life-cycle stages, and (3) it gives reasons (which could be implicit in the account) that the person or persons doing the explanation consider to have plausible justificatory power for the decisions that were made during the project. (shrink)

In this work, we shall study structural abduction and how ways of searching for solutions to the corresponding abductive problems could be modeled. Specifically, we shall define modal semantic tableaux for normal modal systems and study its applications to structural abduction. This method even makes structural abduction clearer and, as it shall be seen, when a radical change of logic is epistemologically required, the corresponding tableau will have pertinent information to suggest it.

We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames.

We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...) of GLP Λ. (shrink)

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...) operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

Let T be a second-order arithmetical theory, Λ a well-order, λ < Λ and X ⊆ ℕ. We use $[\lambda |X]_T^{\rm{\Lambda }}\varphi$ as a formalization of “φ is provable from T and an oracle for the set X, using ω-rules of nesting depth at most λ”.For a set of formulas Γ, define predicative oracle reflection for T over Γ ) to be the schema that asserts that, if X ⊆ ℕ, Λ is a well-order and φ ∈ Γ, then$$\forall \,\lambda (...) < {\rm{\Lambda }}\,.$$In particular, define predicative oracle consistency ) as Pred–O–RFN{0=1}.Our main result is as follows. Let ATR0 be the second-order theory of Arithmetical Transfinite Recursion, ${\rm{RCA}}_0^{\rm{*}}$ be Weakened Recursive Comprehension and ACA be Arithmetical Comprehension with Full Induction. Then,$${\rm{ATR}}_0 \equiv {\rm{RCA}}_0^{\rm{*}} + {\rm{Pred - O - Cons\ }}\left \equiv {\rm{RCA}}_0^{\rm{*}} + \,{\rm{Pred - O - Cons\ }}\left \equiv {\rm{RCA}}_0^{\rm{*}} + \,{\rm{Pred - O - RFN}}\,_{{\bf{\Pi }}_2^1 } \left.$$We may even replace ${\rm{RCA}}_0^{\rm{*}}$ by the weaker ECA0, the second-order analogue of Elementary Arithmetic.Thus we characterize ATR0, a theory often considered to embody Predicative Reductionism, in terms of strong reflection and consistency principles. (shrink)

AimThe functional prognosis of patients after coma following either cardiac arrest or acute structural brain injury is often uncertain. These patients are associated with high mortality and disability. N20 and N70 somatosensory evoked potentials are used to predict prognosis. We evaluated the utility of SSEP as an early indicator of long-term prognosis in these patients.MethodsThis was a retrospective cohort study of patients admitted to the intensive care unit with a diagnosis of coma after CA or ABI. An SSEP study was (...) performed, including N20 and N70 at 24–72 h, after coma onset. Functional recovery was assessed 6–12 months later using the modified Glasgow scale. The study was approved by our local research ethics committee.ResultsIn the CA and ABI groups, the absence of N20 or N70 was a strong indicator of poor outcome. Conversely, the presence of N70 was an indicator of a good outcome.ConclusionSomatosensory evoked potentials are useful early prognostic markers with high specificity and sensitivity. Moreover, N70 has additional potential value for improving the prediction of good long-term functional outcomes.Clinical Trial Registration:[https://clinicaltrials.gov/], identifier [2018/01/001]. (shrink)

The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

Este artículo explora la relación entre la filosofía del límite de Eugenio Trías y el sufismo de Ibn ʿArabī. En primer lugar, pretende explicar la función de la filosofía de la religión en el sistema triasiano y por qué el maestro andalusí ocupa un lugar privilegiado en ella. Segundo, se ocupa de algunos aspectos esenciales de la doctrina akbarí que la filosofía del límite obtura, como la declaración de la unidad del Ser (tawḥīd), la conjugación de lo exotérico y lo (...) esotérico, la superación de la propia creencia, el camino de la servidumbre (ʿubūdiyya), el tránsito de la pasión súbita de amor (hawā) al amor espiritual (ḥubb), la caballería espiritual (futuwwa) y la morada de la no-morada (maqām lā maqām), los cuales comparten un nexo común: el trascendimiento de lo egoico y el interés en el otro en tanto otro. Finalmente, se defenderá que la obturación triasiana se debe tanto al influjo de Henry Corbin, como sobre todo, a las propias limitaciones de su proyecto filosófico, para el que el Ibn ʿArabī ausente constituye una suerte de sombra. (shrink)

For any ordinal $\Lambda$, we can define a polymodal logic $\mathsf{GLP}_\Lambda$, with a modality $[\xi]$ for each $\xi < \Lambda$. These represent provability predicates of increasing strength. Although $\mathsf{GLP}_\Lambda$ has no Kripke models, Ignatiev showed that indeed one can construct a Kripke model of the variable-free fragment with natural number modalities, denoted $\mathsf{GLP}^0_\omega$. Later, Icard defined a topological model for $\mathsf{GLP}^0_\omega$ which is very closely related to Ignatiev's. In this paper we show how to extend these constructions for arbitrary $\Lambda$. (...) More generally, for each $\Theta,\Lambda$ we build a Kripke model $\mathfrak I^\Theta_\Lambda$ and a topological model $\mathfrak T^\Theta_\Lambda$, and show that $\mathsf{GLP}^0_\Lambda$ is sound for both of these structures, as well as complete, provided $\Theta$ is large enough. (shrink)

Ordinal functions may be iterated transfinitely in a natural way by taking pointwise limits at limit stages. However, this has disadvantages, especially when working in the class of normal functions, as pointwise limits do not preserve normality. To this end we present an alternative method to assign to each normal function f a family of normal functions Hyp[f]=〈fξ〉ξ∈OnHyp[f]=〈fξ〉ξ∈On, called its hyperation, in such a way that f0=idf0=id, f1=ff1=f and fα+β=fα∘fβfα+β=fα∘fβ for all α, β.Hyperations are a refinement of the Veblen hierarchy (...) of f. Moreover, if f is normal and has a well-behaved left-inverse g called a left adjoint, then g can be assigned a cohyperationcoH[g]=〈gξ〉ξ∈OncoH[g]=〈gξ〉ξ∈On, which is a family of initial functions such that gξgξ is a left adjoint to fξfξ for all ξ. (shrink)

Provability logics are modal or polymodal systems designed for modeling the behavior of Gödel’s provability predicate and its natural extensions. If Λ is any ordinal, the Gödel-Löb calculus GLPΛ contains one modality [λ] for each λ < Λ, representing provability predicates of increasing strength. GLPω has no non-trivial Kripke frames, but it is sound and complete for its topological semantics, as was shown by Icard for the variable-free fragment and more recently by Beklemishev and Gabelaia for the full logic. In (...) this paper we generalize Beklemishev and Gabelaia’s result to GLPΛ for countable Λ. We also introduce provability ambiances, which are topological models where valuations of formulas are restricted. With this we show completeness of GLPΛ for the class of provability ambiances based on Icard polytopologies. (shrink)

Our aim in this paper is to clarify the distinctions and the relationships among several phenomena, each of which has certain characteristics of what is generally called “deference”. We distinguish linguistic deference, which concerns the use of language and the meaning of the words we use, from epistemic deference, which concerns our reasons and evidence for making the claims we make. In our in-depth study of linguistic deference, we distinguish two subcategories: default deference, and deliberate deference. We also discuss the (...) phenomenon of im-perfect mastery, often associated with deference, and which we show to be independent both of linguistic deference and of epistemic deference. If our analysis is correct, then some recent debates on deference can be shown to result from a failure to appreciate all the distinctions that we draw here. (shrink)

The intuitive notion of evidence has both semantic and syntactic features. In this paper, we develop an evidence logic for epistemic agents faced with possibly contradictory evidence from different sources. The logic is based on a neighborhood semantics, where a neighborhood N indicates that the agent has reason to believe that the true state of the world lies in N. Further notions of relative plausibility between worlds and beliefs based on the latter ordering are then defined in terms of this (...) evidence structure, yielding our intended models for evidence-based beliefs. In addition, we also consider a second more general flavor, where belief and plausibility are modeled using additional primitive relations, and we prove a representation theorem showing that each such general model is a p-morphic image of an intended one. This semantics invites a number of natural special cases, depending on how uniform we make the evidence sets, and how coherent their total structure. We give a structural study of the resulting ‘uniform’ and ‘flat’ models. Our main result are sound and complete axiomatizations for the logics of all four major model classes with respect to the modal language of evidence, belief and safe belief. We conclude with an outlook toward logics for the dynamics of changing evidence, and the resulting language extensions and connections with logics of plausibility change. (shrink)

Dynamic Topological Logic (DFH) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of DFH over the class of all dynamical systems has proven to be quite elusive. Here we propose to enrich the language to include a polyadic topological modality, originally introduced by Dawar and Otto in a different (...) context. We then provide a sound axiomatization for DFH over this extended language, and prove that it is complete. The polyadic modality is used in an essential way in our proof. (shrink)

The study investigated the influence of resilience and dispositional optimism on, first, emotional distress and, second, the intention to self-isolate, experienced by people with a lower and higher illness risk, during the lockdown imposed in Spain during the first COVID-19 wave. These effects were investigated against the background of the Health Belief Model. A convenience sample of N = 325 participants completed an online survey including an ad-hoc questionnaire measuring the HBM core factors: Perceived health threat, and perceived quarantine benefits (...) and costs. Self-efficacy and perceived social pressure were also measured. Based on reviews regarding pandemic outbreaks, quarantine benefits were conceptualized as the perceived effectiveness and solidary contribution of self-isolating in line with the quarantine protocols. Quarantine “psychosocial” costs were conceptualized as a composite of perceived boredom, loneliness, and economic concerns. Findings revealed an asymmetrical pattern of results so that people at higher risk were more distressed by the perceived severity of getting infected whereas people at lower risk were more distressed by the psychosocial costs. Moreover, resilience and optimism were more “protective” against distress within the lower and higher risk groups, respectively. In addition, quarantine benefits and self-efficacy promoted the intention to self-isolate within both groups. However, optimism hindered such intention. This finding is discussed in the light of links between dispositional optimism and optimistic bias; the underestimation of experiencing negative events, which can relax the perceived health risk. Based on these findings, communication campaigns should prioritize information about the effectiveness of the implemented preventive behaviors rather than the costs of not implementing them, and be cautionary in encouraging excessive optimism. (shrink)

The aim of the present study was to determine statistical differences in a set of badminton competition matches in five different modalities with regard to competition level (Group Phase versus Eliminatory Phase). Data from 453 sets (125 in men’s singles; 108 sets in women’s singles; 77 sets in men’s doubles; 73 in women’s doubles and 70 in mixed doubles) from the RIO 2016 Olympics Games were recorded and classified in two groups of variables to analyse variables related to match (5) (...) and set (15). A descriptive analysis and univariate test (Mann Whitney U) for non-parametric data were conducted. The results show in men’s and women’s singles all the variables related to match were higher in the Elimination Phase than in the Group Phase (p<0.01). In Sets 1 and 3, the longest set duration, rally and average rally were found in the Elimination Phase than Group Stage (p<0.05). In women’s singles, these differences were also recorded in Set 2. For doubles, the results are more stable among groups. Men’s doubles had a longer duration of the match and set (set 1 and set 2) (p<0.01), and also scored highest for average rally strokes (set 1 and set 3) (p<0.05) and shuttles used in the Elimination Phase versus the Group Phase along the match (p<0.01). In women’s doubles, more shuttles were used in a match in the Elimination than in the Group Phase. Moreover, the same results are established for Set 2, including for average rally. Mixed doubles saw no match going to three sets. However, the greatest differences showed a longer rally and average rally being registered in the Elimination than in the Group Phase. In conclusion, the timing factors of the badminton singles and doubles games were different in the Elimination and Group Phases. This information may help players and coaches prepare and administer different types of workouts or, more specifically, competition schedules adapted to the characteristics of modern badminton. (shrink)

Dynamic Topological Logic () is a combination of , under its topological interpretation, and the temporal logic interpreted over the natural numbers. is used to reason about properties of dynamical systems based on topological spaces. Semantics are given by dynamic topological models, which are tuples , where is a topological space, f a function on X and V a truth valuation assigning subsets of X to propositional variables. Our main result is that the set of valid formulas of over spaces (...) with continuous functions is recursively enumerable. We show this by defining alternative semantics for . Under standard semantics, is not complete for Kripke frames. However, we introduce the notion of a non-deterministic quasimodel, where the function f is replaced by a binary relation g assigning to each world multiple temporal successors. We place restrictions on the successors so that the logic remains unchanged; under these alternative semantics, becomes Kripke-complete. We then apply model-search techniques to enumerate the set of all valid formulas. (shrink)

[español] En primer lugar, el texto ofrece un acercamiento al papel que amor y nostalgia cumplen en la poesía de Emilio Prados, así como a su íntimo nexo con la muerte como aniquilación mística. Como herramienta interpetativa, recurriré a la razón poética de María Zambrano, autora profundamente emparentada, vital y teóricamente, con la poesía pradiana. Este enfoque permitirá una visión de conjunto sobre la obra del poeta español y en segundo lugar, trazar una comparativa con el saudosismo de Teixeira de (...) Pascoaes. Así, indicaré las numerosas coincidencias que existen entre ambos y me detendré en la cuestión de la muerte mística, ámbito más problemático, donde sin embargo, puede apreciarse una comunión de espíritu entre el español y el portugués. ****************** [english] Firstly, the text offers an approach to the function of love and nostalgia in the poetry of Emilio Prados, as much as its intimate connection with death as mystical annihilation. As interpretive tool, I will use the poetic reason of María Zambrano, an author deeply linked, vital and theoretically, with pradian poetry. This focus will provide an overall view of Prado's work and the possibility of a comparison with Teixeira de Pascoaes's saudosism. Thus, I will point same coincidences between them and I will consider the question of mystical death. This sphere, although it is problematic, can show some kind of community of spirit between both. (shrink)

Fact-checking agencies assess and score the truthfulness of politicians’ claims to foster their electoral accountability. Fact-checking is sometimes presented as a quasi-scientific activity, based on reproducible verification protocols that would guarantee an unbiased assessment. We will study these verification protocols and discuss under which conditions fact-checking could achieve effective reproducibility. Through an analysis of the methodological norms in verification protocols, we will argue that achieving reproducible fact-checking may not help much in rendering politicians accountable. Political fact-checkers do not deliver either (...) reproducibility or accountability today, and there are reasons to think that traditional quality journalism may serve liberal democracies better. (shrink)

Dynamic Topological Logic ( $\mathcal{DTL}$ ) is a modal framework for reasoning about dynamical systems, that is, pairs 〈X, f〉 where X is a topological space and f: X → X a continuous function. In this paper we consider the case where X is a metric space. We first show that any formula which can be satisfied on an arbitrary dynamic topological system can be satisfied on one based on a metric space; in fact, this space can be taken to (...) be countable and have no isolated points. Since any metric space with these properties is homeomorphic to the set of rational numbers, it follows that any satisfiable formula can be satisfied on a system based on $\mathbb{Q}$ . We then show that the situation changes when considering complete metric spaces, by exhibiting a formula which is not valid in general but is valid on the class of systems based on a complete metric space. While we do not attempt to give a full characterization of the set of valid formulas on this class we do give a relative completeness result; any formula which is satisfiable on a dynamical system based on a complete metric space is also satisfied on one based on the Cantor space. (shrink)

Clinical practices are considered one of the cornerstones in nurses' education. This study provides a framework to determine how factors in the academic environment, influence nursing student's satisfaction with their practices. A cross-sectional analytical study was conducted in a convenience sample of 574 nursing students at a private university in Valencia, during the 2016/2017 academic year, 79% were women. Two statistical methodologies were used for data analysis: hierarchical regression models and fuzzy sets qualitative comparative analysis. The HRM indicate that the (...) students' mean score influences all dimensions of satisfaction. Furthermore, in the fsQCA, the type of service and center, as well as the type of management, the preference in the choice of the practice center and the number of students per period per clinical educator influence satisfaction with clinical practices. These results could be used to understand how academic factors influence nursing students' satisfaction with their clinical practices and to create intervention programmes that improve it. This will help prepare students to be the future nursing workforce. (shrink)