Search

The aim of this study was to examine whether peripheral information facilitates proactive processes during multitasking. For this purpose, peripheral information was presented regularly during multitasking and its effects on the performance of a tracking task (main task: reactive process) and a discrimination task (sub-task: proactive process) were examined. Experiment 1 presented peripheral information (white circles) in the same sensory modality (visual) as the information used for multitasking and the number of circle presentations was manipulated. In Experiment 2, a pure tone (auditory) was presented as peripheral information. We found that, in both experiments, the difficulty of the tracking task influenced discrimination performance, showing that as the difficulty of the tracking task (reactive process) increased, more cognitive resources were consumed in the tracking task, resulting in a decrease in cognitive resources available for the discrimination task (proactive process). In addition, regular presentation of peripheral information facilitated discrimination task performance in both experiments. Interestingly, this peripheral information also facilitated the tracking task performance (reactive process) even if the tracking task was difficult. Moreover, this promoting effect of the peripheral information occurred regardless of the sensory modality. This study revealed that processing of peripheral information facilitates the proactive process even if more cognitive resources are consumed, and that this facilitating effect does not conflict with multitasking and provides a margin of cognitive resources and also facilitates the reactive process. Our results provide evidence of how peripheral information and cognitive resources are used during multitasking. [ABSTRACT FROM AUTHOR]

The aim of this paper is to provide a complete Natural Kind Semantics for an Essentialist Theory of Kinds. The theory is formulated in two-sorted first order monadic modal logic with identity. The natural kind semantics is based on Rudolf Willes Theory of Concept Lattices. The semantics is then used to explain several consequences of the theory, including results about the specificity (species–genus) relations between kinds, the definitions of kinds in terms of genera and specific differences and the existence of negative kinds. First, I show under which conditions the Hierarchy principle, which has been subjected to counterexamples in the literature, holds. I also show that a different principle about the species–genus relations between kinds, namely Kant's Law , follows from the essentialist theory. Second, I introduce two new operations for kinds and show that they can be used to provide traditional definitions of kinds in terms of genera and specific differences. Finally, I show that these operations of specific difference induce, for each kind, a uniquely specified contrary kind and a uniquely specified subcontrary kind, which can be used as semantic values for non-classical predicate negations of kind terms. [ABSTRACT FROM AUTHOR]

The present paper attempts to provide an exact truthmaker semantical analysis of modalized propositions. According to the present proposal, an exact truthmaker for "Necessarily P" is a state that bans every exact truthmaker for "Not P", and an exact truthmaker for "Possibly P" is a state that allows an exact truthmaker for P. Based on this proposal, a formal semantics will be developed; and the soundness and completeness results for a well-known family of the systems of normal modal propositional logic will be established. It shall be seen that the present analysis offers an exactification of the standard Kripke semantics in the sense that it analyzes the accessibility relation between possible worlds in terms of the banning and allowing relations between the constituent states, and thereby gives an account of "truth at a possible world" in terms of exact truthmaking. [ABSTRACT FROM AUTHOR]

We present a logic of evidence that reduces agents' epistemic idealisations by combining classical propositional logic with substructural modal logic for formulas in the scope of epistemic modalities. To this aim, we provide a neighborhood semantics of evidence, which provides a modal extension of Fine's semantics for relevant propositional logic. Possible worlds semantics for classical propositional logic is then obtained by defining the set of possible worlds as a special subset of information states in Fine's semantics. Finally, we prove that evidence is a hyperintensional and non-prime notion in our logic, and provide a sound and complete axiomatisation of our evidence logic. [ABSTRACT FROM AUTHOR]

Lewis (The Journal of Philosophy, 65(5), 113–126, 1968) attempts to provide an account of modal talk in terms of the resources of counterpart theory, a first-order theory that eschews transworld identity. First, a regimentation of natural language modal claims into sentences of a formal first-order modal language L is assumed. Second, a translation scheme from L-sentences to sentences of the language of the theory is provided. According to Hazen (The Journal of Philosophy, 76(6), 319–338, 1979) and Fara & Williamson (Mind, 114(453), 1–30, 2005), the account cannot handle certain natural language modal claims involving a notion of actuality. The challenge has two parts. First, in order to handle such claims, the initial formal modal language that natural language modal claims are regimented into must extend L with something like an actuality operator. Second, certain ways that Lewis' translation scheme for L might be extended to accommodate an actuality operator are unacceptable. Meyer (Mind, 122(485), 27–42, 2013) attempts to defend Lewis' approach. First, Meyer holds that in order to handle such claims, the formal modal language L ∗ that we initially regiment our natural language claims into need not contain an actuality operator. Instead, we can make do with other resources. Next, Meyer provides an alternative translation scheme from L ∗ -sentences to sentences of an enriched language of counterpart theory. Unfortunately, Meyer's approach fails to provide an appropriate counterpart theoretic account of natural language modal claims. In this paper, I demonstrate that failure. [ABSTRACT FROM AUTHOR]

Objective To achieve the classification of Alzheimer's disease (AD) by integrating information that utilize the complementary properties of multimodal data, and to provide references for clinical diagnosis. Methods A total of 872 subjects were obtained from the Alzheimer's Disease Neuroimaging Initiative (ADNI), with both clinical information, structural magnetic resonance imaging (sMRI) and functional magnetic resonance imaging (fMRI) scans. They were divided into the training set (612 subjects) and test set (260 subjects). Based on three unimodal data and four multimodal combinations of different modalities, we constructed the sparse Partial Least Squares-Discriminant Analysis (sPLS-DA) classification models in the training set to achieve the multi-classification. The macro-averaged precision (Macro-P), macro-averaged recall (Macro-R), macro-averaged Fl value (Macro-F1), and accuracy were used to evaluate the model performance, with the optimal combination of modalities obtained explored for their applicability in the test set. Results The classification performance of clinical information (Macro-P = 0.781 8, Macro-R = 0.804 6, Macro-Fl = 0.791 2, Accuracy = 0.796 7) among the unimodal information was better than that of sMRI and fMRI modalities. The optimal number of potential components was 1, and the number of clinical information features was 9. Among the four multimodal combinations, the clinical information + fMRI combination had the strongest classification ability (Macro-P = 0.806 2, Macro-R = 0.800 6, Macro-FI = 0.797 6, Accuracy = 0.813 2), with the optimal number of potential components selected as 1, and the number of features were 5, while the sMRI + fMRI had the worst classification ability (Macro-P = 0.401 7, Macro-R = 0.398 3, Macro-F1 = 0.349 9, Accuracy = 0.565 9). Applying the best modal combination to the test set, the model performance metrics achieved were 0.791 8 for Macro-P, 0.734 5 for Macro-R, 0.758 4 for Macro-F1, and 0.766 4 (0.646 0, 0.846 5) for Accuracy. Conclusion The performance of the sPLS-DA classification model constructed based on each multimodal combination was higher than that of the unimodal, among which the combination of clinical information + fMRI modality had the best performance, which couldgreatly facilitate the formulation of scientific and reasonable clinical diagnosis plans. [ABSTRACT FROM AUTHOR]

Multi-modal attention learning in video question answering (VideoQA) is a challenging task, as it requires consideration of information recognition within modalities and information interaction and fusion between modalities. Existing methods employs the cross-attention mechanism to compute feature similarity between modalities, thereby aggregating relevant information in a shared space. However, heterogeneous features have different distributions in the shared space, making it difficult to directly match semantics, which may affect similarity calculation. To address this issue, a novel enhanced cross-modal attention mechanism (ECAM) is proposed in this paper that pre-fuses two modalities to generate an enhanced key with feature importance distributions to effectively solve the semantic mismatch. Compared with the existing cross-attention mechanism, ECAM can realize the semantic matching between multiple modalities more accurately and pay more attention to the relevant feature regions. In the multi-modal fusion phase, a two-stage fusion strategy is proposed to exploit the advantages of the two fusion methods to deeply explore the complex and diverse dependency relationships between the multi-modal features. Collectively supported by these two newly designed modules, we proposed the VideoQA solution based on two-stage deep exploration of temporally-evolving features with enhanced cross-modal attention mechanism which is able to conquer challenging semantic understanding and question answering tasks. Extensive experiments on four VideoQA datasets show that the new approach attains superior results in comparison with state-of-the-art peer methods. Moreover, experiments on the latest joint task datasets prove that ECAM is a general mechanism that can be easily adapted to solve other visual-linguistic tasks. [ABSTRACT FROM AUTHOR]

We tested the validity of the state space correspondence (SSC) strategy based on k-nearest neighbor cross-predictability (KNNCP) to assess the directionality of coupling in stochastic nonlinear bivariate autoregressive (NBAR) processes. The approach was applied to assess closed-loop cardiorespiratory interactions between heart period (HP) variability and respiration (R) during a controlled respiration (CR) protocol in 19 healthy humans (aged from 27 to 35 yrs, 11 females) and during active standing (STAND) in 25 athletes (aged from 20 to 40 yrs, all men) and 25 non-athletes (aged from 20 to 40 yrs, all men). Over simulated NBAR processes, we found that (i) the SSC approach can detect the correct causal relationship as the direction leads to better KNNCP from the past of the driver to the future state of the target and (ii) simulations suggest that the ability of the method is preserved in any condition of complexity of the interacting series. Over CR and STAND protocols, we found that (a) slowing the breathing rate increases the strength of the causal relationship in both temporal directions in a balanced modality; (b) STAND is more powerful in modulating the coupling strength on the pathway from HP to R; (c) regardless of protocol and experimental condition, the strength of the link from HP to R is stronger than that from R to HP; (d) significant causal relationships in both temporal directions are found regardless of the level of complexity of HP variability and R. The SSC strategy is useful to disentangle closed-loop cardiorespiratory interactions. [ABSTRACT FROM AUTHOR]

In this paper, we propose a novel approach to solving theorem proving problems without relying on any deduction method. We transform logical formulas into numbers, vectors and matrices, and feed the corresponding data into various machine learning algorithms to predict their satisfiability. Here, we introduce ProverX, a novel theorem prover that utilizes various binary classification algorithms, ranging from traditional machine learning to deep learning, to tackle the satisfiability (SAT) problem of propositional logic. Empirical experiments were conducted to evaluate the performance of ProverX using datasets we generated. ProverX achieved accuracy rates ranging from 81.8% to 98.7%, demonstrating a remarkable speedup of almost 180 times compared to CTL-RP, a highly efficient prover. These results demonstrate the feasibility of replacing deduction with learning in theorem proving, opening promising avenues for further exploration in more complex logics, e.g., Modal Logic, Coalition Logic, Propositional Linear-Time Temporal Logic, Computation Tree Logic, etc., provided that their resolution methods exist. We also present a detailed analysis of the best-performing machine learning approaches for this task and introduce a new algorithm, IPDA, which has the potential to further enhance performance. [ABSTRACT FROM AUTHOR]

This study investigates the prophetic tradition in Islam, which states that the fabric of time will become erratic with the coming of the Antichrist. The temporal ontology of one of the most influential philosophical thinkers in the Islamic tradition, Muḥyī al-Dīn ibn 'Arabī (d. 638/1240), is employed to decode the tradition and expatiate on the nature of time and how it will manifest in the apocalyptic future. Ibn 'Arabī explains that there are three modalities of temporal reality: 'the day of rest' (yawm al-sabt), 'the omitted days' (ayyām al-salkh), and the 'rotary days' (ayyām al-takwīr). While the first is entirely beyond human perception, the others are not. These three types of days delineate the nature of the future during the apocalyptic days of the Antichrist when the first day of his emergence will be the length of a year, the second a month, and the third a week. [ABSTRACT FROM AUTHOR]

The inaugural project of German Critical theory was to break away from the cult of facts in order to investigate the real possibilities of the present. Part of sociology has also made the possible and the relationship to the possible its central object. Such a task has met with a considerable effort on the part of government agencies to pre-empt the legitimate definition of what is possible. The social sciences were mobilised to this end. We offer a schematic account of these efforts in order to situate the extent to which the definition of possible futures is an issue of struggle in which Critical theory and sociology have a role to play. The article examines the question of the future through its close link to the category of the possible, at two levels that are often treated separately: at the level of the problem of 'governmentality' and its close link to the question of forecasting and probability; and at the level of the 'regimes of historicity' from which to consider the possible with a view to collectively reappropriating the determination of the future. [ABSTRACT FROM AUTHOR]

In this paper, I examine Ruth Barcan Marcus's early formal work on modal systems and the deduction theorem, both for the material and the strict conditional. Marcus proved that the deduction theorem for the material conditional does not hold for system S2 but holds for S4. This last result is at odds with the recent claim that without proper restrictions the deduction theorem fails also for S4. I explain where the contrast stems from. For the strict conditional, Marcus proved the deduction theorem for S4 though restricted to arguments with necessary premises. I discuss Marcus's result and analyze her philosophical position on the significance of the deduction theorem for modal systems designed to express the notion of deducibility. [ABSTRACT FROM AUTHOR]

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman's approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. [ABSTRACT FROM AUTHOR]

Minimal expressions are at the heart of interaction: Interjections like "Huh?" and "Mhm" keep conversations flowing by establishing and reinforcing intersubjectivity among interlocutors. Crosslinguistic research has identified that similar interactional pressures can yield structurally similar words (e.g. to initiate repair across languages). While crosslinguistic comparisons that include signed languages remain uncommon, recent work has revealed similarities in discourse management strategies among signers and speakers that share much of their cultural background. This study contributes a crossmodal comparison of repair initiators and continuers in speakers of English and signers of British Sign Language (BSL). We combine qualitative and quantitative analyses of data from sixteen English speakers and sixteen BSL signers, resulting in the following: First, the interactional infrastructure drawn upon by speakers and signers overwhelmingly relies on behaviors of the head, face, and body; these are used alone or sometimes in combination with verbal elements (i.e. spoken words or manual signs), while verbal strategies alone are rare. Second, discourse management strategies are remarkably similar in form across the two languages: A held eye gaze or freeze-look is the predominant repair initiator and head nodding the main continuer. These results suggest a modality-agnostic preference for visual strategies that do not occupy the primary articulators, one that we propose is founded in recipiency; people maintain the flow of communication following principles of minimal effort and minimal interruption. [ABSTRACT FROM AUTHOR]

Modal logic S5, which isan important knowledge representation and reasoning paradigm, has been successfully applied in various artificial-intelligence-related domains. Similar to the random propositional theories in conjunctive clause form, the phase transition plays an important role in designing efficient algorithms for computing models of propositional S5 theories. In this paper, a new form of S5 formula is proposed, which fixes the number of modal operators and literals in the clauses of the formula. This form consists of reduced 3-3-S5 clauses of the form l 1 ∨ l 2 ∨ ξ , where ξ takes the form □ (l 3 ∨ l 4 ∨ l 5 ), ◊ (l 3 ∧ l 4 ∧ l 5) , or a propositional literal, and l i (1 ≤ i ≤ 5) is a classical literal. Moreover, it is demonstrated that any S5 formula can be translated into a set of reduced 3-3-S5 clauses while preserving its satisfiability. This work further investigates the probability of a random 3-c-S5 formula with c = 1 , 2 , 3 being satisfied by random assignment. In particular, we show that the satisfiability threshold of random 3-1-S5 clauses is − ln 2 (1 − P d − P s) ln 7 8 + P s · ln 3 4 , where P s and P d denote the probabilities of different modal operators appearing in a clause. Preliminary experimental results on random 3-1-S5 formulas confirm this theoretical threshold. [ABSTRACT FROM AUTHOR]

Schools abruptly ended face-to-face instruction in March 2020 and transitioned to emergency remote teaching due to the COVID-19 pandemic. We surveyed teachers across the United States between March and April 2020 to understand their experiences during this time in our history (n = 249). Linear regression analysis was used to examine relationships that existed between teacher-level, school-level, and learning modality-related variables and teacher self-efficacy. Teachers in Title 1 schools reported lower levels of efficacy. Elementary teachers, as well as those that initially relied on instructional packets during the transition to remote instruction reported significantly lower levels of efficacy for classroom management. [ABSTRACT FROM AUTHOR]

Given the unprecedented events unfolding around the globe over the past four years, psychoanalytic communities near and far have sought to ask and ventured to answer the question: What does psychoanalysis have to offer individuals, and the collective, as a way of seeing and being with the reality of what is? Taking up these questions in such a time as this, feels, perhaps inevitably, unsafe. Sometimes it can feel as if there is a silent and unspoken mandate to ensure safety at all costs when we seek to find a spirit of the depth's response to the spirit of the times. I propose that the work of psychoanalysis is grounded in nothing but the journey through that which is unsafe. This article will take up Ann Ulanov's notion that one's own evil is the hinge door into collective and archetypal evil. To become unhinged means to risk well‐formulated understandings, theories, and modalities about being and becoming for the other and instead to allow the other to penetrate that which is unknown in ourselves, upending our well‐formed theories and pressing us to take up our own lives in new and unpredictable ways. [ABSTRACT FROM AUTHOR]

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according to which α 1 , ... , α n entails β just in case □ α 1 , ... , □ α n entails □ β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. [ABSTRACT FROM AUTHOR]

With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a model checking algorithm. [ABSTRACT FROM AUTHOR]

While knowledge of mere possibilities is difficult to understand, knowledge of possibilities that are actual seems unproblematic (as far as we know the actual world). The principle that what is actual is possible has been near-universally accepted. After summarizing some sporadic dissent, I present a proposal for how the validity of the principle might be restricted. While the principle certainly holds for sufficiently inclusive objective and epistemic possibilities, it may not hold when the accessibility of possibilities is contextually restricted. [ABSTRACT FROM AUTHOR]

The aim of this paper is to study a particular family of non-deterministic semantics for modal logics that has eight truth-values. These eight-valued semantics can be traced back to Omori and Skurt (2016), where a particular member of this family was used to characterize the normal modal logic K. The truth-values in these semantics convey information about a proposition's truth/falsity, whether the proposition is necessary/not necessary, and whether it is possible/not possible. Each of these triples is represented by a unique value. In this paper we will study which modal logics can be obtained by changing the interpretation of the □ modality, assuming that the interpretation of other connectives stays constant. We will show what axioms are responsible for a particular interpretations of □ . Furthermore, we will study subsets of these axioms. We show that some of the combinations of the axioms are equivalent to well-known modal axioms. We apply the level-valuation technique to all of the systems to regain the closure under the rule of necessitation. We also point out that some of the resulting logics are not sublogics of S5 and comment briefly on the corresponding frame conditions that are forced by these axioms. Ultimately, we sketch a proof of meta-completeness for all of these systems. [ABSTRACT FROM AUTHOR]

An algebraic characterisation is given of the Mares-Goldblatt semantics for quantified extensions of relevant and modal logics. Some features of this more general semantic framework are investigated, and the relations to some recent work in algebraic semantics for quantified extensions of non-classical logics are considered. [ABSTRACT FROM AUTHOR]

The influence of Heinrich Hertz's The Principles of Mechanics on Ludwig Wittgenstein's Tractatus Logico‐Philosophicus has been studied for decades, but it has never become a mainstream topic in the Wittgensteinian literature. This paper focusses on Tractarian notions of objects, elementary facts and elementary sentences and discusses their similarities with Hertz's concepts of mass, its constituents and their mechanistic images. As the paper demonstrates, the Hertzian context provides some fruitful interpretational leads concerning several controversial ideas endorsed by early Wittgenstein, namely propositional analysis, logical independence of elementary facts, logical independence of elementary sentences, and modalities. [ABSTRACT FROM AUTHOR]

We take a fresh look at Wigner’s Friend thought-experiment and some of its more recent variants and extensions, such as the Frauchiger-Renner (FR) Paradox. We discuss various solutions proposed in the literature, focusing on a few questions: What is the correct epistemic interpretation of the multiplicity of state assignments in these scenarios? Under which conditions can one include classical observers into the quantum state descriptions, in a way that is still compatible with traditional Quantum Mechanics? Under which conditions can one system be admitted as an additional ‘observer’ from the perspective of another background observer? When can the standard axioms of multi-agent Epistemic Logic (that allow “knowledge transfer” between agents) be applied to quantum-physical observers? In the last part of the paper, we propose a new answer to these questions, sketch a particular formal implementation of this answer, and apply it to obtain a principled solution to Wigner Friend-type paradoxes. [ABSTRACT FROM AUTHOR]

Dung's abstract argumentation framework is a popular formalism in formal argumentation. The present work develops paraconsistent labeling semantics for abstract argumentation such that the incomplete and inconsistent information can be expressed, and it introduces a Hilbert-style axiomatic system which is proven to be sound and complete. Additionally, we make a comparison between the logic developed in the present work and some relevant theories of abstract argumentation. [ABSTRACT FROM AUTHOR]

Athletes need to achieve their optimal level of arousal for peak performance. Visualization or mental rehearsal (i.e., Imagery) often helps to obtain an appropriate level of activation, which can be detected by monitoring Skin Conductance Level (SCL). However, different types of imagery could elicit different amount of physiological arousal. Therefore, this study aims: (1) to investigate differences in SCL associated with two instructional modalities of imagery (guided vs. self-produced) and six different scripts; (2) to check if SCL could differentiate respondents according to their sport expertise. Thirty participants, aged between 14 and 42 years (M = 22.93; SD = 5.24), with different sport levels took part in the study. Participants listened to each previously recorded script and then were asked to imagine the scene for a minute. During the task, SCL was monitored. We analysed the mean value, variance, slope and number of fluctuations per minute of the electrodermal signal. Unsupervised machine learning models were used for measuring the resemblance of the signal. The Wilcoxon signed-rank test was used for distinguishing guided and self-produced imagery, and The Mann–Whitney U test was used for distinguishing results of different level athletes. We discovered that among others, self-produced imagery generates lower SCL, higher variance, and a higher number of fluctuations compared to guided imagery. Moreover, we found similarities of the SCL signal among the groups of athletes (i.e. expertise level). From a practical point of view, our findings suggest that different imagery instructional modalities can be implemented for specific purposes of mental preparation. [ABSTRACT FROM AUTHOR]

Objective: We propose and assess galvanic vestibular stimulation (GVS) as a novel means to provide information dissociated from self-orientation. Background: In modern user interfaces, visual and auditory modalities dominate information transfer so much that these "processing channels" become overloaded with information. Fortunately, the brain is capable of processing separate sensory sources in parallel enabling alternative display modalities to inform operators more effectively and without increasing cognitive strain. To date, the vestibular system, normally responsible for sensing self-orientation and helping with balance, has not been considered as a display modality. Method: Bilateral GVS was provided at 0.6 mA for 1-second intervals with moderately high-frequency sinusoidal waveforms, designed to not elicit sensations of self-motion. We assessed subjects' ability to differentiate between two cues of different frequencies. Results: We found subjects were able to reliably distinguish between cues with an average just-noticeable difference threshold of only ±12 Hz (range across subjects: 5.4–19.6 Hz) relative to a pedestal cue of 50 Hz. Further, we found the GVS sensory modality to be robust to various environments: walking, standing, sitting, passive motion, and loud background noise. Finally, the application of the GVS cues did not have significant destabilizing effects when standing or walking. Conclusion: These results show that GVS may be an effective alternative display modality, using varying frequency to encode information. It is robust to various operational environments and non-destabilizing. Application: A fully functional display can convey information to operators of vehicles and other machinery as well as high-performance operators like astronauts and soldiers. [ABSTRACT FROM AUTHOR]

We extend the languages of both basic and graded modal logic with the infinity diamond, a modality that expresses the existence of infinitely many successors having a certain property. In both cases we define a natural notion of bisimilarity for the resulting formalisms, that we dub $\mathtt {ML}^{\infty }$ and $\mathtt {GML}^{\infty }$ , respectively. We then characterise these logics as the bisimulation-invariant fragments of the naturally corresponding predicate logic, viz., the extension of first-order logic with the infinity quantifier. Furthermore, for both $\mathtt {ML}^{\infty }$ and $\mathtt {GML}^{\infty }$ we provide a sound and complete axiomatisation for the set of formulas that are valid in every Kripke frame, we prove a small model property with respect to a widened class of weighted models, and we establish decidability of the satisfiability problem. [ABSTRACT FROM AUTHOR]

In topological modal logic, it is well known that the Cantor derivative is more expressive than the topological closure, and the 'elsewhere', or 'difference', operator is more expressive than the 'somewhere' operator. In 2014, Kudinov and Shehtman asked whether the combination of closure and elsewhere becomes strictly more expressive when adding the Cantor derivative. In this paper we give an affirmative answer: in fact, the Cantor derivative alone can define properties of topological spaces not expressible with closure and elsewhere. To prove this, we develop a novel theory of morphisms which preserve formulas with the elsewhere operator. [ABSTRACT FROM AUTHOR]

Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special translation functions between discussive and modal languages, and supporting at the same time the tradition of paracomplete logics being the counterpart of paraconsistent ones, we present a paracomplete discussive logic D2p. [ABSTRACT FROM AUTHOR]

A many-valued modal logic, called linear abelian modal logic LK(A) is introduced as an extension of the abelian modal logic K(A). Abelian modal logic K(A) is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic LK(A) is axiomatized by extending K(A) with the modal axiom schemas □(φ ∨ ψ) → (□φ ∨ □ψ) and (□φ ∧ □ψ) → □(φ ∧ ψ). Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and axiomatization is investigated. [ABSTRACT FROM AUTHOR]

This paper builds upon the discussions on how a city may become a flexible resource for organizing everyday lives, with the homeless not only grasping various opportunities that come their way but also positively impacting urban modalities. By understanding the reasons behind why people adopt such an option, the findings can help policy makers develop policy in an informed manner. There are also theoretical implications as there is minimal research in this area. The analysis has been done through documenting spaces accessed by the homeless, the characteristics of these places, the livelihood associations and the administrative responses towards them. [ABSTRACT FROM AUTHOR]

A large volume of research on individually navigating ants has shown how path integration and visually guided navigation form a major part of the ant navigation toolkit for many species and are sufficient mechanisms for successful navigation. One of the behavioural markers of the interaction of these mechanisms is that experienced foragers develop idiosyncratic routes that require that individual ants have personal and unique visual memories that they use to guide habitual routes between the nest and feeding sites. The majority of ants, however, inhabit complex cluttered environments and social pheromone trails are often part of the collective recruitment, organisation and navigation of these foragers. We do not know how individual navigation interacts with collective behaviour along shared trails in complex natural environments. We thus asked here if wood ants that forage through densely cluttered woodlands where they travel along shared trails repeatedly follow the same routes or if they choose a spread of paths within the shared trail. We recorded three long homing trajectories of 20 individual wood ants in their natural woodland habitat. We found that wood ants follow idiosyncratic routes when navigating along shared trails through highly complex visual landscapes. This shows that ants rely on individual memories for habitual route guidance even in cluttered environments when chemical trail information is available. We argue that visual cues are likely to be the dominant sensory modality for the idiosyncratic routes. These experiments shed new light on how ants, or insects in general, navigate through complex multimodal environments. [ABSTRACT FROM AUTHOR]

In this paper, we produce an extension of Englebretsen's line diagrams in order to represent modal syllogistic, i.e., we add some diagrammatic objects and rules to his system in order to reason about modal syllogistics in a diagrammatic, linear fashion. [ABSTRACT FROM AUTHOR]

This study was designed to distinguish the degree of sharing of representations between different modalities by investigating whether a word encountering experience in one modality impacts word processing in another modality. In three experiments, participants experienced some words frequently in the auditory modality (Experiment 1, sample size 30, mean age 23.4, 56.7% female, all participants were native Chinese speakers) or visual modality (Experiment 2, sample size 30, mean age 22.4 years, 63.3% female, all participants were native Chinese speakers) in the training session, and were tested whether the word encountering experience impacts the results of Chinese word segmentation in the visual modality in the test session. In Experiment 3 (sample size 30, mean age 24.6 years, 76.7% female, all participants were native Chinese speakers), we used a within-subjects design, in which each participant received both auditory and visual training tasks. The results of the three experiments showed that encountering a word frequently in a short period of time in the auditory modality or visual modality can affect word segmentation in Chinese reading, with a recently experienced word being more likely to be segmented as a word. This effect was long-lasting, as it could still be observed after 7 days. The results suggest that the effect of a word encountering experience in listening can be transferred to reading. Thus, word encountering experiences should be stored at a location in the mind that is used for both listening and reading. [ABSTRACT FROM AUTHOR]

We consider products of modal logics in topological semantics and prove that the topological product of S4.1 and S4 is the fusion of logics S4.1 and S4 plus one extra asiom. This is an example of a topological product of logics that is greater than the fusion but less than the semiproduct of the corresponding logics. We also show that this product is decidable. [ABSTRACT FROM AUTHOR]

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the 'width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the 'Leibniz biconditionals' stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. [ABSTRACT FROM AUTHOR]

Objective. Due to non-invasive imaging and the multimodality of magnetic resonance imaging (MRI) images, MRI-based multi-modal brain tumor segmentation (MBTS) studies have attracted more and more attention in recent years. With the great success of convolutional neural networks in various computer vision tasks, lots of MBTS models have been proposed to address the technical challenges of MBTS. However, the problem of limited data collection usually exists in MBTS tasks, making existing studies typically have difficulty in fully exploring the multi-modal MRI images to mine complementary information among different modalities. Approach. We propose a novel quaternion mutual learning strategy (QMLS), which consists of a voxel-wise lesion knowledge mutual learning mechanism (VLKML mechanism) and a quaternion multi-modal feature learning module (QMFL module). Specifically, the VLKML mechanism allows the networks to converge to a robust minimum so that aggressive data augmentation techniques can be applied to expand the limited data fully. In particular, the quaternion-valued QMFL module treats different modalities as components of quaternions to sufficiently learn complementary information among different modalities on the hypercomplex domain while significantly reducing the number of parameters by about 75%. Main results. Extensive experiments on the dataset BraTS 2020 and BraTS 2019 indicate that QMLS achieves superior results to current popular methods with less computational cost. Significance. We propose a novel algorithm for brain tumor segmentation task that achieves better performance with fewer parameters, which helps the clinical application of automatic brain tumor segmentation. [ABSTRACT FROM AUTHOR]

"Information Literacy is empire," so goes this piece that reflects on the past and present to consider a future of IL as a learning paradigm and pedagogical framework. In sketching out the temporo-spatial and socio-cultural dimensions and consequences of IL, we critically interrogate its normative and disciplinary aspects while positioning and examining it as a product and project of empire. Following from such a premise, we detour through an exploratory meandering of alternative lenses and paths for IL that engage with and support the information worlds and knowledge systems of marginalised communities that have been subjected to epistemological violence through various interlocking logics of dispossession, domination, commodification, and control. This piece, which is really an invitation that is also a story--a groove, moving off vibrations of theories and concepts from critical library and information studies, decolonial imaginaries, fugitivity, and abolitionist modalities gestures towards a decolonial and liberatory vision of IL that is plural, expansive, speculative, collective, improvisational, and oriented towards the liberation and freedom of all beings. [ABSTRACT FROM AUTHOR]

Can an emoji be a lie? Recent research has emphasized the importance of commitment in theories of lying, proposing that a speaker will only have lied if they are committed to the false content in their utterance. Similar research has proposed expanding the possibilities of the modalities of lying, suggesting a message-sender can lie if they send false pictorial content, so long as they are committed to that content. This study utilizes two experiments to explore the relationship between emoji, commitment, and lying. Experiment 1 finds that speakers can be committed to emoji meanings, but not necessarily for every emoji; emoji with widely-acknowledged, salient meanings constitute significantly higher commitment than emoji with less meaning agreement. Experiment 2 similarly finds that an emoji can be a lie, dependent upon the extent to which the speaker is committed to the emoji's meaning. Can an emoji be a lie? The links between emoji meaning, commitment, and lying • Speakers can be committed to emoji that they send. • Attributed commitment depends on the extent to which the emoji has an agreed-upon, salient meaning. • An emoji can be a lie, provided other conditions of lying are met. • Lie ratings depend on the extent to which the speaker is committed to the emoji's meaning. [ABSTRACT FROM AUTHOR]

It is unclear to what extent natural differences between reading and listening result in differences in the syntactic representations formed in each modality. The present study investigated the occurrence of syntactic priming bidirectionally from reading to listening, and vice versa to examine whether reading and listening share the same syntactic representations in both first language (L1) and second language (L2). Participants performed a lexical decision task in which the experimental words were embedded in sentences with either an ambiguous or a familiar structure. These structures were alternated to produce a priming effect. The modality was manipulated whereby participants (a) first read part of the sentence list and then listened to the rest of the list (reading-listening group), or (b) listened and then read (listening-reading group). In addition, the study involved two within-modality lists in which participants either read or listened to the whole list. The L1 group showed within-modal priming in both listening and reading as well as a cross-modal priming effect. Although L2 speakers showed priming in reading, the effect was absent in listening and weak in the listening-reading condition. The absence of priming in L2 listening was attributed to difficulties in L2 listening rather than to an inability to produce abstract priming. [ABSTRACT FROM AUTHOR]

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they do 'property essentialists'; those who do not, 'property anti-essentialists,' or 'quidditists.' We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and 'received view' counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. [ABSTRACT FROM AUTHOR]

We study unification and admissibility for an infinite class of modal logics. Conditions superimposed to these logics are to be decidable, Kripke complete, and generated by the classes of rooted frames possessing the greatest clusters of states (in particular, these logics extend modal logic S4.2). Given such logic and each formula unifiable in , we construct a unifier for in , where verifies admissibility in of arbitrary inference rules with a switched-modality conclusions (i.e., solves the admissibility problem for such rules). [ABSTRACT FROM AUTHOR]

We study admissible rules for the extensions of the modal logics S4 and GL with the weak co-covering property and describe some explicit independent basis for the admissible rules of these logics. The resulting basis consists of an infinite sequence of rules in compact and simple form. [ABSTRACT FROM AUTHOR]

The sub‐title of this essay refers to Antonio Gramsci's concept of "prevision"—understood as neither foresight nor prediction, but a method of political work that enables intervention in the present in order to change it. Prevision forms part of conjunctural analysis, which remains powerfully salient and urgent in our own time. Over the past decade attention to conjunctural analysis has surged across a number of disciplines. Yet some distinctly different modalities of conjunctural analysis are at play in this burgeoning work. The first two sections of this essay offer close readings of the conjunctural analyses of Gramsci and Stuart Hall; their respective relationships to the work of Louis Althusser; and the political work that conjunctural analysis was doing for each of them in relation to fascism and Thatcherism. Building on but moving beyond these analyses, the third section focuses on what it might mean to "globalise" conjunctural analysis in relation to the urgent challenges of the current conjuncture, in a way that sheds light on articulations of racist, gendered, sexualised, and other exclusionary and oppressive forms of difference in relation to class and capitalism. [ABSTRACT FROM AUTHOR]

Hume's claim that we project necessity onto objects we take to be causally related has been influential in contemporary discussions of modality, inspiring deflationary accounts of our modal commitments. Hume is commonly understood as holding that modal projection explains our judging that an effect must follow its cause. This misunderstands the role of projection in Hume's discussions of causation and causal judgement. Projection is a diagnosis of a distinctively philosophical confusion: the commitment to mind-independent necessary connections. In arguing for this, I provide an account of the psychological process that, in Hume's view, underlies projection. This account resolves problems with Hume's projectivism identified by his commentators. [ABSTRACT FROM AUTHOR]

Autonomous behaviors may raise ethical issues that agents must consider in their reasoning. Some approaches use deontic logics, while others consider a value-based argumentation framework. However, no work combines both modal logic and argumentation to reason about ethics. Hence, we propose a new argumentation framework where arguments are built from a n-ary multi-modal logic. It allows to express different kinds of operators, e.g. nullary choice or moral worth operators, dyadic deontic operators or mental states. However the standard attacks based on logical contradictions are no longer sufficient to catch an intuitive meaning for attacks. Hence, we enrich standard attacks by characterizing how oppositions between modal operators arise. Furthermore we show the standard logic-based attacks have a quasi-symmetry property, i.e. when an argument attacks another, this argument is necessarily attacked by another one. Our modal attacks do not have this property, which is highly relevant to decide a dilemma. [ABSTRACT FROM AUTHOR]

This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K , the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with respect to the standard Kripkean semantics (a new proof of Dugundji's theorem is a case in point) and it raises the prospect of a proof-theoretic semantics for modal logic. [ABSTRACT FROM AUTHOR]