Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Thou Shalt is not You Will

In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and contrary-to-duty obligations. The paradox is inspired by real life norms

Hybrid sabotage modal logic

We introduce a new hybrid modal logic HSML for reasoning about sabotage-style graph games with edge deletions and provide a complete Hilbert-style axiomatization. We extend the completeness analysis to protocol models with restrictions on available edge deletions and clarify the connections between HSML-style logics of edge deletions and recent modal logics for stepwise point deletion from graphs

Effective representation of RT-LOTOS terms by finite time petri nets

The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a compositionally defined mapping. The proof of the translation consistency is sketched in the paper and developed in [1]. The RT-LOTOS to TPN translation patterns formalized in the paper are being implemented. in a prototype tool. This enables reusing TPNs verification techniques and tools for the profit of RT-LOTOS

Surface characteristics of phenolic resin coatings

Phenolic resins are commonly used as polymer binders for metal, paper and mineral wool substrates. For such applications, mechanical, adhesive and thermal properties are considered most important, and the effect of synthesis and structural parameters on such end-use characteristics are well-documented. However, surface characteristics of cured phenolic resins can be equally relevant and are often overlooked. Widely used resins are phenol-urea-formaldehyde (PUF) and phenol-formaldehyde (PF). It is believed that the inherent chemistry and curing procedure of these resins result in coatings with distinct surface properties and wettability. To gain more insight into surface characteristics such as morphology, chemical composition and wettability of cured PUF and PF resins, different binder formulations were applied on glass substrates and subsequently characterised by Scanning Electron Microscopy (SEM), Contact Angle Goniometry (CAG) and X-Ray Photoelectron Spectroscopy (XPS). The effect of catalyst, chemical composition and curing conditions on surface characteristics of various PUF and PF coatings were investigated. The curing temperature was found to have a strong influence on surface properties; curing at 200 °C yields a surface with varying degrees of oxidation, differences in linkages between phenolic and urea species, and a lower overall nitrogen content in case of urea-containing coatings, resulting in stronger fluctuations in water-wettability compared to surfaces hardened at lower temperatures.</p

Latent classes of sexual risk and corresponding STI and HIV positivity among MSM attending centres for sexual health in the Netherlands

Objectives: Continuing high STI positivity among men who have sex with men (MSM) attending centres for sexual health (CSH) indicates that high-risk behaviour is ongoing. The objective of this study was to gain a better insight into risk behaviours among MSM attending CSH and to explore STI and HIV positivity by subgroups. Methods: We used national data routinely collected during CSH consultations for this study. From September to December 2017, questions on group sex, substance use and sex with HIV-positive partners were asked at each CSH consultation. We analysed latent classes of client-related factors and sexual risk behaviour among MSM attending CSH in this period. We examined STI positivity and prevalence ratios by latent classes. Results: A total of six classes were identified in order of increasing risk: â € overall low-risk behaviour' (n=2974; 22.0%), â € Western origin and multiple sex partners' (MSP) (n=4182; 30.9%), â € Non-Western origin and MSP' (n=2496; 18.5%), â € living with HIV' (n=827; 6.1%), â € group sex and HIV-positive partners' (n=1798; 13.3%) and â € group sex and chemsex' (n=1239; 9.2%). The any STI positivity ranged from 14.0% in the overall low-risk behaviour class to 35.5% in the group sex and chemsex class. HIV positivity did not differ significantly between classes. The Western origin and MSP class was largest and accounted for the majority of STI and HIV infections. Conclusions: Although STI positivity increased with increased risky behaviours, considerable STI positivity was found in all six latent classes. Comparable HIV positivity between classes indicates risk reduction strategies among subgroups engaged in risky behaviours. The differences in risk behaviour and STI positivity require preventive strategies tailored to each subgroup

Trait–demography relationships underlying small mammal population fluctuations

1.Large-scale fluctuations in abundance are a common feature of small mammal populations and have been the subject of extensive research. These demographic fluctuations are often associated with concurrent changes in the average body mass of individuals, sometimes referred to as the “Chitty effect”. Despite the long-standing recognition of this phenomenon, an empirical investigation of the underlying coupled dynamics of body mass and population growth has been lacking. 2.Using long-term life-history data combined with a trait-based demographic approach, we examined the relationship between body mass and demography in a small mammal population that exhibits non-cyclic, large-scale fluctuations in abundance. We used data from the male segment of a 25-year study of the monogamous prairie vole, Microtus ochrogaster, in Illinois, USA. Specifically, we investigated how trait–demography relationships and trait distributions changed between different phases of population fluctuations, and the consequences of these changes for both trait and population dynamics. 3.We observed phase-specific changes in male adult body mass distribution in this population of prairie voles. Our analyses revealed that these changes were driven by variation in ontogenetic growth, rather than selection acting on the trait. The resulting changes in body mass influenced most life-history processes, and these effects varied among phases of population fluctuation. However, these changes did not propagate to affect the population growth rate due to the small effect of body mass on vital rates, compared to the overall differences in vital rates between phases. The increase phase of the fluctuations was initiated by enhanced survival, particularly of juveniles, and fecundity whereas the decline phase was driven by an overall reduction in fecundity, survival and maturation rates. 4.Our study provides empirical support, as well as a potential mechanism, underlying the observed trait changes accompanying population fluctuations. Body size dynamics and population fluctuations resulted from different life-history processes. Therefore, we conclude that body size dynamics in our population do not drive the observed population dynamics. This more in-depth understanding of different components of small mammal population fluctuations will help us to better identify the mechanistic drivers of this interesting phenomenon