Results 21 to 30 of about 2,891 (195)
Neighbourhood Semantics for Graded Modal Logic
Bulletin of the Section of Logic, 2021 We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable.
Jinsheng Chen +3 more
doaj +1 more source
Kripke semantics for fuzzy logics [PDF]
Soft Computing, 2016 Soft Computing (2016)
Parvin Safari, Saeed Salehi
openaire +3 more sources
The examination of Kripke's view on the problem of empty names [PDF]
حکمت و فلسفهIn this article, we will explain and examine Saul Kripke's views on the problem of empty names, by focuing on his book Naming and Necessity. The first and more detailed section of the article discusses Kripke's ideas in depth. He begins by addressing the
Mahdi Hafezi, Fereshteh Nabati
doaj +1 more source
El estatuto ontológico de la identidad: Aristóteles frente a Kripke
Pensamiento. Revista de Investigación e Información FilosóficaLa noción de esencia propuesta por el filósofo norteamericano Saul Kripke ha sido fuertemente influida por la idea de la identidad como una propiedad necesaria de los objetos.
Ángel Martínez Sánchez
doaj +1 more source
Expressiveness and Completeness in Abstraction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal Transition ...
Tim A.C. Willemse, Maciej Gazda
doaj +1 more source
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
Formalizing the use case model: A model-based approach.
PLoS ONE, 2020 In general, requirements expressed in natural language are the first step in the software development process and are documented in the form of use cases. These requirements can be specified formally using some precise mathematical notation (e.g.
Qamar Uz Zaman +2 more
doaj +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
Kripke, Russell y la posibilidad de un inventario del mundo. Problemas en torno a las consecuencias ontológicas de sus teorías de los nombres propios [PDF]
Identidades, 2017 Filosóficamente, entendemos que en todo lenguaje, existen términos que sirven para hacer referencia a cosas del mundo de una manera más directa que cualquier otra expresión: los denominados nombres propios.
María Soledad Pérez Gamboa
doaj