Results 251 to 260 of about 132,694 (289)
Some of the next articles are maybe not open access.
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
A lightweight epistemic logic and its application to planning
Artificial Intelligence, 2021Martin C Cooper +2 more
exaly
2011
What is knowledge? How can we acquire knowledge? When can we say that we know something? Do we know that we know something? Those are the issues that puzzled Chinese philosophers about 2000 years ago, witness a famous dialogue below between Zhuangzi (approx.369–286 BC) from the Daoism School and Huizi (390–317 BC) from the School of Names: One day ...
openaire +3 more sources
What is knowledge? How can we acquire knowledge? When can we say that we know something? Do we know that we know something? Those are the issues that puzzled Chinese philosophers about 2000 years ago, witness a famous dialogue below between Zhuangzi (approx.369–286 BC) from the Daoism School and Huizi (390–317 BC) from the School of Names: One day ...
openaire +3 more sources
1987
All language is rule-governed, and the language of epistemology is no exception. The advent of the tools of modern symbolic logic has made it increasingly possible to investigate various uses of language by formalizing the language, i.e. enshrining the rules in a formal logic.
openaire +1 more source
All language is rule-governed, and the language of epistemology is no exception. The advent of the tools of modern symbolic logic has made it increasingly possible to investigate various uses of language by formalizing the language, i.e. enshrining the rules in a formal logic.
openaire +1 more source