Results 101 to 110 of about 19,016 (311)

Interlayer Expansion of Bulk MoS2 via Top‐Down Organic Pillaring Enables Tunable Li+ Intercalation and Controlled Solvent Co‐Intercalation

Advanced Functional Materials, EarlyView.
Top‐down organic pillaring expands the interlayer spacing of bulk‐sized MoS2 particles while preserving the bulk morphology. Operando X‐ray diffraction and electrochemical dilatometry show that MoS2‐bulk undergoes solvent co‐intercalation in diglyme electrolyte, causing large structural expansion, while pillared, expanded MoS2 suppresses solvent uptake
Jaehoon Choi, Pakornrum Tulaphon, Franz Jacobi, Kyeonghyeon Nam, Jameela Karol, Mete B. Durukan, Christoph Scheurer, Desirée Leistenschneider, Simon Fleischmann   +8 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

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   +3 more sources

A Hybrid Intuitionistic Logic: Semantics and Decidability

, 2005
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.
Damiano Macedonio, Rohit Chadha, Chadha, R., Vladimiro Sassone, Macedonio, D., Sassone, V.   +5 more
core  

Bandgap‐Engineered AlGaAs/GaAs Heterostructures for Wavelength‐Selective Dual‐Polarity Photoelectrochemistry

Advanced Functional Materials, EarlyView.
Bandgap‐engineered AlGaAs/GaAs heterostructures exhibit wavelength‐selective dual‐polarity photoelectrochemistry, switching from photocathodic to photoanodic response depending on excitation wavelength. The polarity transition is governed by band‐selective absorption, built‐in electric‐field‐driven carrier transport, and interfacial charge‐transfer ...
Yukai Mao, Lipin Chen, Jules Courtin, Siyu Lin, Gangri Cai, Yan Zhu, Yoan Léger, Nicolas Bertru, Jinshi Zhao, Charles Cornet   +9 more
wiley   +1 more source

Modalities in vector logic.

Notre Dame Journal of Formal Logic, 1994
The core idea of vector logic is to represent the classical truth values \(W\), \(F\) as two linearly independent vectors \(a_ 1\), \(a_ 2\) of some real vector space, and to represent truth functions by matrices. This idea is first extended to the many-valued case in taking the convex hull of \(\{a_ 1, a_ 2\}\) as set of truth degrees.
openaire   +3 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   +3 more sources

Axiomatizations for Propositional and Modal Team Logic [PDF]

, 2016
A framework is developed that extends Hilbert-style proof systems for propositional and modal logics to comprehend their team-based counterparts. The method is applied to classical propositional logic and the modal logic K.
Lück, Martin
core   +1 more source

Is It Real Type‐II or S‐Scheme? A Three‐Phase Diagnostic Protocol for Identifying Potentially Mislabeled Heterojunction Photocatalysts

Advanced Functional Materials, EarlyView.
Diagnostic analysis via the heterojunction validation funnel. The funnel illustrates the hierarchical stratification of 30 reported Type‐II systems based on the three‐phase, seven‐step diagnostic framework. Complete validation through all phases is achieved by only 3.3% of systems, while 96.7% lack full mechanistic validation, revealing a pervasive ...
Ki‐Hyun Kim
wiley   +1 more source

Dialetheic Conditional Modal Logic

, 2019
© Springer Nature Switzerland AG 2019. Standard modal logic for alethic modalities analyses modalities as ranging over all possible worlds (the Leibnizian universe). This leaves very little room in the space of worlds to entertain impossible things.
Girard, Patrick, Patrick Girard
core   +1 more source