Results 51 to 60 of about 5,005 (305)
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-
Ron van der Meyden
doaj +1 more source
Structures for Epistemic Logic. [PDF]
, 2014 In this chapter we overview the main structures of epistemic and doxastic logic. We start by discussing the most celebrated models for epistemic logic, i.e., epistemic Kripke structures. These structures provide a very intuitive interpretation of the accessibility relation, based on the notion of information.
Nick Bezhanishvili, Wiebe van der Hoek
openalex +6 more sources
Towards Syntactic Epistemic Logic
Fundamenta Informaticae, 2022 Traditionally, Epistemic Logic represents epistemic scenarios using a single model. This, however, covers only complete descriptions that specify truth values of all assertions. Indeed, many—and perhaps most—epistemic descriptions are not complete. Syntactic Epistemic Logic, SEL, suggests viewing an epistemic situation as a set of syntactic conditions ...
openaire +3 more sources
Australian Journal of Social Issues, EarlyView.ABSTRACT This article presents the development of a five‐phase Indigenous Data Governance (IDGov) Framework in Australia, focusing on partnerships between the Aboriginal Community Controlled Health Organisation (ACCHO) sector and non‐Indigenous health entities.
Jacob Prehn +4 more
wiley +1 more source
A Logic for Global and Local Announcements [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ]^+_A and [φ] ^-_A indexed to a subset A of the set Ag of all agents – for global and local announcements ...
Francesco Belardinelli +2 more
doaj +1 more source
“Lives and times”: The case for qualitative longitudinal research in anatomical sciences education
Anatomical Sciences Education, EarlyView.Abstract Qualitative longitudinal research (QLR) focuses on changes in perceptions, interpretations, or practices through time. Despite longstanding traditions in social science, QLR has only recently appeared in anatomical sciences education (ASE).
Charlotte E. Rees, Ella Ottrey
wiley +1 more source
From Quantum theory to Quantum theology: A leap of faith
HTS Teologiese Studies/Theological Studies, 1997 This article is aimed at introducing multi valued logic as an epistemic model for theological thought within the reformational-dialectic paradigm. Nowadays, reformational-dialectic theology is challenged by postmodem culture, interreligious exposure and
M. M.J. Basson, J. H. Koekemoer
doaj +1 more source
King Aorta: Narrative anatomy education
Anatomical Sciences Education, Volume 18, Issue 3, Page 264-276, March 2025.Abstract The aim of this study was to investigate the effects of narrative anatomy education and traditional anatomy education on academic achievement. The study included 64 students who were randomly divided into two groups. The two groups were (n = 32) control (Group 1) and (n = 32) experimental (Group 2). The pretest scores of the two groups were 36.
Halil Yilmaz
wiley +1 more source
Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes
MathematicsIn traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common.
Jinjin Zhang +3 more
doaj +1 more source
Games, 2016 The modeling of awareness and unawareness is a significant topic in the doxastic logic literature, where it is usually tackled in terms of full belief operators. The present paper aims at a treatment in terms of partial belief operators.
Mikaël Cozic
doaj +1 more source