Results 71 to 80 of about 152,005 (336)
Boolean basis, formula size, and number of modal operators [PDF]
Logical Methods in Computer ScienceIs 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 +2 more
doaj +1 more source
A Monadic Formalization of ML5 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 ML5 is a programming language for spatially distributed computing, based on a Curry-Howard correspondence with the modal logic S5. Despite being designed by a correspondence with S5 modal logic, the ML5 programming language differs from the logic in ...
Daniel R. Licata, Robert Harper
doaj +1 more source
Single‐Step Synthesis of In‐plane 1T'‐2H Heterophase MoTe2 for Low‐Resistance Contacts
Advanced Functional Materials, EarlyView.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
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source
, 2017 The article investigates an evidence-based semantics for epistemic logics in which pieces of evidence are interpreted as equivalence relations on the epistemic worlds. It is shown that the properties of knowledge obtained from potentially infinitely many
Naumov, Pavel, Tao, Jia
core +1 more source
Advanced Functional Materials, EarlyView.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
Modal Logic in Sixteenth-Century Mexico
Crítica, 2018 En este artículo el autor examina varios puntos de la lógica modal de Alonso de la Vera Cruz (1504-1584). Lo hace utilizando el instrumental de la lógica matemática, tal como ya lo ha hecho en otros trabajos.
Walter Redmond
doaj +1 more source
Unification in Modal Logic [PDF]
, 2019 In this talk, we will give a survey of the results on unification in modal logic and we will present some of the open problems whose solution will have a great impact on the future of the area. After an introductory part about unification in equational theories, we will consider the case of Boolean unification, we will study the unification problem in ...
openaire +2 more sources
, 2015 In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning.
Wang, Yanjing
core +1 more source
Steep‐Switching Memory FET for Noise‐Resistant Reservoir Computing System
Advanced Functional Materials, EarlyView.We demonstrate the steep‐switching memory FET with CuInP2S6/h‐BN/α‐In2Se3 heterostructure for application in noise‐resistant reservoir computing systems. The proposed device achieves steep switching characteristics (SSPGM = 19 mV/dec and SSERS = 23 mV/dec) through stabilization between CuInP2S6 and h‐BN.
Seongkweon Kang +6 more
wiley +1 more source