Qian Chen

In the current context of digital transformation and intelligent upgrading, the accounting profession is facing a transformation. This change brings challenges and opportunities at the same time. With the wide application of information technology, the combination of the accounting field and artificial intelligence is gradually deepening. It has gradually changed the traditional way of accounting and it is also gradually affecting the development of the accounting profession. The purpose of this paper is to explore how artificial intelligence impacts the accounting industry, from career substitution to the evolution of new career forms.Faced with the intensification of professional competition brought about by artificial intelligence and the reduction of demand for traditional accountants,In this paper, the literature review method is used to analyze the application status of artificial intelligence in the field of accounting.The research focuses on the challenges and opportunities of AI to traditional accounting, and at the same time, it also gives birth to new professional forms.Such as management accounting experts, risk accounting experts, etc.Through research, it is found that although AI technology can replace accounting professional judgment in some scenarios. But there is still no substitute for human intuition and moral responsibility. Therefore, the accounting profession needs to actively respond to this change by training people with complex skills and training.Enhance the competitiveness and adaptability of the whole industry.To sum up, this study is of great significance for understanding the impact of artificial intelligence technology on the accounting industry.It not only reveals the dual impact of career substitution and new career opportunities brought about by AI technology, but also reveals the potential of AI technology.It also provides useful enlightenment and suggestions for the future development of the accounting industry.With the continuous development and application of AI technology, the accounting industry will usher in broader prospects for development and more opportunities for innovation.

With the advent of the digital era, artificial intelligence and informatization have integrated and converged with various industries, and accounting work is also gradually undergoing digital transformation. Accounting informatization has a profound impact on the financial management of the entire enterprise. The article mainly takes China as the background, introducing the connotation of accounting informatization and the development path of accounting informatization in China. Then it analyzes in detail the impacts of accounting informatization on enterprise financial management. The main impacts are enhancing the transparency of data, improving decision-making capabilities, increasing the efficiency of data processing, and optimizing resource allocation. Meanwhile, it points out the problems that accounting informatization will encounter in its development process, such as the lack of a unified accounting informatization standard system, the imperfection and non-uniformity of the accounting informatization system construction, the low matching degree of accounting informatization talents, data security issues, and shortcomings in data elements. Finally, this article puts forward five countermeasures to address these problems, such as constructing the accounting informatization standard system, comprehensively planning accounting data elements, strengthening the integration of financial data, enhancing data security protection and risk management, and strengthening the construction of the professional team of accounting informatization.

Byung-Chul Han claims that neoliberal society lacks the Other, presenting a new societal and subjective paradigm. He argues that the demise of the Other presents social critical theorists with an urgent task: finding an appropriate theory to describe and explain this contemporary society devoid of the Other. Therefore, he critiques Giorgio Agamben’s theory, suggesting it describes an immunological society, while today’s society is post-immunological, thus requiring a new analytical framework. Han views his theory as closer to the picture of neoliberalism than Agamben’s. However, this article intends to challenge Han’s conclusion by demonstrating that he misinterprets Agamben and mislocates the Other by analyzing the conversation between Han and Agamben.

The McKinsey axiom $$(\textrm{M})\ \Box \Diamond p\rightarrow \Diamond \Box p$$ has a local first-order correspondent on the class of all weakly transitive frames $${{\mathcal {W}}}{{\mathcal {T}}}$$. It globally corresponds to Lemmon’s condition $$({\textsf{m}}^\infty )$$ on $${{\mathcal {W}}}{{\mathcal {T}}}$$. The formula $$(\textrm{M})$$ is canonical over the weakly transitive modal logic $$\textsf{wK4}={\textsf{K}}\oplus p\wedge \Box p\rightarrow \Box \Box p$$. The modal logic $$\mathsf {wK4.1}=\textsf{wK4}\oplus \textrm{M}$$ has the finite model property. The modal logics $$\mathsf {wK4.1T}_0^n$$ ( $$ n>0$$ ) form an infinite descending chain in the interval $$[\mathsf {wK4.1},\mathsf {K4.1}]$$ and each of them has the finite model property. Thus all the modal logics $$\mathsf {wK4.1}$$ and $$\mathsf {wK4.1T}_0^n$$ ( $$n>0$$ ) are decidable.

This paper presents a logic of preference and functional dependence (LPFD) and its hybrid extension (HLPFD), both of whose sound and strongly complete axiomatization are provided. The decidability of LPFD is also proved. The application of LPFD and HLPFD to modelling cooperative games in strategic form is explored. The resulted framework provides a unified view on Nash equilibrium, Pareto optimality and the core. The philosophical relevance of these game-theoretical notions to discussions of collective agency is made explicit. Some key connections with other logics are also revealed, for example, the coalition logic, the logic of functional dependence and the logic of ceteris paribus preference.

The finite model property (FMP) in weakly transitive tense logics is explored. Let \(\mathbb {S}=[\textsf{wK}_t\textsf{4}, \textsf{K}_t\textsf{4}]\) be the interval of tense logics between \(\textsf{wK}_t\textsf{4}\) and \(\textsf{K}_t\textsf{4}\). We introduce the modal formula \(\textrm{t}_0^n\) for each \(n\ge 1\). Within the class of all weakly transitive frames, \(\textrm{t}_0^n\) defines the class of all frames in which every cluster has at most _n_ irreflexive points. For each \(n\ge 1\), we define the interval \(\mathbb {S}_n=[\textsf{wK}_t\textsf{4T}_0^{n+1}, \textsf{wK}_t\textsf{4T}_0^{n}]\) which is a subset of \(\mathbb {S}\). There are \(2^{\aleph _0}\) logics in \(\mathbb {S}_n\) lacking the FMP, and there are \(2^{\aleph _0}\) logics in \(\mathbb {S}_n\) having the FMP. Then we explore the FMP in finitely alternative tense logics \(L_{n,m}=L\oplus \{\textrm{Alt}_n^F, \textrm{Alt}_m^P\}\) with \(n,m\ge 0\) and \(L\in \mathbb {S}\). For all \(k\ge 0\) and \(n,m\ge 1\), we define intervals \(\mathbb {F}^k_{n,m}\), \(\mathbb {P}^k_{n,m}\) and \(\mathbb {S}^k_{n,m}\) of tense logics. The number of logics lacking the FMP in them is either 0 or \(2^{\aleph _0}\), and the number of logics having the FMP in them is either finite or \(2^{\aleph _0}\).