Results 161 to 170 of about 2,148,404 (272)

Application of artificial intelligence in osteoporosis: a review. [PDF]

open access: yesFront Med (Lausanne)
Fan ST   +6 more
europepmc   +1 more source

Auxiliary modal operators and the characterization of modal frames

open access: yes, 1996
In modal logics we are interested in classes of frames which determine the logic under consideration. Such classes are usually distinguished by their respective frame properties, often also called the modal logic's background theory. In general these characterizations are not unique and it is desireable (and that not only from a theorem prover's ...
openaire   +1 more source

Home - About - Disclaimer - Privacy