We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

Artemov and Protopopescu introduced a Brouwer-Heyting-Kolmogorov interpretation of knowledge operator to define the intuitionistic epistemic logic IEL, where the axiom A⊃KA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A\supset KA$$\end{document} is accepted but the axiom KA⊃A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$KA\supset A$$\end{document} is refused. This paper studies the notion of distributed knowledge on an expansion of the multi agent variant of IEL. We provide a BHK interpretation of distributed knowledge operator to define the intuitionistic epistemic (...) logic with distributed knowledge DIEL. We construct Hilbert system and cut-free sequent calculus for DIEL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {DIEL}$$\end{document} and show that they are sound and complete for the intended Kripke semantics. (shrink)

1. Hassei to sono tenkai -- 2. Kindai kara no ayumi.

The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...) contingents. (shrink)

Introduction: Physical distancing under the coronavirus disease 2019 pandemic had a significant impact on lifestyles, including exercise routines. In this study, we examined the relationship between mental health and addictive behaviors, such as excessive exercise and the use of image and performance enhancing drugs across 12 sport disciplines.Materials and methods: A large cross-sectional sample of the adult population was surveyed. The mean age was 33.09. The number of male participants was 668. The use of IPEDs was assessed in conjunction with (...) psychometric measures such as the Exercise Addiction Inventory and the Appearance Anxiety Inventory. The participants were grouped into activity group and non-activity group according to the presence or absence of their exercise habits. The results were compared between these groups, as well as across sport disciplines, while taking into account the relationship between different psychological measures and IPEDs consumption.Results: The frequency of IPEDs use was higher among AG than NAG, although AG participants reported less history of addictions than NAG. The logistic regression analysis revealed that scores equal to or above cutoff points, in both the EAI and AAI, predicted the IPEDs use. Regarding the differences across the various sport disciplines, those who were involved in practicing Weight Lifting and Cross Fit were found to be more at risk of excessive exercising and more inclined to use a wide range of IPEDs.Conclusions: Although exercise could help to increase well-being and prevent addictions during the COVID-19 pandemic, our results show that those in the AG are particularly vulnerable to excessive IPEDs use. Sport disciplines associated with higher EAI and AAI scores have also shown a higher tendency to excessive IPEDs use. Furthermore, the factor of having above the cutoff scores in EAI or AAI in each sport could indicate larger IPEDs consumption regardless of the discipline. In light of the current findings, it is necessary to better define the “non-excessive” levels of exercise in various sport disciplines and an adequate intake of IPEDs to ensure the safety and well-being of people during a pandemic. (shrink)

今日の教育の再検討という問題意識を背景に,「助力」という教育のあり方を三人の先行研究から,その思想,理論,実践を整理し考察する。.