Results 111 to 120 of about 11,569 (296)

The connective of necessity of modal logic ${\rm S}5$ is metalogical. [PDF]

, 1983
Zdzisław Dywan
openalex   +1 more source

Triboelectric Nanogenerators Enable Multifunctional Ice Accretion, Melting, and Interfacial Fracture Detection

Advanced Materials, EarlyView.
Water impacting, freezing, melting, and being mechanically removed from the designed dielectric surfaces generates a triboeletric signal that can be used to detect various icing and de‐icing scenarios. The charge transferred directly scales with the interfacial fracture mechanism, further validating triboelectricity as an excellent ice‐detection ...
Kamran Alasvand Zarasvand, Mohammad Soltani, Araz Rajabi‐Abhari, Behrooz Khatir, Adel Malekkhouyan, Fatemeh Niknahad, Peter Di Palma, Julia Bains, Ali Dolatabadi, Yue Li, Mohammad H. Zarifi, Ning Yan, Kevin Golovin   +12 more
wiley   +1 more source

A propositional modal logic of time intervals [PDF]

, 1991
Joseph Y. Halpern, Yoav Shoham
openalex   +1 more source

High‐Performance Phototransistor Based on a 2D Polybenzimidazole Polymer

Advanced Materials, EarlyView.
A crystalline 2D polybenzimidazole polymer (2DPBI), incorporating a porphyrin‐based π‐system linked via 1,3‐diazole units, is synthesized on the water surface over large areas. The 2DPBI thin‐film exhibits high charge carrier mobility (≈240 cm2 V−1 s−1, measured by terahertz spectroscopy), strong photoresponse, and band‐like transport, enabling ...
Anupam Prasoon, Preetam Dacha, Heng Zhang, Elif Unsal, Mike Hambsch, Alexander Croy, Shuai Fu, Nguyen Ngan Nguyen, Kejun Liu, Haoyuan Qi, Sein Chung, Minyoung Jeong, Lei Gao, Ute Kaiser, Kilwon Cho, Hai I. Wang, Renhao Dong, Gianaurelio Cuniberti, Mischa Bonn, Stefan C. B. Mannsfeld, Xinliang Feng   +20 more
wiley   +1 more source

Localized Spin Textures Stabilized by Geometry‐Induced Strain in 2D Magnet Fe3GeTe2

Advanced Materials, EarlyView.
Strain engineering in 2D van der Waals ferromagnet Fe₃GeTe₂ is studied using scanning transmission X‐ray microscopy. Spatially varying strain from micropillar arrays induced local 10 K Curie temperature increases, stabilizing magnetic domains including skyrmions and skyrmion bags near pillar corners.
Yuhan Sun, Max T. Birch, Simone Finizio, Lukas Powalla, Sayooj Satheesh, Tim Priessnitz, Eberhard Göring, Ernst Knöckl, Christoph Kastl, Alexander Holleitner, Klaus Kern, Markus Weigand, Sebastian Wintz, Marko Burghard   +13 more
wiley   +1 more source

A characterization of adjunction in a many-valued modal system

CQD Revista Eletrônica Paulista de Matemática
Galois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa, Romulo Albano de Freitas   +1 more
doaj   +1 more source

Modal Logic, Transition Systems and Processes [PDF]

, 1994
Johan van Benthem, Jan van Eijck, VERA STEBLETSOVA   +2 more
openalex   +1 more source

MINIMAL MODAL LOGICS, CONSTRUCTIVE MODAL LOGICS AND THEIR RELATIONS

The Review of Symbolic Logic
Abstract We 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
openaire   +2 more sources

Long‐Range Spin Transport in Chiral Gold

Advanced Materials, EarlyView.
It is demonstrated that in chiral gold film, spin information can be transferred to distances of several microns at room temperature. The conduction of spins is accompanied by the Hall effect that exists without applying an external magnetic field. The spin diffusion length is consistent with the frequency‐dependent Hall effect which indicates spin ...
Tapan Kumar Das, Offek Marelly, Shira Yochelis, Yossi Paltiel, Ron Naaman, Jonas Fransson   +5 more
wiley   +1 more source

Higher-order and modal logic as a framework for explanation-based generalization [PDF]

, 1992
Scott Dietzen, Frank Pfenning
openalex   +1 more source