CAR-based cell therapy for autoimmune diseases. [PDF]
Li X +5 more
europepmc +1 more source
Quantitative System Risk Assessment From Incomplete Data With Belief Networks and Pairwise Comparison Elicitation. [PDF]
De Persis C +4 more
europepmc +1 more source
A 3D-printed Sanger sequencing activity addresses student misconceptions. [PDF]
Brown PE, Chen SH.
europepmc +1 more source
A new tandem repeat-based genotyping scheme for the global surveillance of Xanthomonas citri pv. mangiferaeindicae, an understudied bacterial pathogen of major importance to mango and cashew production. [PDF]
Boyer K +4 more
europepmc +1 more source
Scalable acoustic virtual stirrer for enhanced interfacial enzymatic nucleic acid reactions. [PDF]
Li D +9 more
europepmc +1 more source
Related searches:
Lattice logic as a fragment of (2-sorted) residuated modal logic
J. Appl. Non Class. Logics, 2018Correspondence and Shalqvist theories for Modal Logics rely on the simple observation that a relational structure is at the same time the basis for a model of modal logic and for a model of first-order logic with a binary predicate for the accessibility ...
Chrysafis Hartonas
semanticscholar +1 more source
On the complexity of the closed fragment of Japaridze’s provability logic
Archive for Mathematical Logic, 2013We consider the well-known provability logic GLP. We prove that the GLP-provability problem for polymodal formulas without variables is PSPACE-complete. For a number n, let $${L^{n}_0}$$L0n denote the class of all polymodal variable-free formulas without
F. Pakhomov
semanticscholar +1 more source
The Monodic Fragment of Propositional Term Modal Logic
Studia Logica: An International Journal for Symbolic Logic, 2018A. Padmanabha, Ramaswamy Ramanujam
semanticscholar +1 more source

