Results 101 to 110 of about 825,268 (301)

The Expressivity of Factual Change in Dynamic Epistemic Logic [PDF]

, 2014
A commonly used dynamic epistemic logic is one obtained by adding commonknowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of ...
KUIJER, LOUWE B, Kuijer, Louwe B.
core   +2 more sources

Cross‐disciplinary integration: Information practices and a role for information scholars. An annual review of information science and technology paper

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

The synchronicity of dynamic epistemic logic

, 2011
In a recent paper, van Benthem, Gerbrandy, Hoshi and Pacuit gave a natural translation of dynamic epistemic logic (DEL) into epistemic temporal logic (ETL) and proved a representation theorem, characterizing those ETL models that are translations of some
Dégremont, Cédric, Lowe, B., Witzel, A., Apt, K.R., Dégremont, C.   +4 more
core   +1 more source

Knowing-Who in Quantified Epistemic Logic [PDF]

, 2018
This article proposes an account of knowing-who constructions within a generalisation of Hintikka’s (Knowledge and belief. Cornell UP, Ithaca, MA, [10]) quantified epistemic logic employing the notion of a conceptual cover Aloni PhD thesis [1].
Aloni, M., Sandu, G., van Ditmarsch, H.
core   +1 more source

Affective dimensions in the information behavior of forcibly displaced people: A literature review. An Annual Review of Information Science and Technology (ARIST) paper

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

Multi-succedent sequent calculus for intuitionistic epistemic logic

Lietuvos Matematikos Rinkinys
A multi-succedent sequent calculus for intuitionistic epistemic logic (IEL) is introduced in the paper. It is  proved that the structural rules of weakening and contraction and the rule of cut are admissible in the  calculus.
Romas Alonderis
doaj   +3 more sources

Bridging the Gap: An Epistemic Logical Model for Analysing Students’ Argumentation and Proof in Mathematics Education Research

Education Sciences
In 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

Phantom citations: An empirical study of non‐existent and unverifiable references in scholarly literature

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, Sathiamoorthy Manoharan, Xinfeng Ye, Ulrich Speidel   +3 more
wiley   +1 more source

Elements of Epistemic Crypto Logic

International Joint Conference on Autonomous Agents and Multiagent Systems, 2015
Representation of ignorance about large numbers --- agent a does not know agent b's key --- is not feasible in standard Kripke semantics. The paper introduces register models that allow for compact representation of such ignorance. This is used to design a sound an complete language for number guessing games.
van Eijck, J., Gattinger, M.
openaire   +3 more sources