Results 301 to 310 of about 182,690 (327)

Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Probabilistic Automata and Probabilistic Logic

2012
We present a monadic second-order logic which is extended by an expected value operator and show that this logic is expressively equivalent to probabilistic automata for both finite and infinite words. We give possible syntax extensions and an embedding of our probabilistic logic into weighted MSO logic. We further derive decidability results which are
openaire   +2 more sources

The logic of probabilistic knowledge

Philosophical Studies, 2019
Sarah Moss’ thesis that we have probabilistic knowledge is from some perspectives unsurprising and from other perspectives hard to make sense of. The thesis is potentially transformative, but not yet elaborated in sufficient detail for epistemologists.
openaire   +2 more sources

The probabilistic foundations of logic

Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic, 2003
Summary form only given, as follows. A conditional version of the Komolgoroff axioms for probability theory is developed, and it is shown that the resulting theory can serve as a formal semantics for any logic in which the notion of maximally consistent set is definable, provided the probability functions are defined over the power set of the maximally
openaire   +2 more sources

Probabilistic Neighbourhood Logic

2000
This paper presents a probabilistic extension of Neighbourhood Logic (NL[14,1],). The study of such an extension is motivated by the need to supply the Probabilistic Duration Calculus (PDC,[10,4]) with a proof system. The relation between the new logic and PDC is similar to that between DC [15] and ITL [12,3]. We present a complete proof system for the
openaire   +2 more sources

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +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, Aleš Hrabec, Trong Phuong Dao   +2 more
exaly  

Logic gates based on neuristors made from two-dimensional materials

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

Reconfigurable logic and neuromorphic circuits based on electrically tunable two-dimensional homojunctions

Nature Electronics, 2020
Chen Pan, Chen-Yu Wang, Shi-Jun Liang
exaly