Results 41 to 50 of about 6,233 (257)
A simple modal logic for belief revision [PDF]
We propose a modal logic based on three operators, representing intial beliefs, information and revised beliefs. Three simple axioms are used to provide a sound and complete axiomatization of the qualitative part of Bayes’ rule.
Giacomo Bonanno
core +2 more sources
Advanced Functional Materials, EarlyView.Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu +17 more
wiley +1 more source
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics [PDF]
Mathematical Logic Quarterly, 2022 AbstractWe give an extension of the Jónsson‐Tarski representation theorem for both normal and non‐normal modal algebras so that it preserves countably many infinite meets and joins. In order to extend the Jónsson‐Tarski representation to non‐normal modal algebras we consider neighborhood frames instead of Kripke frames just as Došen's duality theorem ...
openaire +3 more sources
Advanced Functional Materials, EarlyView.A compostable PGS soft surgical robot with interchangeable modules integrates transient Mo tactile and Si thermal sensors for dual feedback. The device preserves its function after clinical‐grade sterilization, demonstrates stable actuation and cardiac tissue grasping with real‐time in vivo pulsatile monitoring, and biodegrades post‐use with soil‐safe,
Minseong Chae +27 more
wiley +1 more source
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics [PDF]
, 2019 We present PRONOM, a theorem prover and countermodel generator for non-normal modal logics. PRONOM implements some labelled sequent calculi recently introduced for the basic system \(\mathbf {E}\) and its extensions with axioms M, N, and C based on bi-neighbourhood semantics.
Tiziano Dalmonte +3 more
openaire +2 more sources
Advanced Functional Materials, EarlyView.Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg +6 more
wiley +1 more source
3D Printing Innovations in Polymeric Porous and Patterned Architecture
Advanced Functional Materials, EarlyView.Polymeric foams occupy a unique structural space between dense solids and open networks, where engineered void fraction governs mechanical compliance, thermal resistance, and mass transport. Additive manufacturing now enables precise spatial control over cellular architecture, unlocking designer foam structures across applications spanning crash ...
Dhanush Patil +13 more
wiley +1 more source
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) [PDF]
, 2020 We present HYPNO (HYpersequent Prover for NOn-normal modal logics), a Prolog-based theorem prover and countermodel generator for non-normal modal logics. HYPNO implements some hypersequent calculi recently introduced for the basic system [Formula: see text] and its extensions with axioms M, N, and C.
Tiziano Dalmonte +2 more
openaire +1 more source
EXPTIME tableaux for the coalgebraic µ-Calculus
, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Cîrstea, C +8 more
core +1 more source
Advanced Functional Materials, EarlyView.A nanounit‐assembled hydrogel employing a “pull‐and‐push” strategy simultaneously scavenges pro‐inflammatory cell‐free DNA (cfDNA) and delivers regenerative therapeutics in response to burn‐induced hyperthermia. By repolarizing macrophages and promoting angiogenesis, this multifunctional platform accelerates burn wound healing, offering a blueprint for
Han‐Sem Kim +9 more
wiley +1 more source