Results 101 to 110 of about 24,570,426 (223)
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
Decidability of Multi-agent Logic of Computation Trees $\mathcal{CTLK}^{Rel}$
Известия Иркутского государственного университета: Серия "Математика"We continue to explore the multi-agent logic of computational trees relative to the relational Kripke semantics of possible worlds: we investigate the question of logical solvability, the complexity of model construction, feasibility testing, and ...
S.I. Bashmakov, K. A. Smelykh
doaj +1 more source
Nursing in Critical Care, Volume 31, Issue 5, September 2026.ABSTRACT Background Parents of children hospitalised in the paediatric intensive care unit (PICU) exhibit poor sleep quality due to stress from the child's illness, uncertainty and changing family roles. Aims We aimed to utilise two subjective and one objective measurement to examine sleep characteristics among parents of children in the PICU and ...
Hyejung Lee +3 more
wiley +1 more source
Bad Practices: Unintended Consequences of Practice‐Based Theories of Reference
Analytic Philosophy, Volume 67, Issue 3, Page 249-261, September 2026.ABSTRACT Practice theories are a genus of causal theories of reference. They claim that the semantic referent of an utterance of a name is determined by features of a practice of using that name to speaker‐refer to, or coordinate actions around, a certain object.
Hugo Heagren
wiley +1 more source
Journal of Sleep Research, Volume 35, Issue 4, August 2026.ABSTRACT For athletes in endurance sports, who compete over several days and in unpredictable conditions, managing sleep–wake rhythms is critical to ensure optimal performance and minimise the risks to safety. Despite its growing popularity, the role of sleep management on ultracycling performance has received little attention.
Rémy Hurdiel +4 more
wiley +1 more source
Formal Verification of Trust in Multi-Agent Systems Under Generalized Possibility Theory
MathematicsIn multi-agent systems, the interactions between autonomous agents within dynamic and uncertain environments are crucial for achieving their objectives.
Ruiqi Huang, Zhanyou Ma, Nana He
doaj +1 more source
Journal of Sleep Research, Volume 35, Issue 4, August 2026.ABSTRACT Disordered sleep is a common reason individuals report using cannabis, yet the physiological effects of Δ9‐tetrahydrocannabinol (Δ9‐THC) on sleep and autonomic regulation remain incompletely understood. Early studies reported acute sleep‐promoting effects of Δ9‐THC, but chronic use has been associated with disrupted sleep and possible ...
Joshua E. Gonzalez +9 more
wiley +1 more source
The social phenomenon of rare diseases: a logical-modal analysis
Frontiers in SociologyThis paper explores the social phenomenon of rare diseases through a logical-modal analysis. Although rare diseases originate within a biomedical framework and are increasingly recognised by institutional and empirical literature as issues of equity ...
Enrique Fernández-Vilas +3 more
doaj +1 more source
Nonstandard Models and Kripke's Proof of the Gödel Theorem
Notre Dame Journal of Formal Logic, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Decidability of Global Admissibility of Inference Rules in Logic $S4$
Известия Иркутского государственного университета: Серия "Математика"In the early 2000s, the key questions of the theory of admissible rules (decidability by admissibility, the presence of a basis) were resolved for most basic non-classical logics. The question arose about the direction of development of this theory.
V.V. Rimatskiy
doaj +1 more source