Results 61 to 70 of about 6,864,933 (152)
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
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
The Past and Future of Meaning
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 For many centuries, a predominant view of meaning was that the meaning of a word is some kind of chunk of mind-stuff ("idea") glued to the word and animating it. However, while the traditional view was that we must first understand meaning, which enables
Jaroslav Peregrin
doaj +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
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
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
Kripke Semantics for Fuzzy Logics [PDF]
, 2018 Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic ...
Salehi, Saeed
core +2 more sources
Coinduction-based solution for minimization of Kripke structure
, 2014 状态空间爆炸问题是模型检测的最大障碍.从余归纳（特别是余代数）的角度研究了这个问题.用余归纳的方法证明：⑴对于任意给定的一类Kripke结构（记 为Kappa），在互模拟等价意义下Kappa中最小Kripke结构（记为Kappa_0）的存在唯一性。K0描述了Kappa中所有Kripke结构 的行为而且没有冗余的状态；(2)对于任意的MК（M可能包含无穷多个状态），在互模拟等价意义下的相对于（M且基于К_0）的最小Kripke结构（记 为КM）的存在唯一性.由此提出一种求解КM的算法 ...
蒋颖, 高建华
core +1 more source
Kripke, Myer, 1967 February 16
, 1967 FATHER JOHN P MARKOE, DLR 73OPM STUDENT UNION CREIGHTON UNIVERSITY OMAHA NEBR WARM GREETINGS ON THIS JUBILEE OF SERVICE TO GOD AND MEN. MAY GOD'S BLESSING PRESERVE YOUR STRENGTH AND COURAGE FOR MANY MANY MORE YEARS OF SIGNAL ACHIEVEMENT RABBI AND MRS ...
Kripke, Myer S.
core
, 2010 This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background.
Vladimir V. Rybakov (23980086) +1 more
core +2 more sources