Results 221 to 230 of about 4,530 (262)

Feasibility of implementing a multicultural curriculum through artificial intelligence: perspectives of educational science experts. [PDF]

Sci Rep
Qin H, Zhou Z.
europepmc   +1 more source

An Epistemic Strategy Logic [PDF]

ACM Transactions on Computational Logic, 2018
This article presents an extension of temporal epistemic logic with operators that can express quantification over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode the strategy being used by each of the agents.
Xiaowei Huang, Ron Van Der Meyden
exaly   +6 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

An Internal Version of Epistemic Logic [PDF]

Studia Logica, 2010
The author discusses three different ways to model epistemic scenarios: The \textit{external approach}, where the modeller is not one of the agents. Depending on whether the modeller has perfect knowledge of the situation or not, this approach is either \textit{perfect} or \textit{imperfect}. The \textit{imperfect internal approach}, where the modeller
Guillaume Aucher
exaly   +4 more sources

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

Epistemic conditional logics

1996
This paper develops two conditional logics that allows one to reason about the belief of another agent (which reasons in conditional logic himself). The desirable properties of such logics that reason about the beliefs of another non-monotonic agent are discussed and the two logics proposed here are shown to have those properties.
Ana María Monteiro, Jacques Wainer
openaire   +1 more source

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