Results 81 to 90 of about 4,530 (262)
Education SciencesIn this theoretical paper, an epistemic logical model for analysis of students’ argumentation and proof processes is presented. The model is conceived as a methodological tool addressed to the researcher in mathematics education that aims to shed light ...
Miglena Asenova
doaj +1 more source
Remarks on the Epistemic Interpretation of Paraconsistency Logic
Principia: An International Journal of Epistemology, 2018 In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e.
Nicolás Lo Guercio, Damian Szmuc
doaj +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract Cross‐disciplinary research is a priority for many academic institutions, with a growing body of scholarship dedicated to studying the central practice of cross‐disciplinarity: integration, or the synthesis of knowledge, information, and data across disciplines and domains.
Ciara Zogheib
wiley +1 more source
Conditional Probabilistic Epistemic Logic Based on the General Frame
PhilosophiesWith conditional probability as a primitive notion rather than a ratio of classical probability, we extend the language of epistemic logic by introducing conditional probability operators.
Qing Sun, Shangcheng Tang
doaj +1 more source
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
IEEE Access, 2019 The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
doaj +1 more source
Topo-Logic as a Dynamic-Epistemic Logic
, 2017 We extend the ‘topologic’ framework [13] with dynamic modalities for ‘topological public announcements’ in the style of Bjorndahl [5]. We give a complete axiomatization for this “Dynamic Topo-Logic”, which is in a sense simpler than the standard axioms of topologic.
Alexandru Baltag +2 more
openaire +3 more sources
A Family of Graded Epistemic Logics
Electronic Notes in Theoretical Computer Science, 2018 Abstract Multi-Agent Epistemic Logic has been investigated in Computer Science [Fagin, R., J. Halpern, Y. Moses and M. Vardi, “Reasoning about Knowledge,” MIT Press, USA, 1995] to represent and reason about agents or groups of agents knowledge and beliefs. Some extensions aimed to reasoning about knowledge and probabilities [Fagin, R. and J. Halpern,
Mario R. F. Benevides +2 more
openaire +3 more sources
Journal of the Association for Information Science and Technology, EarlyView.Abstract This review analyzed 241 scholarly articles published between 2010 and 2025 in information science venues to examine how affect shapes refugees' information behavior during forced migration and to identify additional contextual factors. It identifies seven affective dimensions: anxiety, shame and stigma, grief and loss, frustration, (mis)trust,
Maja Krtalić, Lilach Alon
wiley +1 more source
Journal of the Association for Information Science and Technology, EarlyView.Abstract The integrity of scholarly communication depends critically on the accuracy and verifiability of cited references. Citations enable readers to trace prior work, assess evidence, and situate new contributions within the existing literature. However, concerns have emerged regarding the presence of references in published papers that cannot be ...
Chengcheng Han +3 more
wiley +1 more source