Results 81 to 90 of about 20,953 (186)
Perceived Pain Following Hypnotic Deprescribing in Older Adults
Journal of the American Geriatrics Society, Volume 74, Issue 3, Page 669-675, March 2026.ABSTRACT Background Older adults with chronic insomnia often use benzodiazepine receptor agonists (BZRAs) despite known associated risks and non‐pharmacological alternatives such as cognitive behavioral therapy for insomnia (CBTI). CBTI reduces insomnia severity and could potentially improve other outcomes such as the impact of pain on daily activities,
Jennifer G. Hurtado +13 more
wiley +1 more source
Formal Semantics: Origins, Issues, Early Impact
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments ...
Barbara H. Partee
doaj +1 more source
Phenomenal knowledge and phenomenal causality
Noûs, Volume 60, Issue 1, Page 212-232, March 2026.Abstract There has been extensive debate over whether we can have phenomenal knowledge in the case of epiphenomenalism. This article aims to bring that debate to a close. I first develop a refined causal account of knowledge—one that is modest enough to avoid various putative problems, yet sufficiently robust to undermine the epiphenomenalist position.
Lei Zhong
wiley +1 more source
The Investigation of TLC Model Checker Properties
Journal of Information and Organizational Sciences, 2016 This paper presents the investigation and comparison of TLC model checking method (TLA Checker) properties. There are two different approaches to method usage which are considered.
Vadym Viktorovych Shkarupylo +2 more
doaj
Rigidity, natural kind terms and metasemantics [PDF]
, 2010 No description ...
Besson, Corine
core +1 more source
Against the Manhattan project framing of AI alignment
Mind &Language, Volume 41, Issue 1, Page 119-136, February 2026.In response to the worry that autonomous generally intelligent artificial agents may at some point take over control of human affairs a common suggestion is that we should “solve the alignment problem” for such agents. We show that current discourse around this suggestion often uses a particular framing of artificial intelligence (AI) alignment as ...
Simon Friederich, Leonard Dung
wiley +1 more source
Satisfiability of CTL* with constraints
, 2013 We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at ...
B. Courcelle +8 more
core +1 more source
Food Safety and Health, Volume 4, Issue 1, Page 220-232, January 2026.Vanillin showed moderate sedative and modulatory synergistic activities on diazepam in thiopental sodium‐induced sleeping mice. These effects are implicated with GABAergic intervention. ABSTRACT Insomnia is a common sleep disorder affecting approximately 10% of adults.
Salehin Sheikh +8 more
wiley +1 more source
Model‐Based Semantics: Doing Without Meaning Constitution
Metaphilosophy, Volume 57, Issue 1-2, Page 103-118, January 2026.Abstract This paper introduces a model‐based account of meaning, arguing that meaning properties reside in models rather than in the external world. Building on this view, it explores how such an instrumentalist framework can engage critically with various concerns raised by Wittgenstein, Quine, and Kripke[nstein]—each of whom voiced scepticism toward ...
Pietro Salis
wiley +1 more source
A Temporal Logic for Hyperproperties
, 2013 Hyperproperties, as introduced by Clarkson and Schneider, characterize the correctness of a computer program as a condition on its set of computation paths.
Finkbeiner, Bernd +2 more
core