Results 131 to 140 of about 2,948 (196)

Kripke, Pierre and Constantinescu

The Reasoner, 2007
Laurence Goldstein
doaj  

Can Sensor Technologies Accurately Detect and Monitor Behavioural and Psychological Symptoms of Dementia? A Systematic Review. [PDF]

Dement Geriatr Cogn Dis Extra
Abdul Jabbar K, Ting SQ, Choo SY, Munro YL, Tan SM, Rawtaer I.   +5 more
europepmc   +1 more source

Deciphering organotropism reveals therapeutic targets in metastasis. [PDF]

Front Cell Dev Biol
Bautista J, López-Cortés A.
europepmc   +1 more source

Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking. [PDF]

Sci Rep
Lu C, Li C, Liu C, Wu X, Huang Y.
europepmc   +1 more source

Z-Drug Use and All-Cause Mortality: A Meta-Analysis of Observational Cohort Studies. [PDF]

Neuropsychiatr Dis Treat
Park JY, Park HJ, Ko HJ, Kim AS, Song JE, Hong HE.   +5 more
europepmc   +1 more source

Evaluating Performance and Agreement of Coronary Heart Disease Polygenic Risk Scores.

JAMA
Abramowitz SA, Boulier K, Keat K, Cardone KM, Shivakumar M, DePaolo J, Judy R, Bermudez F, Mimouni N, Neylan C, Kim D, Rader DJ, Ritchie MD, Voight BF, Pasaniuc B, Levin MG, Damrauer SM, Penn Medicine BioBank.   +17 more
europepmc   +1 more source

Submodels of Kripke models

Archive for Mathematical Logic, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Albert Visser
exaly   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

Kripke

2011
This chapter examines Saul Kripke's mathematically rigorous, paradox-free treatment of truth for certain formal languages. Kripke adds hints about how his formal construction might model some features of natural language, but his hints steer a path between an inconsistency view and a vindicationist one.
Alexis G. Burgess, John P. Burgess
openaire   +2 more sources