Results 261 to 270 of about 5,005 (305)
Some of the next articles are maybe not open access.
Intuitionistic Logic As Epistemic Logic
Synthese, 2001Is 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
Free Quantified Epistemic Logics
Studia Logica, 2013zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CORSI, GIOVANNA, ORLANDELLI, EUGENIO
openaire +3 more sources
2018
Modern treatment of epistemic logic began in the 1950s when some philosophers noticed (as scholastics had done before them) certain regularities in the logical behaviour of the concept of knowledge (for example, that knowing a conjunction is equivalent to knowing all its conjuncts) and began to systematize them.
Jaakko Hintikka, Ilpo Halonen
openaire +1 more source
Modern treatment of epistemic logic began in the 1950s when some philosophers noticed (as scholastics had done before them) certain regularities in the logical behaviour of the concept of knowledge (for example, that knowing a conjunction is equivalent to knowing all its conjuncts) and began to systematize them.
Jaakko Hintikka, Ilpo Halonen
openaire +1 more source
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Dynamic Epistemic Temporal Logic
2009We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous. Since van Benthem and Pacuit (later joined by Hoshi and Gerbrandy) showed that standard Dynamic Epistemic Logic necessarily ...
Renne, B., Sack, Joshua, Yap, Audrey
openaire +2 more sources
Skepticism and Epistemic Logic
Studia Logica, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Substructural epistemic logics
Journal of Applied Non-Classical Logics, 2015The 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
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 Maria Monteiro, Jacques Wainer
openaire +1 more source
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 Maria Monteiro, Jacques Wainer
openaire +1 more source
1994
It is known that a theory in S5-epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas.
openaire +1 more source
It is known that a theory in S5-epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas.
openaire +1 more source