The aim of algebraic logic is to compact series of small steps of general logical inference into larger (in)equational steps. Algebraic structures that have proved very useful in this context are modal semirings and modal Kleene algebras. We show that they can also model knowledge and belief logics as well as games without additional effort; many of the standard logical properties are theorems ...

This paper is a survey on modal logic of multiverses. It summarizes known results by Hamkins, Inamdar, Leibman, and the second author about the modal logics of forcing, grounds, and inner models in a general abstract setting. Most results in this survey come from a series of papers co-authored by the second author [19, 20, 18, 24]. Exceptions are the discussion of spiked Boolean algebras and th...

the present paper sets out to investigate the syntactic category of persian modals, šâyad ‘perhaps’ and bâyad ‘must’. the syntactic category of the two modal elements has been viewed differently by different scholars. a number of scholars argue that both šâyad and bâyad are modal auxiliaries, while others claim that they both are modal adverbs. we propose that šâyad is a modal adverb and bâyad ...

This study deals with an application of the proper orthogonal decomposition (POD) method to a simplified structural dynamic system with local known non-linearities. The POD method is applied to experimental and simulated time-series data, in order to extract modes that efficiently represent the system. The ability of these modes to detect and identify structural non-linear behaviours is then in...

It is the aim of this paper to investigate a suitable approach to compute solutions of the powerful Michaelis-Menten enzyme reaction equation with less computational effort. We obtain analytical-numerical solutions using piecewise finite series by means of the differential transformation method, DTM. In addition, we compute a global analytical solution by a modal series expansion. The Michaelis...

A new finite plane wave series expansion for spherical wave functions of the first kind is presented in this paper. The formulation converts the spherical wave function described in the spherical coordinate system into a series of plane wave functions represented in the Cartesian coordinate system. The series expansion will be very useful in modal analysis of three dimensional guided wave struc...

In this talk I will briefly discuss recent advances in outlier detection, with a focus on distance-based techniques and discuss possible future directions in the context of rank-driven interactive analysis and data-guided explanations and visualizations. Time permitting we will examine such techniques in the context of real world analysis of multi-modal data including time series, graphs, text ...

Respiratory Sinus Arrhythmia has until now been analysed manually by reviewing long time series of heart rate measurements. Patterns are identified in the analysis of the measurements. We propose a design for a classification system of Respiratory Sinus Arrhythmia by time series analysis of heart and respiration measurements. The classification uses Case-Based Reasoning and Rule-Based Reasoning...