Based on a notion of "companions to stit formulas" applied in other papers dealing with astit logics, we introduce "choice formulas" and "nested choice formulas" to prove the completeness theorems for dstit logics in a language with the dstit operator as the only non-truth-functional operator. The main logic discussed in this paper is the basic logic of dstit with multiple agents, other logics discussed include the basic logic of dstit with a single agent and some logics of dstit with multiple (...) agents each of which corresponds to a semantic condition concerning the number of possible choices for agents. (shrink)

We propose a theory of events and causes against the background of branching time. Notions discussed include possibility based on reality, transitions, events, determinacy, contingency, causes and effects. The main idea in defining causal relations is to introduce a certain preconditioning circumstance under which one event follows another. We also briefly compare this theory with some other theories.

Working memory (WM) is a fundamental cognitive ability to support complex thought, but it is limited in capacity. WM training has shown the potential to make benefit for those in need. Many studies have shown the potential of transcranial direct current stimulation (tDCS) to transiently enhance WM performance by delivering low current to the brain cortex of interest via electrodes on the scalp. TDCS has also been revealed as a promising intervention to augment WM training in a few studies. However, (...) those few tDCS-paired WM training studies focused more on the effect of tDCS on WM enhancement and its transferability after training but paid less attention to the variation of cognitive performance during the training procedure. The current study attempted to explore the effect of tDCS on the variation of performance during WM training in healthy young adults. All the participant received WM training with the load-adaptive verbal N-back task for five days. During the training procedure, active/sham anodal high-definition tDCS (HD-tDCS) was used to stimulate the left dorsolateral prefrontal cortex (DLPFC). To examine the training effect, pre- and post-test were performed respectively one-day before and after the training sessions respectively. At the beginning of each training session, stable-load WM tasks were performed to examine the performance variation during training. Compared to the sham stimulation, higher learning rates of performance metrics during the training procedure were found when WM training was combined with active anodal HD-tDCS. The performance improvements (post-pre) of the active group were also found to be higher than those of sham group and were transferred to a similar untrained WM task. Further analysis revealed that the negative relation between the training improvements and baseline performance. These findings show the potential that tDCS may be leveraged as an intervention to facilitate WM training for those in need of higher WM ability. (shrink)

This paper presents a generalization of Fine’s completeness theorem for transitive logics of finite width, and proves the Kripke completeness of transitive logics of finite “suc-eq-width”. The frame condition for each finite suc-eq-width axiom requires, in rooted transitive frames, a finite upper bound of cardinality for antichains of points with different proper successors. The paper also presents a generalization of Rybakov’s completeness theorem for transitive logics of prefinite width, and proves the Kripke completeness of transitive logics of prefinite “suc-eq-width”. The (...) frame condition for each prefinite suc-eq-width axiom requires, in rooted transitive frames, a finite upper bound of cardinality for antichains of points that have a finite lower bound of depth and have different proper successors. We will construct continuums of transitive logics of finite suc-eq-width but not of finite width, and continuums of those of prefinite suc-eq-width but not of prefinite width. This shows that our new completeness results cover uncountably many more logics than Fine’s theorem and Rybakov’s theorem respectively. (shrink)

We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.

BackgroundPatient-centred care and patient autonomy is one of the key factors to better quality of service provision, hence patient outcomes. It enables the development of patients’ trusts which is an important element to a better doctor-patient relationship. Given the increasing number of patient disputes and conflicts between patients and doctors in Chinese public hospital, it is timely to ensure patient-centred care is fully and successfully implemented. However, limited studies have examined the views and practice in different aspects of patient-centred care (...) among doctors in the Chinese public hospitals.MethodsA quantitative approach was adopted by distributing paper-based questionnaires to doctors and patients in two hospitals (Level III and Level II) in Jinan, Shandong province, China.ResultsIn total, 614 doctors from the surgical and internal medicine units of the two hospitals participated in the survey yielding 90% response rates. The study confirmed the inconsistent views among doctors in terms of their perception and practice in various aspects patient-centred care and patient autonomy regardless of the hospital where they work (category II or category III), their unit speciality (surgical or non-surgical), their gender or seniority. The high proportion of doctors (more than 20%) who did not perceive the importance of patient consultation prior to determining diagnostic and treatment procedure is alarming. This in in part due to the belief held by more than half of the doctors that patients were unable to make rational decisions and their involvement in treatment planning process did not necessarily lead to better treatment outcomes.ConclusionThe study calls for the development of system level policy and organisation wide strategies in encouraging and enabling the practice of patient-centred care and patient autonomy with the purposes of improving the quality of the service provided to patients by Chinese hospitals. (shrink)

We present in this paper an axiomatization of Belnap and Perloff's stit theory (a logic of "seeing to it that") with a single agent. The idea of the proof is to apply the notion of companion sets--the same notion as used in another paper by the author that showed the decidability of stit theory with a single agent and Refref equivalence.

This paper presents a short survey of recent developments in stit theories, with an emphasis on combinations of stit and deontic logic, and those of stit and epistemic logic.

We present a theory of actions based on a theory of events in branching time, in which "particular" or "token" actions are taken to be sets of transitions from their initial states to the outcomes. We also present a simple theory of composition of events by which composite events can be formed out of other events. Various kinds of actions, including instantaneous group actions and sequential group actions, are introduced by way of composition, and an extended stit theory of agency (...) is proposed, in which the stit operators are combined or equipped with reified group actions. (shrink)

The purpose of this paper is to prove the decidability ofstit theory (a logic of seeing to it that) with a single agent andRefref Equivalence. This result is obtained through an axiomatization of the theory and a proof that it has thefinite model property. A notion ofcompanions to stit formulas is introduced and extensively used in the proof.

The purpose of this paper is to present some results instit theory, a theory of agency proposed by N. Belnap and M. Perloff. We will establish a correspondence between the numbers ofstit modalities and the complexity degrees ofbusy choice sequences in semantic structures, and consequently, a correspondence between the number of modes of actions/inactions instit theory and the complexity degrees ofbusy choice sequences in semantic structures.

The main purpose of this paper is to prove that in every stit semantic structure that contains a busy choice sequence, neither does doing imply refraining from refraining from doing, nor does refraining from refraining from doing imply doing.

This paper proves the finite model property and the finite axiomatizability of a class of normal modal logics extending K4.3. The frames for these logics are those for K4.3, in each of which every point has a bounded number of irreflexive successors if it is after an infinite ascending chain of (not necessarily distinct) points.

Vehicle type recognition algorithms are broadly used in intelligent transportation, but the accuracy of the algorithms cannot meet the requirements of production application. For the high efficiency of the multilayer perceptive layer of Network in Network, the nonlinear features of local receptive field images can be extracted. Global average pooling can avoid the network from overfitting, and small convolution kernel can decrease the dimensionality of the feature map, as well as downregulate the number of model training parameters. On that basis, (...) the residual error is adopted to build a novel NIN model by altering the size and layout of the original convolution kernel of NIN. The feasibility of the algorithm is verified based on the Stanford Cars dataset. By properly setting weights and learning rates, the accuracy of the NIN model for vehicle type recognition reaches 97.2%. (shrink)

This paper studies modal logics whose extensions all have the finite model property, those whose extensions are all recursively axiomatizable, and those whose extensions are all finitely axiomatizable. We call such logics FMP-ensuring, RA-ensuring and FA-ensuring respectively, and prove necessary and sufficient conditions of such logics in $$\mathsf {NExtK4.3}$$. Two infinite descending chains $$\{{\textbf{S}}_{k}\}_{k\in \omega }$$ and $$\{{\textbf{S}} _{k}^{*}\}_{k\in \omega }$$ of logics are presented, in terms of which the necessary and sufficient conditions are formulated as follows: A logic in (...) $$\mathsf {NExtK4.3}$$ is FMP-ensuring iff it extends $${\textbf{S}}_{k}$$ for some $$k\in \omega $$, it is RA-ensuring iff it extends $${\textbf{S}}_{k}^{*}$$ for some $$k\in \omega $$, and it is FA-ensuring iff it is finitely axiomatizable and extends $${\textbf{S}}_{k}^{*}$$ for some $$k\in \omega $$. (shrink)

In this paper we use “generic submodels” to prove that each normal extension of G.3 (K4.3W) has the finite model property, by which we establish that each proper normal extension of G.3 is G.3Altn for some n≥0.

Using Natural Language Processing tools, the current study explores the evolution of objectivity practice in terms of attitude injection. Adopting the indicator of moral loading under the Moral Foundation Theory framework, it examined the moral judgments embedded in 20,679 culture war news articles published in five major U.S. newspapers from 1980 to 2021. Our findings revealed a distinct mixed journalistic liberal pattern and an apparent paradox in objectivity practice: the less moral judgments, the more liberal tendencies, which could be caused (...) by journalists’ watchdog role and the increase of liberal components in U.S. democracy. We then argue that the performance of traditional objectivity has remained robust, especially when accounting for the degree to which moral judgments can be attributed to source quotations. The study contributes to the literature by bridging moral psychology and the enactment of journalistic norms, applying MFT to evaluate degrees of objectivity in news. (shrink)

The aim of this study was to investigate the applicability of the planned behavior theory model and TPB-6 model of enhanced physical exercise in college students, and to explore the role of exercise commitment in the relationship between exercise intention and behavior, so as to provide theoretical and empirical support for college students to promotion exercise. The study participants were 581 college students are investigated with Theory of Planned Behavior Scale, Exercise Commitment Scale, and Physical Activity Rating Scale. Results showed (...) that the explanatory power of the TPB to exercise intention and exercise behavior is 0.70 and 0.52, respectively, and exercise intention was the primary factor to predict exercise behavior of college students. The Model fit of TPB-6 model is acceptable, compared with TPB 5-factor model, the predictive power of TPB-6 on behavioral intention increases from 70.0 to 75.0%, and the predictive power towards behavior raises from 52.0 to 59.0%. Exercise commitment has a partial mediating effect between exercise intention and behavior, which accounts for 26.89% of the total effect, but it has no moderating effect. In conclusion, this research demonstrates the TPB-5 model has good applicability among the college students, with exercise commitment variables, exercise intention can better predict college students’ exercise behavior, which can be used as the theoretical basis for the intervention on their exercise behavior. (shrink)

This experiment used event-related potentials to study the tactile-visual information conflict processing in a tactile-visual pairing task and its modulation by tactile-induced emotional states. Eighteen participants were asked to indicate whether the tactile sensation on their body matched or did not match the expected tactile sensation associated with the object depicted in an image. The type of tactile-visual stimuli and the valence of tactile-induced emotional states were manipulated following a 2 × 2 factorial design. Electrophysiological analyses revealed a mismatched minus (...) matched negative difference component between 420 and 620 ms after stimulus onset in the negative tactile-induced emotional state condition. This ND420-620 component was considered as a sign of the cross-modal conflict processing during the processing of incongruent tactile-visual information. In contrast, no significant mismatched minus matched negative difference component was found in the positive tactile-induced emotional state condition. Together, these results support the hypothesis that a positive emotional state induced by a positive tactile stimulation improves tactile-visual conflict processing abilities. (shrink)

Using a nationwide survey of randomly selected manufacturing firms in representative Chinese cities, we examine how firms’ compliance with social insurance policies is shaped by their historical imprinting, by their founding ownership structures, as well as by massive institutional changes. Our empirical results suggest that firms founded in the state socialist era and firms founded as Chinese state-owned enterprises (SOEs) were infused with socialist institutional logics of labor relations, and they tended to comply with social insurance policies even in the (...) present market socialist era. Chinese SOEs restructured into private and joint-ventured firms attenuated the lingering effect of organizational imprinting and provide social insurances for fewer workers. This research is among the first to probe the historical influence on labor protection in contemporary society. Through studying the stability and changes of socialist institutional logic of labor relations, our research leads to a better understanding of the situation of labor relations in contemporary China. (shrink)

In this paper we prove the uncompactness of every stit logic that contains a generalized refref conditional and is a sublogic of the stit logic with refref equivalence, a syntactical condition of uncompactness that covers infinitely many stit logics. This result is established through the uncompactness of every stit logic whose semantic structures contain no chain of busy choice sequences with cardinality , where is any natural number . The basic idea in the proof is to apply the notion of (...) companions to stit sentences in finding busy choice sequences in structures, and to make use of a relation between chains of busy choice sequences and generalized refref conditionals in connecting the two conditions of uncompactness mentioned above. (shrink)

With the rapid development of renewable generators such as distributed photovoltaic and profound changes of the power structure, this paper analyzes the frequency characteristics of the power system with high penetration of renewable generations in the process of low-frequency load shedding and discusses the influence of the distributed renewable generator frequency endurance capabilities on the implementation effect of low-frequency load shedding in detail. Finally, the influences of the distributed renewable generator frequency endurance capability and the capacities of the distributed renewable (...) generator on frequency response characteristics of an actual Hunan power grid are simulated. The simulation results show that more distributed photovoltaic capacity without frequency endurance capability leads to deeper frequency drops after the disturbance and requires more basic rounds of load shedding. When the penetration rate of distributed photovoltaic is too high, it may cause load shedding, resulting in power grid load losses and, at the same time, leading to an overshoot phenomenon in the process of frequency recovery. Therefore, the influence of distributed photovoltaic on the control of low-frequency load shedding should be considered when designing low-frequency load shedding schemes for the power grid with high penetration of distributed photovoltaic. (shrink)

This study used priming paradigm with lexical decision task to examine the effects of different levels of semantic relatedness on the identification of Chinese phonetic–semantic compound characters. Unlike previous studies that simply classify Chinese compound characters as semantically transparent or opaque, we categorize the semantic relatedness between semantic radicals and the target characters containing them into five levels: highly related, moderately related, minimally related, unrelated but sharing the semantic radical, and unrelated without sharing the semantic radical. Moreover, three stimulus-onset asynchrony (...) s were used in this study to dissociate the radical- and character-level semantic priming effects. Results revealed a graded priming effect of the semantic radical on character recognition in Chinese readers for all SOAs. More specifically, the facilitative effect of the semantic radical on character processing was most evident for the high condition, followed by the minimal, form-only, and control conditions. This suggests a graded priming effect of the semantic radical on character identification. (shrink)

The generalized Brans–Dicke theory (GBD), as one of the modified gravitational theories, was proposed previously and some interesting properties were found in this theory. Here we investigate the traversable-wormhole physics for GBD theory. Firstly, we derive the gravitational field equation in the framework of GBD wormhole geometry. The traversable wormhole could be gained in this theory. Secondly, using the classical reconstruction technique we originally derive an Lagrangian function for describing gravity in GBD theory. And the derived Lagrangian function for gravity (...) could be satisfied with the requirement of the viable conditions, such as the local gravity tests and the cosmological constraints, etc. Thus, the viable model for cosmology, local gravity and traversable WH can be unified in a uniform Lagrangian quantity within the framework of GBD theory. Thirdly, given that the violation of the energy conditions (ECs) often induce some problems in theory, we explore the ECs of matter in the traversable wormhole. It is shown that the null EC, the weak EC and the dominated EC for the matter can be satisfied in the traversable-wormhole physics of GBD theory, which are different from the results given in GR. It seems that the theory of GBD owns the more logic technically and consistency formally than the theory of GR. Fourthly, some other properties of GBD traversable WH are explored, such as the total gravitational energy, the volume integral quantifier, the dynamical stability of the anisotropic matter, and the difference of the propagation of sound within the matter configuration. The results support the GBD to provide an interesting candidate for traversable WH. (shrink)

In a legal expert system based on CBR (Case-Based Reasoning), legal statute rules are interpreted on the basis of precedents. This interpretation, because of its vagueness and uncertainty of the interpretation cannot be handled with the means used for crisp cases. In our legal expert system, on the basis of the facts of precedents, the statute rule is interpreted as a form of case rule, the application of which involves the concepts of membership and vagueness. The case rule is stored (...) in a data base by means of fuzzy frames. The inference based on a case rule is made by fuzzy YES and fuzzy NO, and the degree of similarity of cases. The system proposed here will be used for legal education; its main area of application is contract, especially in relation to the United Nations Convention on Contracts for the International Sale of Goods (CISG). (shrink)

Based on the branching time theory proposed by Prior and Thomason, this thesis is devoted to characterizing the causal aspect of agency by considering a sentence "$\alpha$ sees to it that A" as asserting a causal relation between a choice made by the agent $\alpha$ and a fact described in the sentence A. The phrase "see to it that" is abbreviated as stit. This thesis provides conceptual analyses of stit and develops some modal logics of stit in accordance with these (...) analyses. Theories of stit discussed in this thesis include B. Chellas' theory, Von Kutschera and Horty's theory, and Belnap and Perloff's theory. ;Chapters I-II focus on a conceptual examination of stit theories. We start with branching time theory, and develop a notion of possibility based on reality. After a discussion of Chellas' theory of stit and the controversial issue about stit closure under consequence, we introduce a notion of factual consequences of actions to serve as a basic interpretation of stit sentences. In order to back up this notion, we present a theory of events, a theory of causation and a theory of alternatives for agents in branching time. Using these theories, we interpret the relation between actions and their factual consequences as a causal relation, i.e., factual consequences of actions are sentences describing facts that are caused by those actions. Finally we reach the same semantics for stit as those proposed by Von Kutschera and Horty, and Belnap and Perloff. In Chapters III-VI, we focus on the technical aspect of the stit theory proposed by Belnap and Perloff. We present an axiomatization of the basic logic ${\bf L}\sb0$ of stit with a single agent and prove its completeness, and present an axiomatization of the logic ${\bf L}\sb1$ of stit with a single agent and refref equivalence and prove its completeness and decidability. Finally we present a study of stit modalities which serves as a study of modes of actions/inactions as well as a preparation for further studies of logics between ${\bf L}\sb0$ and ${\bf L}\sb1.$. (shrink)

Extreme formalism is a radical and important position in the aesthetics of inorganic nature. Zangwill offers a new formulation of what formal aesthetic properties are, according to which a formal aesthetic property of a thing is an aesthetic property that is determined merely by its appearance properties. An appearance property of a thing is the way it seems if perceived under certain conditions. With the notion of formal aesthetic properties formulated as such, extreme formalism, the claim that all aesthetic properties (...) of inorganic things are formal, says that all aesthetic properties of inorganic things are determined merely by their appearance properties. Recently, Zangwill defends extreme formalism by deflecting the famous counter-example of the cumulonimbus cloud given by Budd, and argues for extreme formalism by arguing against the idea of the existence of non-formal beauty in inorganic nature. In this paper, we argue that both his defense and positive arguments are not successful. If our arguments are right, the burden of proof is still on Zangwill’s side. (shrink)

Any text can not leave the text the user exists, with the phenomenon of indirect discourse anaphora is no exception. Therefore, the phenomenon of indirect anaphora can not be studied only from the text itself, but also from the recipient of discourse processing and mental representation of discourse strategies such as perspective depth studies to explore the source of discourse coherence factors. Indirect anaphor is a special kind of anaphor that receives more and more attention these years. Based on previous (...) research findings, this paper mainly deals with the syntactic and semantic classifications of indirect anaphor and comes up with several theoretic frameworks in which it could be explained. The author believes that a text is not a text without its users. It is no exception for texts containing indirect anaphora. Therefore, a proper method of investigation into indirect anaphora should contain not only studies of the text, but also studies on how the text is processed and mentally represented by text users. (shrink)