Results 131 to 140 of about 152,005 (336)
On Combining Intuitionistic and S4 Modal Logic
Bulletin of the Section of LogicWe address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj +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
Perovskite Microwires for Room Temperature Exciton‐Polariton Neural Network
Advanced Materials, EarlyView.Exciton‐polaritons are explored as a novel platform for optical neuromorphic computing at room temperature using a monocrystalline perovskite waveguide. Demonstrating non‐equilibrium Bose‐Einstein condensation, this work achieves machine learning tasks such as classification and object detection, marking a key advance toward energy‐efficient, practical
Andrzej Opala +9 more
wiley +1 more source
Title redacted for blind review [PDF]
This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability ...
Khudairi, Hasen
core
Advanced Materials, EarlyView.A photo‐patternable solid‐state electrolyte based on 𝜄‐carrageenan (𝜄‐CGN) and poly(ethylene glycol) diacrylate (PEGDA) is developed to enable high‐performance complementary OECT circuits. The successful demonstration of fully implanted devices for vagus nerve stimulation in mice highlights solid‐state 𝜄‐CGN‐based electrolytes as a promising platform ...
Miao Xiong +14 more
wiley +1 more source
A Roadmap for Plasma‐Enabled Electrocatalysis in Urea Production
Advanced Materials, EarlyView.A modular plasma—electrochemical platform enables fully electrified urea synthesis from air and CO2 under ambient conditions. This Review integrates plasma oxidation, C─N coupling electrolysis, mechanistic insights, and techno‐economic metrics into a roadmap for scalable, distributed, and renewable fertilizer production.
Jingwen Huang +6 more
wiley +1 more source
Remorphable Architectures: Reprogramming Global Bistability through Locally Bistable Metamaterials
Advanced Materials, EarlyView.Local bistable reconfiguration in mechanical metamaterials is leveraged in globally bistable architectures to enable in situ reprogrammable transition pathways through state flip of individual building blocks. The local‐to‐global correspondence of instabilities empowers soft robotic systems with on‐demand morphing traits, as well as aerospace ...
Lei Wu +3 more
wiley +1 more source
Manipulating Individual Topological Solitons and Bisolitons in an Electronic System
Advanced Materials, EarlyView.While localized topological modes in quantum materials promise loss‐less delivery of classical and quantum information, manipulating them individually has been challenging. This work succeeded in manipulating topological solitons formed along atomic wires on silicon surfaces with high reproducibility in various ways, including translating, transforming
Taehwan Im +2 more
wiley +1 more source
A characterization of adjunction in a many-valued modal system
CQD Revista Eletrônica Paulista de MatemáticaGalois 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 +1 more
doaj +1 more source
A propositional modal logic of time intervals [PDF]
, 1991 Joseph Y. Halpern, Yoav Shoham
openalex +1 more source