Results 81 to 90 of about 1,072,805 (301)

Embedded Ferroelectric Nanoclusters Can Drive Polarization Reversal in a Non‐Ferroelectric Polar Film via the Proximity Effect

Advanced Functional Materials, EarlyView.
Ferroelectric nanoclusters create local internal fields in a normally non‐switchable polar film because of polarization mismatch at their interfaces. That field opposes polarization in the regions with larger polarization and reinforces polarization in the regions with smaller polarization.
Anna N. Morozovska, Eugene A. Eliseev, Sergei V. Kalinin, Long‐Qing Chen, Dean R. Evans, Venkatraman Gopalan   +5 more
wiley   +1 more source

Ambient‐Stable Transparent P‐Type CuI Transistors Via Room‐Temperature Pulsed Laser Deposition

Advanced Functional Materials, EarlyView.
An in situ PLD fabricated AlOx${\rm AlO}_x$/CuI/AlOx${\rm AlO}_x$ sandwich structure enables stable CuI TFTs with a field‐effect mobility of 2.3 ±$\pm$ 0.7 cm2${\rm cm}^{2}$ V−1${\rm V}^{-1}$ s−1${\rm s}^{-1}$ and excellent ambient stability. Complementary inverters based on CuI:Rb and ZnO:Al exhibit rail‐to‐rail voltage transfer characteristics and an
Yang Chen, Susanne Selle, Michael S. Bar, Michael Lorenz, Holger von Wenckstern, Marius Grundmann   +5 more
wiley   +1 more source

General Dynamic Dynamic Logic

, 2012
Dynamic epistemic logic (DEL) extends purely modal epistemic logic (S5) by adding dynamic operators that change the model structure. Propositional dynamic logic (PDL) extends basic modal logic with programs that allow the definition of complex modalities.
Girard, Patrick, Seligman, Jeremy, Liu, F   +2 more
core   +1 more source

Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory

International Journal of Computational Intelligence Systems, 2020
This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi, Petr Cintula, Carles Noguera   +2 more
doaj   +1 more source

Atom Probe Tomography as an Emerging Tool for Understanding Defect‑Driven Mechanisms in HfO2‑Based Ferroelectrics

Advanced Functional Materials, EarlyView.
This Perspective highlights atom probe tomography as a powerful tool for understanding the atomic‐scale defect chemistry in HfO2‐based ferroelectrics. 3D mapping of dopants, point defects, and interface chemistry can provide new insight into defect‐driven mechanisms underpinning the ferroelectricity in the system and guide the design of more reliable ...
Kasper Hunnestad, Catherine Dubourdieu, Alexei Gruverman, Dennis Meier   +3 more
wiley   +1 more source

Modal Extensions of Abelian Logic [PDF]

, 2018
This thesis studies the semantics and proof theory of modal extensions of abelian ...
Schnüriger, Laura Janina
core  

CARNAP’S PROBLEM FOR MODAL LOGIC

, 2023
We take Carnap's problem to be to what extent standard consequence relations in various formal languages fix the meaning of their logical vocabulary, alone or together with additional constraints on the form of the semantics.
DENIS BONNAY, Westerståhl, Dag,, DAG WESTERSTÅHL, Bonnay, Denis   +3 more
core   +1 more source

Binary‐to‐Ternary Reconfigurable Transistors Using Plasma‐Assisted MoS2

Advanced Functional Materials, EarlyView.
A binary‐to‐ternary reconfigurable transistor is demonstrated using a dual‐gated molybdenum disulfide homojunction with localized O2 plasma treatment. The device exhibits on/intermediate and intermediate/off current ratios of 102 and 104, respectively, and the intermediate state is electrically tunable in the ternary mode.
Yeonghyeon Ko, Jungi Song, Minsu Kim, Yongwook Seok, Seongje Moon, Kenji Watanabe, Takashi Taniguchi, Kayoung Lee   +7 more
wiley   +1 more source

MINIMAL MODAL LOGICS, CONSTRUCTIVE MODAL LOGICS AND THEIR RELATIONS

The Review of Symbolic Logic
AbstractWe present a family of minimal modal logics (namely, modal logics based on minimal propositional logic) corresponding each to a different classical modal logic. The minimal modal logics are defined based on their classical counterparts in two distinct ways: (1) via embedding into fusions of classical modal logics through a natural extension of ...
openaire   +4 more sources

Encoding Modal Logics in Logical Frameworks

Studia Logica, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Avron, Arnon, HONSELL, Furio, MICULAN, Marino, Paravano, Cristian   +3 more
openaire   +4 more sources