Results 31 to 40 of about 1,478 (181)
Journal of Sleep Research, EarlyView.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
Journal for the Scientific Study of Religion, EarlyView.ABSTRACT Much of the activism on environmental issues within the US Catholic Church is not coming from those with institutional power (like bishops and diocesan priests), but rather from sisters, who have no formal power. What factors facilitate sisters’ environmental activism?
Sabrina Danielsen, Ellie Simmons
wiley +1 more source
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.
Notre Dame Journal of Formal Logic, 1991 As a sequel to the author's previous work on generalization of Kripke models for intuitionistic propositional logic, ancestral Kripke models are introduced by replacing converse-heredity of rudimentary Kripke models with ancestrality. With some embedding results to the modal logic S4, the author provides another type of modelling as well, where ...
openaire +2 more sources
Computable Kripke Models and Intermediate Logics
Information and Computation, 1998 In the paper under review the authors investigate effectiveness of Kripke models for first-order theories of intermediate logics, i.e. those that lie between intuitionistic and classical predicate logic. Completeness (by Kripke) results for intermediate logics such as intuitionistic logic, classical logic, constant domain logic, directed frames logic ...
Hajime Ishihara +2 more
openaire +1 more source
Metaphilosophy, EarlyView.Abstract This paper presents the case of Margaret Macdonald's (1903–1956) posthumous treatment of Susan Stebbing (1885–1943). After Stebbing's death, Macdonald—her Ph.D. student and collaborator—wrote an early history of analytic philosophy in which Stebbing's work is credited to Bertrand Russell (specifically, her account of ‘directional analysis ...
Peter West
wiley +1 more source
Intransitive Temporal Multi-agent Logic with Agents’ Multi-valuations. Decidability
Известия Иркутского государственного университета: Серия "Математика"We study intransitive temporal multi-agent logic with agents’ multi-valuations for letters and formulas. In previous wide accepted research the time and knowledge primarily were modeled by Kripke models with structure looking as simply a single time ...
K. V. Grekovich +2 more
doaj +1 more source
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
IEEE Access, 2019 The security of the cryptographic protocols has always been important to ensure proper implementation of a protocol. To assure protocol security, a number of works for analysis and verification of cryptographic protocols have emerged in the literature ...
Xiaojuan Chen, Huiwen Deng
doaj +1 more source
Stone-Type Dualities for Separation Logics [PDF]
Logical Methods in Computer Science, 2019 Stone-type duality theorems, which relate algebraic and relational/topological models, are important tools in logic because -- in addition to elegant abstraction -- they strengthen soundness and completeness to a categorical equivalence, yielding a ...
Simon Docherty, David Pym
doaj +1 more source
Localizing finite-depth Kripke models [PDF]
Logic Journal of the IGPL, 2018 We can look at a first-order (or propositional) intuitionistic Kripke model as an ordered set of classical models. In this paper, we show that for a finite-depth Kripke model in an arbitrary first-order language or propositional language, local (classical) truth of a formula is equivalent to non-classical truth (truth in the Kripke semantics) of a ...
openaire +2 more sources
Embedding mental files in the world
Mind &Language, EarlyView.Cognitive scientific explanations can take either a mechanistic or design perspective. Some recent philosophical works propose to apply the mechanistic perspective to the influential mental file framework. The design perspective, however, remains underexplored.
Zhengxi Jin
wiley +1 more source