606 research outputs found
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
() 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 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
- âŠ