Results 91 to 100 of about 24,570,426 (223)
Intuitionistic Fuzzy Decision Tree Temporal Logic and Its Application in Engineering Decision-Making
AxiomsThis paper investigates engineering decision optimization in uncertain environments. Subject to constraints on cost and expected returns, engineering decisions optimize material input, equipment selection and process arrangement to minimize costs and ...
Xianfeng Yu +4 more
doaj +1 more source
Ordered Kripke Model, Permissibility, and Convergence of Probabilistic Kripke Model
, 2018 We define a modification of the standard Kripke model, called the ordered Kripke model, by introducing a linear order on the set of accessible states of each state. We first show this model can be used to describe the lexicographic belief hierarchy in epistemic game theory, and perfect rationalizability can be characterized within this model.
openaire +2 more sources
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
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
Swap Kripke Models for Deontic LFIs
Logic and Logical PhilosophyWe present a construction of nondeterministic semantics for some deontic logics based on the class of paraconsistent logics known as Logics of Formal Inconsistency (LFIs), for the first time combining swap structures and Kripke models through the novel notion of swap Kripke models.
Mahan Vaz, Marcelo E. Coniglio
openaire +2 more sources
Theoria, EarlyView.ABSTRACT Contemporary epistemologists analysing knowledge take (true) propositions to be the object of knowledge. In this paper, I provide an argument for the claim that the object of knowledge is, in fact, the world. The propositions in propositional knowledge ascriptions merely describe the part of the world of which the subject is aware. Kent Bach's
Tess Dewhurst
wiley +1 more source
Objective sleep parameters and diurnal blood pressure in concurrent hypertension and type 2 diabetes
Sleep Research, Volume 3, Issue 3, Page 195-203, September 2026.Abstract Background Hypertension is a primary cardiovascular complication in type 2 diabetes associated with increased morbidity and mortality. Ambulatory blood pressure monitoring (ABPM) is essential for capturing circadian BP variation, which is closely influenced by sleep. Methods Twenty patients (63.75 ± 4.44 years old, 40% female, duration of T2D:
Yan Zhao +6 more
wiley +1 more source
Physical Activity Profile of School‐Aged Children Born Very Preterm and Its Association With Sleep
Acta Paediatrica, Volume 115, Issue 9, Page 2018-2028, September 2026.ABSTRACT Aim To describe the association between different physical activity and sleep parameters in school‐aged children born very preterm. Methods A cross‐sectional analysis was done in a cohort of 6‐ to 10‐year‐old children born at < 32 weeks' gestation at the Department of Neonatology, University of Tübingen, Germany.
Maham Hassan +9 more
wiley +1 more source
An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking
IEEE Access, 2018 Fault tree generation technology is a key issue for safety analysis of large complex systems. Traditional safety analysis methods usually describe the origin, propagation, or concrete behavior of the fault and do not portray the constraints between ...
Lisong Wang +4 more
doaj +1 more source
Beyond self‐report: The relationship between daily social media use and sleep in university students
British Journal of Health Psychology, Volume 31, Issue 3, September 2026.Abstract Objectives University students regularly report insufficient sleep, with almost one‐third of students achieving less than 6.5 hours per night. Social media is one behaviour shown to negatively influence sleep. However, there has been a reliance on self‐report measures of both processes, which may not reflect objective behaviour. The aim was to
Hayley Breare +4 more
wiley +1 more source