Results 271 to 280 of about 5,005 (305)
Some of the next articles are maybe not open access.

Dynamic Epistemic Logic

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

Dynamic Epistemic Logic

2008
van Ditmarsch, H.P.   +2 more
openaire   +2 more sources

Hintikka’s Epistemic Logic

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

Epistemic Sortal Logic

2019
A notion of an ideal sense of knowledge is introduced. A formal language for sortals with a propositional operator formally representing such a notion is then defined. The formal language will contain temporal operators as well. A formal semantics for the language is defined and on its basis three sorts of semantic validity are distinguished, which ...
openaire   +1 more source

Free Epistemic Logic

2001
In the course of the development of epistemic logic during the sixties and seventies practically no principle that had been proposed as an axiom for the logic of knowledge was spared from critical objections1. Perhaps the only unobjectionable principle consists in the common sense truism that false statements cannot be known to be true, or: P1 If some
openaire   +1 more source

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega   +2 more
exaly  

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly  

Current-driven magnetic domain-wall logic

Nature, 2020
Zhaochu Luo   +2 more
exaly  

Logic gates based on neuristors made from two-dimensional materials

Nature Electronics, 2021
Chunsen liu, Jianlu Wang, Weida Hu
exaly  

Home - About - Disclaimer - Privacy