Results 81 to 90 of about 1,125,186 (250)

Boolean basis, formula size, and number of modal operators [PDF]

Logical Methods in Computer Science
Is it possible to write significantly smaller formulae when using Boolean operators other than those of the De Morgan basis (and, or, not, and the constants)?
Christoph Berkholz, Dietrich Kuske, Christian Schwarz   +2 more
doaj   +1 more source

A Particle‐Level Dual‐Polymer Interphase for Coupled Interfacial and Contact Stabilization of Zinc Metal Powder Anodes in Aqueous Zinc‐Ion Batteries

Advanced Functional Materials, EarlyView.
A particle‐level dual‐polymer interphase of carboxymethyl cellulose (CMC) and poly(acrylic acid) (PAA) stabilizes zinc metal powder anodes by coupling CMC‐mediated water regulation with PAA‐derived Zn2+ affinity. This synergy suppresses hydrogen evolution, corrosion, and byproduct accumulation while preserving electrode‐level electrical contact ...
Yunah Ahn, Ye‐Won Kim, Dong Il Kim, Daehyun Kim, Kee‐Sun Sohn, Woon Bae Park, Jin Pyo Hong, John Hong   +7 more
wiley   +1 more source

Distribution-Free Normal Modal Logics

Logics
This article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj   +1 more source

Biodegradable Conductors for Implantable and Wearable Transient Bioelectronics

Advanced Functional Materials, EarlyView.
Biodegradable conductors are essential building blocks for transient bioelectronics, enabling temporary sensing, stimulation, and energy transfer while eliminating the need for device retrieval. This review summarizes biodegradable metals, conducting polymers, ionic conductors, and conductive composites, highlighting degradation mechanisms, material ...
Yicheng Zhu, Yijun Liu, Naoji Matsuhisa
wiley   +1 more source

On Paracomplete Versions of Jaśkowski's Discussive Logic

Bulletin of the Section of Logic
Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin, Vasily Shangin   +2 more
doaj   +1 more source

Thermally Robust Room‐Temperature Interlayer Excitons in a Hybrid van der Waals Heterostructure

Advanced Functional Materials, EarlyView.
We report an optically active interlayer exciton in a hybrid van der Waals (PEA)2PbBr4/MoS2 heterostructure that remains thermally stable up to 400 K. The emission exhibits polarization anisotropy consistent with an out‐of‐plane optical transition‐dipole component and shows lifetime extension indicative of electron–hole separation.
Seoyeon Ko, Hyeon Jun Jeong, Soungmin Bae, Jieun Jo, Chan Kwon, Hayoung Ko, Dong Hyeon Kim, Hyunjung Shin, Mun Seok Jeong, Seokhyun Yoon   +9 more
wiley   +1 more source

Positive Hennessy-Milner Logic for Branching Bisimulation [PDF]

Logical Methods in Computer Science
Labelled transitions systems can be studied in terms of modal logic and in terms of bisimulation. These two notions are connected by Hennessy-Milner theorems, that show that two states are bisimilar precisely when they satisfy the same modal logic ...
Herman Geuvers, Komi Golov
doaj   +1 more source

Applications of Finite Model Theory: Optimisation Problems, Hybrid Modal Logics and Games. [PDF]

, 2013
There exists an interesting relationships between two seemingly distinct fields: logic from the field of Model Theory, which deals with the truth of statements about discrete structures; and Computational Complexity, which deals with the classification ...
GATE, JAMES,SIMON
core  

Ion‐Reconfigurable “N”‐Shaped Antiambipolar Behavior in Organic Electrochemical Transistors

Advanced Materials, EarlyView.
A unique N‐shaped negative differential transconductance (NDT) characteristics is demonstrated in single‐polymer organic electrochemical transistors through a sequential doping–redox–doping process driven by iodide ions. This redox‐driven mechanism enables low‐voltage, ion‐controlled reconfigurability and tunable current modulation, allowing seamless ...
Debdatta Panigrahi, Daniele Zucchelli, Zeinab Hamid, Christina Kousseff, Arup Sarkar, Aristea Pavlou, Zhitian Ling, Somayeh Kashani, Iain McCulloch, Paul W. M. Blom, Fabrizio Torricelli, Paschalis Gkoupidenis   +11 more
wiley   +1 more source

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Chadha, R., Macedonio, D., Sassone, V.
core