Results 61 to 70 of about 1,125,186 (250)
An Axiom System of Probabilistic Mu-Calculus
Tsinghua Science and Technology, 2022 Mu-calculus (a.k.a. μTL) is built up from modal/dynamic logic via adding the least fixpoint operator μ. This type of logic has attracted increasing attention since Kozen’s seminal work.
Wanwei Liu +4 more
doaj +1 more source
Fractional-valued modal logic [PDF]
, 2023 This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the
PULCINI GABRIELE +2 more
core +1 more source
Genetically Programmed Shape‐Morphing of Engineered Living Materials
Advanced Functional Materials, EarlyView.Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker +7 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Neuromorphic devices for extreme environments are interpreted through the physical states that store and process information. Radiation, temperature extremes, and vacuum can perturb vacancies, filaments, trapped charges, polarization, interfaces, and readout signals.
Taehyun Park +7 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
Bistable Isochoric Chiral Metamaterials with Reprogrammable Multiaxial Responses
Advanced Functional Materials, EarlyView.An isochoric bistable rotational unit cell enables in situ modification of internal contact conditions post‐fabrication, without altering the global envelope dimensions of the surrounding architecture. By selectively switching between open and closed states, the tessellated chiral metamaterial can reprogram its volumetric response, including bulk ...
Shujia Chen +3 more
wiley +1 more source
Advances in Modal Logic, 2018 A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform deductive interpolation property for equational consequence in a variety, and a general criterion was given for the ...
Kowalski, Tomasz, Metcalfe, George
openaire +4 more sources
Three-valued Logics in Modal Logic [PDF]
Studia Logica, 2012 Abstract Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula.
Barteld P. Kooi, Allard M. Tamminga
openaire +2 more sources
Advanced Functional Materials, EarlyView.Neuromorphic plasticity in OECTs is governed by the post‐stimulus evolution of coupled ionic and electronic states. Semiconductor chemistry and morphology, electrolyte composition and interfaces, and device architecture regulate ion injection, transport, confinement, and release, shifting responses from rapidly relaxing STP to metastable memory and ...
Inho Lee +9 more
wiley +1 more source
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
Inteligencia Artificial, 2020 We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj +1 more source