The Modal Logic of Stepwise Removal

We investigate the modal logic of stepwise removal of objects, both for its intrinsic interest as a logic of quantification without replacement, and as a pilot study to better understand the complexity jumps between dynamic epistemic logics of model transformations and logics of freely chosen graph changes that get registered in a growing memory. After introducing this logic ($\textsf{MLSR}$) and its corresponding removal modality, we analyze its expressive power and prove a bisimulation characterization theorem. We then provide a complete Hilbert-style axiomatization for the logic of stepwise removal in a hybrid language enriched with nominals and public announcement operators. Next, we show that model-checking for $\textsf{MLSR}$ is PSPACE-complete, while its satisfiability problem is undecidable. Lastly, we consider an issue of fine-structure: the expressive power gained by adding the stepwise removal modality to fragments of first-order logic

Symbolic Model Checking for Dynamic Epistemic Logic

Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the best available model-checking and SAT techniques in computational logic. We do this by first providing a bridge: a new faithful representation of DEL models as so-called knowledge structures that allow for symbolic model checking. Next, we show that we can now solve well-known benchmark problems in epistemic scenarios much faster than with existing DEL methods. Finally, we show that our method is not just a matter of implementation, but that it raises significant issues about logical representation and update

Dampened Transient Actuation of Hydrogels Autonomously Controlled by pH-Responsive Bicontinuous Nanospheres

The fabrication of a soft actuator with a dampened actuation response is presented. This was achieved via the incorporation into an actuating hydrogel of urease-loaded pH-responsive bicontinuous nanospheres (BCNs), whose membrane was able to regulate the permeability and thus conversion of fuel urea into ammonia. The dampened response of these nanoreactors to the enzymatically induced pH change was translated to a pH-responsive soft actuator. In hydrogels composed of a pH-responsive and nonresponsive layer, the transient pH gradient yielded an asymmetric swelling behavior, which induced a bending response. The transient actuation profile could be controlled by varying the external fuel concentrations. Furthermore, we showed that the spatial organization of the BCNs within the actuator had a great influence on the actuation response. Embedding the urease-loaded nanoreactors within the active, pH-responsive layer resulted in a reduced response due to local substrate conversion in comparison to embedding them within the passive layer of the bilayer hydrogel. Finally, we were able to induce transient actuation in a hydrogel comprising two identical active layers by the immobilization of the BCNs within one specific layer. Upon addition of urea, a local pH gradient was generated, which caused accelerated swelling in the BCN layer and transient bending of the device before the pH gradient was attenuated over time.</p

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

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