Results 71 to 80 of about 12,748 (219)
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
Theoria, EarlyView.ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source
Securities Law Reform and the ALI Federal Securities Code [PDF]
, 1979 Professor Kripke was one of Professor Loss\u27 consultants for the Federal Securities Code project. In this article, Professor Kripke expresses both his overall support for the enactment of the proposed Code and his reservations regarding some of the ...
Kripke, Homer
core +1 more source
Crítica, 2018 Saul Kripke’s still largely unpublished views on functionalism in the philosophy of mind are expounded on the basis of a transcript of a 1984 lecture of his on the topic, and some unresolved questions identified.
John P. Burgess
doaj +1 more source
Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures.
Труды Института системного программирования РАН, 2007 The main goal of model checking is to verify whether a model of a given program satisfies some given specification. In this paper models are regarded as fair or ordinary Kripke structures whereas specifications are represented by formulae branching-time ...
P.E. Bulychev +2 more
doaj
Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs
Mathematical and Computational Applications, 2019 Preserving the confidentiality of information is a growing concern in software development. Secure information flow is intended to maintain the confidentiality of sensitive information by preventing them from flowing to attackers.
Ali A. Noroozi +2 more
doaj +1 more source
Diabetes, Obesity and Metabolism, Volume 28, Issue 10, Page 9552-9562, October 2026.ABSTRACT Aims Interrupting evening sedentary time with activity breaks in a laboratory setting improves postprandial metabolism and sleep duration. This pilot study aimed to assess if a theory‐informed intervention was able to increase the number of activity breaks performed in the evening at home, and to describe changes in movement patterns ...
Jennifer T. Gale +3 more
wiley +1 more source
Kripke-style models for typed lambda calculus [PDF]
, 1991 Mitchell, J.C. and E. Moggi, Kripke-style models for typed lambda calculus, Annals of Pure and Applied Logic 51 (1991) 99–124.The semantics of typed lambda calculus is usually described using Henkin models, consisting of functions over some collection of
Moggi, Eugenio, Mitchell, John C.
core +1 more source
Journal of Sleep Research, Volume 35, Issue 5, October 2026.ABSTRACT This systematic literature review evaluated the risks of using benzodiazepine medications for more than 3 months in adults with chronic insomnia. Chronic insomnia is defined as ongoing dissatisfaction with sleep quantity or quality, causing significant distress and impaired functioning during the day.
Dieter Riemann +7 more
wiley +1 more source
What do hypnotics cost hospitals and healthcare? [version 2; referees: 2 approved]
F1000Research, 2017 Hypnotics (sleeping pills) are prescribed widely, but the economic costs of the harm they have caused have been largely unrecognized. Randomized clinical trials have observed that hypnotics increase the incidence of infections.
Daniel F. Kripke
doaj +1 more source