Results 171 to 180 of about 10,593 (211)

Development and Evaluation of a Hallucination Awareness Scale for Healthcare Professionals and its impact on diagnostic confidence. [PDF]

Front Digit Health
Tandon U.
europepmc   +1 more source

Between access and anxiety: the paradox of digital mental health literacy. [PDF]

Front Psychiatry
Babu A.
europepmc   +1 more source

An Epistemic Separation Logic

, 2015
We define an Epistemic Separation Logic, called ESL, that allows us to consider epistemic possible worlds as resources that can be shared or separated, in the spirit of separation logics. After studying the semantics and the expressiveness of this logic, we provide a tableau calculus with labels and resource contraints that is sound and complete and ...
Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche   +2 more
openaire   +2 more sources

Bridging learning theory and dynamic epistemic logic [PDF]

SynthÈse, 2009
This paper discusses the possibility of modelling inductive inference (Gold 1967) in dynamic epistemic logic (see e.g. van Ditmarsch et al. 2007). The general purpose is to propose a semantic basis for designing a modal logic for learning in the limit ...
Nina Gierasimczuk, Gierasimczuk Nina
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Logics for Epistemic Programs

Synthese, 2004
We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs.
Alexandru Baltag, Lawrence S. Moss
openaire   +1 more source

Intuitionistic Logic As Epistemic Logic

Synthese, 2001
Is intuitionism a variant of constructivism? If intuitionism is not constructivism, what is it? What do the intuitions of the genuine intuitionists add up to? Are their intentions reflected faithfully in Heyting's intuitionistic logic? What is the epistemic logic like, in which the distinction can be made and in which the correctly understood claims of
openaire   +1 more source

Skepticism and Epistemic Logic

Studia Logica, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

An intensional epistemic logic

Studia Logica, 1993
A quantified multi-modal logic with equality is defined, where terms get additional markers. These markers are integers and denote the nesting depths of the term within the modal context. In an appropriately extended Kripke semantics for the logic, these markers can be used to record the world where the term has to be evaluated, even if it occurs in ...
openaire   +2 more sources

Substructural epistemic logics

Journal of Applied Non-Classical Logics, 2015
The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics (implicit belief) with distributive substructural logics (available evidence). Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point ...
openaire   +1 more source