Results 281 to 290 of about 1,821,618 (323)

CAR-based cell therapy for autoimmune diseases. [PDF]

open access: yesFront Immunol
Li X   +5 more
europepmc   +1 more source

Scalable acoustic virtual stirrer for enhanced interfacial enzymatic nucleic acid reactions. [PDF]

open access: yesSci Adv
Li D   +9 more
europepmc   +1 more source

Lattice logic as a fragment of (2-sorted) residuated modal logic

J. Appl. Non Class. Logics, 2018
Correspondence 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, 2013
We 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, 2018
A. Padmanabha, Ramaswamy Ramanujam
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy