Results 61 to 70 of about 79,232 (299)
On the Possibility of a General Purge of Self-Reference
My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook.
Lucas Rosenblatt
doaj +1 more source
Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics [PDF]
G3-style sequent calculi for the logics in the cube of non-normal modal logics and for their deontic extensions are studied. For each calculus we prove that weakening and contraction are height-preserving admissible, and we give a syntactic proof of the ...
E. Orlandelli
semanticscholar +1 more source
The influence of postdeposition treatments on the formation of self‐assembling (mono)layers commonly utilized as hole transport layers in perovskite‐based solar cells is thoroughly investigated. The implementation of a washing step and an annealing step at temperatures exceeding the current literature standards leads to an enhanced layer quality and ...
Jann B. Landgraf +14 more
wiley +1 more source
Janus (MoS2) transistors functionalized with sodium alginate (SA) and poly(vinylidene fluoride‐co‐trifluoroethylene) [P(VDF‐TrFE)] exhibit persistent photo‐induced ionic gating, driven by dynamic cation migration at the hybrid interface. This ionic mechanism enables finely tunable photoconductivity and emulates key synaptic plasticity behaviors ...
Yeonsu Jeong +5 more
wiley +1 more source
Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers
In Symbolic Logic (1932), C. I. Lewis developed five modal systems S1 − S5. S4 and S5 are so-called normal modal systems. Since Lewis and Langford’s pioneering work many other systems of this kind have been investigated, among them the 32 systems that ...
Daniel Rönnedal
doaj +1 more source
A “liquid locking” strategy is proposed and implemented for scalable printing of crack‐free bassanite ceramic frameworks with interlocking microstructures to host ionic liquids as effective electrolytes for high‐temperature micro‐supercapacitors (HT‐MSCs).
Shiqian Chen +7 more
wiley +1 more source
Single‐Step Synthesis of In‐plane 1T'‐2H Heterophase MoTe2 for Low‐Resistance Contacts
A single‐step CVD method is developed to synthesize seamless in‐plane 1T'‐2H MoTe2 heterophase junctions with precise phase control and uniform large‐area coverage. The resulting transistors, incorporating 1T' MoTe2 contacts and 2H MoTe2 channels, exhibit ultralow contact resistance, offering a scalable solution to the long‐standing challenge of ...
Ye Lin +9 more
wiley +1 more source
Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam +14 more
wiley +1 more source
A Van Benthem Characterization Result for Distribution-Free Logics
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj +1 more source
Lithium‐Ion/Lithium Metal Hybrid Batteries Enabled by Lithio‐Amphiphilic Bilayer Protection
Lithium‐ion/Lithium metal hybrid batteries couple intercalation and plating mechanisms, yet are plagued by lithium dendrite formation. Here, a lithio‐amphiphilic bilayer comprising silver (Ag)/chromium(Cr) thin films is sequentially deposited on the graphite anode.
Jihoon Oh +12 more
wiley +1 more source

