Arbitrary Arrow Update Logic is a dynamic modal logic that uses an arbitrary arrow update modality to quantify over all arrow updates. Some properties of this logic have already been established, but until now it remained an open question whether the logic’s satisfiability problem is decidable. Here, we show that the satisfiability problem of Arbitrary Arrow Update Logic is co-RE hard, and ther...

This paper describes a failed attempt to decompose the fusion of two non-normal modal logics as a composition of iterated nonnormal modalisations. That strategy had already succeeded in the transfer of soundness, completeness and decidability for normal modal logics, but we show here why it fails for the transference of some of these properties in the fusion non-normal modal logics. The possibi...

Up till now, the spatial and temporal dynamics of transverse mode instability (TMI) in fiber laser oscillator have increasingly attracted a worldwide attention. Here, we develop high-speed modal decomposition (MD) system to analyze coupling for above TMI threshold. A set angular-multiplexing transmission functions (TFs) are designed simultaneous MD monitoring far-field beam profile. The thresho...

This paper investigates the dynamics of the engine driveline system for achieving accurate and online diagnostics of engine conditions using instantaneous angular speed (IAS). Based on a state space modelling approach and key structures of the system, a torsional vibration model is developed and its modal properties: modal frequency, damping ratio and shapes are evaluated. Then taking the outpu...

Proteomics is an emerging field that uses many types of proteomic platforms however has few standardized procedures. Deciding which platform to use to perform large-scale proteomic studies is either based on personal preference or on so-called "figures of merit" such as dynamic range, resolution, and the limit of detection; these factors are often insufficient to predict the outcome of the expe...

Measuring the exposome remains a challenge due to the range and number of anthropogenic molecules that are encountered in our daily lives, as well as the complex systemic responses to these exposures. One option for improving the coverage, dynamic range and throughput of measurements is to incorporate ion mobility spectrometry (IMS) into current MS-based analytical methods. The implementation o...

Traditional epistemic logic can be seen as a particular branch of modal logic. Its semantics is defined in terms of Kripke models, and philosophical principles about knowledge (e.g. factivity: Kφ→ φ) are shown to correspond to properties of the epistemic accessibility relation (e.g. reflexivity). By adding another (doxastic) accessibility relation, also belief can be treated in this framework. ...

Ca(2+)/calmodulin-dependent protein kinase II (CaMKII) plays an important role in L-type Ca(2+) channel (LCC) facilitation: the Ca(2+)-dependent augmentation of Ca(2+) current (I(CaL)) exhibited during rapid repeated depolarization. Multiple mechanisms may underlie facilitation, including an increased rate of recovery from Ca(2+)-dependent inactivation and a shift in modal gating distribution f...