Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate lógics and Kripke-type frames for intuitionistic modal propositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given.

Modal counterparts of intermediate predicate logics will be studied by means of algebraic devise. Our main tool will be a construction of algebraic semantics for modal logics from algebraic frames for predicate logics. Uncountably many examples of modal counterparts of intermediate predicate logics will be given.

Some properties of Kripke-sheaf semantics for super-intuitionistic predicate logics are shown. The concept ofp-morphisms between Kripke sheaves is introduced. It is shown that if there exists ap-morphism from a Kripke sheaf 1 into 2 then the logic characterized by 1 is contained in the logic characterized by 2. Examples of Kripke-sheaf complete and finitely axiomatizable super-intuitionistic (and intermediate) predicate logics each of which is Kripke-frame incomplete are given. A correction to the author's previous paper Kripke bundles for intermediate predicate logics (...) and Kripke frames for intuitionistic modal logics (Studia Logica, 49(1990), pp. 289–306 ) is stated. (shrink)

In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic (...) Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic. (shrink)

Wajsberg and Jankov provided us with methods of constructing a continuum of logics. However, their methods are not suitable for super-intuitionistic and modal predicate logics. The aim of this paper is to present simple ways of modification of their methods appropriate for such logics. We give some concrete applications as generic examples. Among others, we show that there is a continuum of logics (1) between the intuitionistic predicate logic and the logic of constant domains, (2) between a predicate extension ofS4 (...) andS4 with the Barcan formula. Furthermore, we prove that (3) there is a continuum of predicate logics with equality whose equality-free fragment is just the intuitionistic predicate logic. (shrink)

We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the Z-normality, which is a weak variant of the disjunction property. These weak variants were presented in the author’s previous paper [16]. In the present paper, the Kripke sheaf semantics is used.

One criterion of constructive logics is the disjunction, property (DP). The Halldén-completeness is a weak DP, and is related to the relevance principle and variable separation. This concept is well-understood in the case of propositional logics. We extend this notion to predicate logics. Then three counterparts naturally arise. We discuss relationships between these properties and meet-irreducibility in the lattice of logics.

One criterion of constructive logics is the disjunction, property (DP). The Halldén-completeness is a weak DP, and is related to the relevance principle and variable separation. This concept is well-understood in the case of propositional logics. We extend this notion to predicate logics. Then three counterparts naturally arise. We discuss relationships between these properties and meet-irreducibility in the lattice of logics.

A possible world structure consist of a set W of possible worlds and an accessibility relation R. We take a partial function r(·,·) to the unit interval [0, 1] instead of R and obtain a Kripke frame with graded accessibility r Intuitively, r(x, y) can be regarded as the reliability factor of y from x We deal with multimodal logics corresponding to Kripke frames with graded accessibility in a fairly general setting. This setting provides us with a framework for fuzzy (...) possible world semantics. The basic propositional multimodal logic gK (grated K) is defined syntactically. We prove that gK is sound and complete with respect to this semantics. We discuss some extensions of gK including logics of similarity relations and of fuzzy orderings. We present a modified filtration method and prove that gK and its extensions introduced here are decidable. (shrink)

Kaneko-Suzuki developed epistemic logics of shallow depths with multiple players for investigations of game theoretical problems. By shallow depth, we mean that nested occurrences of belief operators of players in formulae are restricted, typically to be of finite depths, by a given epistemic structure. In this paper, we develop various methods of surgical operations (cut and paste) of epistemic world models. An example is a bouquet-making, i.e., tying several models into a bouquet. Another example is to engraft a model (...) to some branches of another model. By these methods, we obtain various meta-theorems on semantics and syntax on epistemic logics. To illustrate possible uses of our meta-theorems, we present one game theoretical theorem, which is also a meta-theorem in the sense of logic. (shrink)

In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of (...) their decidability. (shrink)

We aim at developing a systematic method of separating omniscience principles by constructing Kripke models for intuitionistic predicate logic $\mathbf {IQC}$ and first-order arithmetic $\mathbf {HA}$ from a Kripke model for intuitionistic propositional logic $\mathbf {IPC}$. To this end, we introduce the notion of an extended frame, and show that each IPC-Kripke model generates an extended frame. By using the extended frame generated by an IPC-Kripke model, we give a separation theorem of a schema from a set of schemata in (...) $\mathbf {IQC}$ and a separation theorem of a sentence from a set of schemata in $\mathbf {HA}$. We see several examples which give us separations among omniscience principles. (shrink)

We develop a series of small infinitary epistemic logics to study deductive inference involving intra-/interpersonal beliefs/knowledge such as common knowledge, common beliefs, and infinite regress of beliefs. Specifically, propositional epistemic logics GL are presented for ordinal α up to a given αo so that GL is finitary KDn with n agents and GL allows conjunctions of certain countably infinite formulae. GL is small in that the language is countable and can be constructive. The set of formulae Lα is increasing up (...) to α = ω but stops at ω We present Kripke-completeness for GL for each α ≤ ω, which is proved using the Rasiowa–Sikorski lemma and Tanaka–Ono lemma. GL has a sufficient expressive power to discuss intra-/interpersonal beliefs with infinite lengths. As applications, we discuss the explicit definability of Axioms T, 4, 5, and of common knowledge in GL Also, we discuss the rationalizability concept in game theory in our framework. We evaluate where these discussions are done in the series GL, α ≤ ω. (shrink)

In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter (...) showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole. (shrink)

Freezing of gait is a common symptom in the late stages of Parkinson’s disease and related disorders. Videos are the gold standard method to conduct FOG scoring; however, the measurement accuracy of FOG scoring based on videos has not been formally assessed, despite its use in previous studies. This study aimed to calculate the measurement accuracy of video-based FOG scoring. Three evaluators scored the FOG based on 157 video data points collected from 21 patients using an annotation tool. One evaluator (...) measured the intra-rater reliability of the retest. The total duration of observed FOG, percentage of the time spent with FOG during the walking task, and FOG phenotypes were evaluated. Intraclass correlation coefficients were used to determine the intra- and inter-rater reliabilities. The duration of FOG and %FOG showed good measurement accuracy for both intra-rater and inter-rater reliabilities. However, the FOG phenotypes showed poor measurement accuracy in inter-rater reliability. These results indicate that the temporal characteristics of FOG can be scored with a high degree of measurement accuracy, even with different evaluators; conversely, the FOG phenotypes need to be scored by several evaluators. (shrink)

This study compared 30 older musicians and 30 age-matched non-musicians to investigate the association between lifelong musical instrument training and age-related cognitive decline and brain atrophy. Although previous research has demonstrated that young musicians have larger gray matter volume in the auditory-motor cortices and cerebellum than non-musicians, little is known about older musicians. Music imagery in young musicians is also known to share a neural underpinning [the supramarginal gyrus and cerebellum] with music performance. Thus, we hypothesized that older musicians would (...) show superiority to non-musicians in some of the abovementioned brain regions. Behavioral performance, GMV, and brain activity, including functional connectivity during melodic working memory tasks, were evaluated in both groups. Behaviorally, musicians exhibited a much higher tapping speed than non-musicians, and tapping speed was correlated with executive function in musicians. Structural analyses revealed larger GMVs in both sides of the cerebellum of musicians, and importantly, this was maintained until very old age. Task-related FC analyses revealed that musicians possessed greater cerebellar-hippocampal FC, which was correlated with tapping speed. Furthermore, musicians showed higher activation in the SMG during MWM tasks; this was correlated with earlier commencement of instrumental training. These results indicate advantages or heightened coupling in brain regions associated with music performance and imagery in musicians. We suggest that lifelong instrumental training highly predicts the structural maintenance of the cerebellum and related cognitive maintenance in old age. (shrink)

An emerging concept is that quiescent mature skeletal cells provide an important cellular source for bone regeneration. It has long been considered that a small number of resident skeletal stem cells are solely responsible for the remarkable regenerative capacity of adult bones. However, recent in vivo lineage‐tracing studies suggest that all stages of skeletal lineage cells, including dormant pre‐adipocyte‐like stromal cells in the marrow, osteoblast precursor cells on the bone surface and other stem and progenitor cells, are concomitantly recruited to (...) the injury site and collectively participate in regeneration of the damaged skeletal structure. Lineage plasticity appears to play an important role in this process, by which mature skeletal cells can transform their identities into skeletal stem cell‐like cells in response to injury. These highly malleable, long‐living mature skeletal cells, readily available throughout postnatal life, might represent an ideal cellular resource that can be exploited for regenerative medicine. (shrink)

Endosteal stem cells are a subclass of bone marrow skeletal stem cell populations that are particularly important for rapid bone formation occurring in growth and regeneration. These stem cells are strategically located near the bone surface in a specialized microenvironment of the endosteal niche. These stem cells are abundant in young stages but eventually depleted and replaced by other stem cell types residing in a non‐endosteal perisinusoidal niche. Single‐cell molecular profiling and in vivo cell lineage analyses play key roles in (...) discovering endosteal stem cells. Importantly, endosteal stem cells can transform into bone tumor‐making cells when deleterious mutations occur in tumor suppressor genes. The emerging hypothesis is that osteoblast‐chondrocyte transitional identities confer a special subset of endosteal stromal cells with stem cell‐like properties, which may make them susceptible for tumorigenic transformation. Endosteal stem cells are likely to represent an important therapeutic target of bone diseases caused by aberrant bone formation. (shrink)

This paper applies Dehornoy et al.’s Z theorem and its variant, called the compositional Z theorem, to prove confluence of Parigot’s \-calculi extended by the simplification rules. First, it is proved that Baba et al.’s modified complete developments for the call-by-name and the call-by-value variants of the \-calculus with the renaming rule, which is one of the simplification rules, satisfy the Z property. It gives new confluence proofs for them by the Z theorem. Secondly, it is shown that the compositional (...) Z theorem can be applied to prove confluence of the call-by-name and the call-by-value \-calculi with both simplification rules, the renaming and the \-rules, whereas it is hard to apply the ordinary parallel reduction technique or the original Z theorem by one-pass definition of mappings for these variants. (shrink)

Wabi Sabi is the Japanese Zen philosophy that all things are imperfect, unfinished and impermanent. It is a fresh way of seeing and moving through the world when our lives, literally and figuratively, feel cluttered. This book shows us how to apply this concept in the context of daily life and offers ideas on how to see it, embrace it and incorporate it into everyday thoughts, objects and situations."--Publisher description.

The best seller and perennial classic by one of the great Zen Buddhist masters--now available in Spanish. En los más de cuarenta años que han transcurrido desde su publicación original, Mente Zen, mente de principiante se ha convertido en uno de los grandes clásicos de la espiritualidad moderna, muy querido, continuamente releído y profusamente recomendado como el mejor libro que se puede leer sobre el Zen. Suzuki Roshi presenta las bases —desde los detalles de la postura y la respiración (...) en zazen hasta la percepción de la no dualidad— de un modo que, además de ser notablemente claro, resuena con la alegría de la comprensión desde la primera hasta la última página. (shrink)

BackgroundFinancial interactions between pharmaceutical companies and physicians lead to conflicts of interest. This study examines the extent and trends of non-research payments made by pharmaceutical companies to board-certified allergists in Japan between 2016 and 2020.MethodsA retrospective analysis of disclosed payment data from pharmaceutical companies affiliated with the Japanese Pharmaceutical Manufacturers Association was conducted. The study focused on non-research payments for lecturing, consulting, and manuscript drafting made to board-certified allergists from 2016 to 2020. We performed descriptive analyses on payment data. Trends (...) were analyzed using generalized estimating equation models.ResultsOf the 3,943 board-certified allergists, 2,398 (60.8%) received non-research payments totaling $43.4 million over five years. Lecturing fees comprised 85.7% ($37.2 million) of the total payment amounts. For allergists who received at least one payment, the median amount per allergist was $3,106 (interquartile range: $966 – $12,124), in contrast to a mean of $18,092 (standard deviation: $49,233) over the five-year span. The top 1% and 10% of these allergists accounted for 20.8% and 68.8% of all non-research payments, respectively. The annual payment amounts significantly increased by 7.2% annual increase (95% CI: 4.4 – 10.0%, p < 0.001) each year until 2019, but saw a significant decrease in 2020 amid the COVID-19 pandemic.ConclusionThe majority of allergists received non-research payments, with a notable concentration among a small group. Payments increased annually until the pandemic’s onset, which coincided with a substantial decrease. Further research is needed to explore the implications of these financial interactions on clinical practice and patient care in Japan. (shrink)

思想家・後藤新平は、「儒服をつけた英雄」蕃山から何を学んだのか? 百年先を読んだ政治家、後藤新平(1857-1929)の思想はどのようにして培われてきたのか。後藤新平が終生の愛読書としていた熊沢蕃山(1619-91)の『集義和書』を手がかりに、思想家・後藤新平の知ら れざる中枢に切り込む。.

This special 10th anniversary edition of the David Suzuki classic, re-examines our place in the natural world in light of sweeping environmental changes and recent advances in scientific knowledge.

Why has right-wing activism in Japan, despite its persistence throughout the postwar era, only gained significant traction recently? Focusing on the Zaitokukai, an anti-Korean movement in Japan, this article demonstrates how the new Far Right were able to popularize formerly stigmatized right-wing ideas. The Zaitokukai represents a political group distinct from the traditional right and reflective of new Far Right movements spreading worldwide. In Japan, concerns about the growing influence of South Korea and China in the 1980s as well as (...) the decline of left-wing norms opened up a discursive opportunity for the new Far Right. By framing Korean postcolonial minorities as undeserving recipients of social welfare benefits, the Zaitokukai mobilized perceptions of threat that has continued to powerfully influence public perceptions of Koreans even following the group’s organizational decline. While past research has focused on the new Far Right’s political influence, this article stresses their roles as ideological entrepreneurs. (shrink)

The human ability to flexibly discover alternatives without fixating on a known solution supports a variety of human creative activities. Previous research has shown that people who discover an alternative procedure relax their attentional bias to information regarding the known solutions just prior to the discovery. This study examined whether the difference in the distribution of attention between the finders and non-finders of the alternative procedure is observed from the phase of solving the problem using the trained procedure. We evaluated (...) the characteristics of the finders' distribution of attention in situations where problem solving using a trained procedure was successful. This aspect has been little examined in previous research. Our study obtained empirical evidence for the fact that, compared to non-finders, finders pay more attention to information unrelated to the trained procedure acquired through knowledge and experience, even time when using a trained procedure. We also confirmed that this difference does not exist from the beginning of the task, but emerges during repeated use of familiar procedures. These findings indicate that in order to find an alternative procedure, one should not only divert attention from a familiar procedure just before the discovery but also pay a certain amount of attention to information unrelated to the familiar procedure even when the familiar procedure is functioning well. (shrink)