There are several ways to quantify over public announcements. The most notable are reflected in arbitrary, group, and coalition announcement logics, with the latter being the least studied so far. In the present work, we consider coalition announcements through the lens of group announcements, and provide a complete axiomatisation of a logic with coalition announcements. To achieve this, we employ a generalisation of group announcements. Moreover, we study some logical properties of both coalition and group announcements that have not been (...) studied before. (shrink)

In this study, telecollaborative learning activities were carried out in virtual learning environments created by the 360-degree video technology. We aimed to facilitate students’ creativity, innovation, and entrepreneurship. Two groups of students, a group of junior high school students from China and a group of university students from Indonesia, participated in the study. Students created cultural learning content using the 360-degree video technology which considered to be creative, innovative, and entrepreneurial, shared it with their international partners on the telecollaborative platform (...) and then watched content of their partners to experience virtual panoramic tours. After that, students exchanged their ideas and comments with each other in order to improve content quality. We investigated whether participation in telecollaborative learning activities positively impacts students’ creativity, innovation, and entrepreneurship. The data were collected through questionnaires and interviews. We also analyzed content created by the participants in learning activities. Two main findings were obtained: technology-supported learning activities improved participants’ creativity, innovation, and entrepreneurship and the participants positively perceived their learning experiences. Based on our results, we proposed several suggestions and derived some implications. (shrink)

In the paper, we study the dynamics of coalitional ability by proposing an extension of coalition logic (CL). CL allows one to reason about what a coalition of agents is able to achieve through a joint action, no matter what agents outside of the coalition do. The proposed dynamic extension is inspired by dynamic epistemic logic, and, in particular, by action models. We call the resulting logic coalition action model logic (CAML), which, compared to CL, includes additional modalities for coalitional (...) action models. We investigate the expressivity of CAML, and provide a complexity characterisation of its model checking problem. (shrink)

One of the classic formalisms for reasoning about multi-agent coalitional ability is coalition logic. In CL it is possible to express what a coalition can achieve in the next step no matter what agents outside of the coalition do at the same time. We propose an extension of CL with dynamic operators that allow us to grant dictatorial powers to agents or to revoke them. In such a way we are able to reason about the dynamics of coalitional ability. We (...) also discuss some logical properties of the proposed formalisms and compare their relative expressive power. (shrink)

In the new era, it is almost impossible to imagine a modern person without the information and communication technologies that fill his life. These technologies permeate all areas of activity, and education is no exception. Despite the huge number of research papers distributed on Twitter integrated into the fields of Education, there is a deficiency and lack of content analysis research papers. Thus, the search was conducted on the three major databases such as Web of Science, Scopus and the EBSCO (...) with the keywords selected as “Twitter in Education”, the study thus was based on content analysis. All studies published on Web of Science, Scopus and the EBSCO were statistically analyzed according to the frequencies and percentages. The distribution of the studies was analyzed regarding the publication years, document type, subject areas, organizations, authors, languages, countries/territories, and the research methods. The findings of this study reveal the importance of Twitter in Education, especially in medicine, social sciences and computer sciences. The findings of this study also highlighted the considerable growth of popularity over the years. (shrink)

In the modern world, about 1 billion people in Asian and African, partly European and American countries, who in their thinking and daily practice turn to the sacred texts about the Prophet Muhammad, his Sunnah, to find acceptable answers not only to questions of a domestic nature, but also to solve problems related to the sphere of socio-political development, as well as international relations. The purpose of this article is to study rare types of hadith by studying the works of (...) modern and classical theologians of Islam. The novelty of this study is that it attempts a contextual and comparative analysis of rare types of hadith. Aliy is the Hadith in which the number of transmitters in the chain is smaller, and unfortunately it is its antonym. Maukuf is a hadith whose chain reaches the companions, but whether it is speech or action, it does not reach the Prophet. A hadith mursal is a hadith in which the name of a companion is omitted. The hadith of a mushroom is a hadith narrated by one transmitter. The hadith of munkati is a hadith in which there is no transmitter in the chain. Two transmitters are missed in the chain of hadith modal. There are two types of hadith maklub: replacing the location of one transmitter instead of another, and replacing the chain of one hadith with the circuit of another. Other rare types of hadiths have also been studied. The importance of a correct understanding of these catches is emphasized, so as not to get lost in the system of the hadith hierarchy as a whole. Ignorance of the subtleties of hadith studies can lead to unforgivable errors in the interpretation of hadiths. And, unfortunately, extremist sects have become widespread in our age, which misinterpret and mislead hadiths, illustrating the above-mentioned ignorance. (shrink)

Artificial intelligence techniques in general and convolutional neural networks in particular have attained successful results in medical image analysis and classification. A deep CNN architecture has been proposed in this paper for the diagnosis of COVID-19 based on the chest X-ray image classification. Due to the nonavailability of sufficient-size and good-quality chest X-ray image dataset, an effective and accurate CNN classification was a challenge. To deal with these complexities such as the availability of a very-small-sized and imbalanced dataset with image-quality (...) issues, the dataset has been preprocessed in different phases using different techniques to achieve an effective training dataset for the proposed CNN model to attain its best performance. The preprocessing stages of the datasets performed in this study include dataset balancing, medical experts’ image analysis, and data augmentation. The experimental results have shown the overall accuracy as high as 99.5% which demonstrates the good capability of the proposed CNN model in the current application domain. The CNN model has been tested in two scenarios. In the first scenario, the model has been tested using the 100 X-ray images of the original processed dataset which achieved an accuracy of 100%. In the second scenario, the model has been tested using an independent dataset of COVID-19 X-ray images. The performance in this test scenario was as high as 99.5%. To further prove that the proposed model outperforms other models, a comparative analysis has been done with some of the machine learning algorithms. The proposed model has outperformed all the models generally and specifically when the model testing was done using an independent testing set. (shrink)

The Indonesian Ulema Council (MUI) has issued an illegitimate fatwa against smoking in mosques because it endangers the health of worshippers and interferes with the comfort of worshippers. This study aims to investigate smoking behaviour in mosques and violations of fatwas from ulama and governor regulations. This study follows a cross-sectional design conducted by interviewing 531 Muslims who have prayed in the mosque for the last 14 days and observed the compliance of the mosque in implementing a smoke-free policy in (...) 315 mosques. Frequency distribution and cross-tabulation were carried out using JASP 16 software using cross-tabulation. The results of this study indicate that the implementation of the smoke-free policy for mosques in Medan has been violated many times (57.8%), especially the violation regarding smoking in mosques (32.1%); cigarette butts were still found in the yard of the mosque (44.1%). Violations of the policy of fatwa smoke-free areas occurred in public mosques (61%) and muhammadiyah mosques (46.5%). Smoking behaviour in mosques was seen in the last 2 weeks, namely smoking behaviour carried out by worshippers (57.6%), smoking behaviour carried out by mosque administrators (39.2%), smoking behaviour carried out by community leaders in mosques (19.4%) and smoking behaviour that ulemas carried out in mosques (14.3%). Worshippers must comply with the rules against smoking in mosques because it can endanger the health of other worshippers. Cigarette smoke in the mosque will make other worshippers uncomfortable to worship so that it can damage the solemnity of the congregation to worship in the mosque. Contribution: This study is expected to explain smoking behaviour in mosques, violations of smoking behaviour in mosques that violate the ulama’s fatwa regarding smoking behaviour in mosques and the governor’s regulation on smoking behaviour in mosques. (shrink)

Public announcement logic is an extension of epistemic logic with dynamic operators that model the effects of all agents simultaneously and publicly acquiring the same piece of information. One of the extensions of PAL, group announcement logic, allows quantification over announcements made by agents. In GAL, it is possible to reason about what groups can achieve by making such announcements. It seems intuitive that this notion of coalitional ability should be closely related to the notion of distributed knowledge, the implicit (...) knowledge of a group. Thus, we study the extension of GAL with distributed knowledge, and in particular possible interaction properties between GAL operators and distributed knowledge. The perhaps surprising result is that, in fact, there are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge. We also consider several natural variants of GAL with distributed knowledge, as well as some other related logic, and compare their expressive power. (shrink)

Coalition announcement logic is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the anti-coalition may have an announcement of their own to preclude the former from reaching its epistemic goals. In this paper, we describe a PSPACE-complete model checking algorithm for CAL that produces winning strategies for coalitions. The algorithm is implemented in a proof-of-concept model checker.

Religious teachings express the fact that a human is a social being and associates with various people. In order to have a successful and safe life, we should refrain from any selfishness, harming others, malice and humiliating people and should always be forgiving, selfless and humble in relationships. Interpersonal relationships are one of the most important components of human life from birth to death; none of the potential capabilities of humans grow except in the shadow of interpersonal relationships. Learning correct (...) interpersonal relationships is very important in creating mental health, personality development, identity finding, increasing job productivity, increasing quality of life, increasing adaptability and self-fulfilment. The current research was conducted with the aim of explaining the relationship between communication skills based on Islamic teachings and students’ life skills. In this research, Ayats [verses] from the Holy Quran that are related to communication skills and relationships between people in Islamic society have been discussed, and then the components of effective communication and its role in students’ life skills have been explained. This research discusses the following factors: human dignity and self-esteem, tolerance and compromise skills, forgiveness skills, accountability skills, justice orientation skills and individual behaviour skills. Contribution: The results of this research indicate that according to students’ imitation of teachers, paying special attention to the components of communication skills according to Islamic teachings in schools can affect students’ life skills. Therefore, by improving the mental health of the youth, and consequently the health of the society will be affected and it will bring excellence to the society. (shrink)

This study aims to discuss the historiography of standing up Maḥallu al-Qiyām in the cultural expression in Indonesia. This research is classified as qualitative research with a historical approach method reinforced with documentation, interview and observation. To deepen the meaning of Maḥallu al-Qiyām using analysis using the symbolic interpretive theory of Clifford Geertz. Interestingly, the tradition of Maḥallu al-Qiyām becomes a symbolic meaning of the expression of homage to the Prophet Muhammad and has the content of Maḥabbah teachings to the (...) Prophet. This research concluded that standing up Maḥallu al-Qiyām began when Sheikh Tajuddin as-Subkhi started his stand while reading the Prophet’s Mawlīd as a symbol of respect for the Prophet Muhammad. The Maḥallu al-Qiyām has various forms of celebration as a cultural expression in Indonesia, manifested in various forms of celebration in Javanese cultures, such as muludan, srakalan, kekahan, temu manten, manakiban, sema’an al-Qur’an, and respect for newly arrived ulama.Contribution: This article has contributed to discovering the traditions that developed in Indonesia, which intersected with Maḥallu al-Qiyām, thus identifying some expressions of Javanese culture in whose dialectic with standing Maḥallu al-Qiyām. (shrink)

This article examines gift-giving within the Persian empire and its perception in Greek literary sources. Gift-giving in the Greek world was often framed in the language of friendship, and Greek authors subsequently articulated Persian traditions using the language and cultural norms of their intended audience. There were fundamental differences in the concepts of gift-exchange and reciprocity between the Greeks and the Persians. This article will examine Persian traditions of gift-giving followed by Greek traditions of gift-giving, and will argue that the (...) Greek misrepresentation of Persian customs led to numerous misunderstandings in relations between Greek and Persian individuals. The use of Greek descriptive language, rather than more accurate terminology, to describe Persian traditions has hindered our understanding of gift-giving in the Persian empire. In addressing these misconceptions, this article will demonstrate the successful use of gift-giving in the Persian empire and the perils of Greek misrepresentation of foreign customs. (shrink)