Results 51 to 60 of about 1,465 (138)
iMetaMed, Volume 1, Issue 2, December 2025.Artificial intelligence (AI) technology is revolutionizing antimicrobial drug development. In response to increasingly severe antimicrobial resistance challenges, AI can efficiently predict pathogen evolutionary trends, identify potential drug targets, and accelerate compound design and optimization, thereby significantly shortening the development ...
Kexin Li +6 more
wiley +1 more source
The Modal Logics of Kripke-Feferman Truth [PDF]
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness ...
Nicolai, Carlo, Stern, Johannes
core
Towards the Integration of an Intuitionistic First-Order Prover into Coq
, 2016 An efficient intuitionistic first-order prover integrated into Coq is useful to replay proofs found by external automated theorem provers. We propose a two-phase approach: An intuitionistic prover generates a certificate based on the matrix ...
Kunze, Fabian
core +2 more sources
Efferocytosis in Health and Disease
MedComm, Volume 6, Issue 12, December 2025.Efferocytosis in health and disease. Efferocytosis integrates apoptotic cell recognition, engulfment, digestion, and reprogramming to link cell clearance with tissue repair. Molecular checkpoints balance “eat‐me” signals such as phosphatidylserine against inhibitory “don't‐eat‐me” cues like CD47, while TAM receptors, scavenger receptors, and integrins ...
Chaofu Li +14 more
wiley +1 more source
Coherence in Modal Logic [PDF]
, 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 ...
Kowalski, Tomasz, Metcalfe, George
core +1 more source
Ability as dependence modality
Noûs, Volume 59, Issue 4, Page 1126-1152, December 2025.Abstract Some modal expressions in language—for example, “can” and “able”—describe what is possible in light of someone's abilities. Ability modals are obviously related to other modalities in language, such as epistemic or deontic modality, but also give rise to anomalies that make them unique.
Paolo Santorio
wiley +1 more source
Extending Kolmogorov's axioms for a generalized probability theory on collections of contexts
, 2020 Kolmogorov's axioms of probability theory are extended to conditional probabilities among distinct (and sometimes intertwining) contexts. Formally, this amounts to row stochastic matrices whose entries characterize the conditional probability to find ...
Svozil, Karl
core
Hyperlogic: A System for Talking about Logics [PDF]
, 2019 Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional.
Kocurek, Alexander W.
core
Optimizing the computation of overriding
, 2015 We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau +17 more
core +1 more source
Engineered RNA Devices for In Vivo Targeted Therapeutics via Advanced Delivery Systems
Aggregate, Volume 6, Issue 11, November 2025.Schematic illustration of engineered RNA devices for in vivo targeted therapeutics via advanced delivery systems. ABSTRACT Engineered RNA devices can identify disease‐specific markers and precisely regulate gene expression, which is of great significance to the development of precision medicine.
Wei Luo +6 more
wiley +1 more source