Results 251 to 260 of about 28,487 (304)
The notion of validity for modal languages could be defined in two slightly different ways. The first is the original definition given by S. Kripke, for which a formula Φ of a modal language L is valid if and only if it is true in every actual world of every interpretation of L.
Morato, Vittorio
core +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Actuality and Actuality as of a Time
2000Abstract Characterizes certain notions that are needed for stating the central claim of the book.Facts are to be identified with states of affairs, which are the truth‐makers for true propositions. The concept of a state of affair's existence or actuality should be taken as basic and unanalysable.
Michael Tooley, Tooley Michael
exaly +2 more sources
Behavioral and Brain Sciences, 2021
Abstract This response argues that when you represent others as knowing something, you represent their mind as being related to the actual world. This feature of knowledge explains the limits of knowledge attribution, how knowledge differs from belief, and why knowledge underwrites learning from others.
Jonathan Phillips +7 more
openaire +2 more sources
Abstract This response argues that when you represent others as knowing something, you represent their mind as being related to the actual world. This feature of knowledge explains the limits of knowledge attribution, how knowledge differs from belief, and why knowledge underwrites learning from others.
Jonathan Phillips +7 more
openaire +2 more sources
ICT Policies in Developing Countries: An Evaluation with the Extended Design‐Actuality Gaps Framework [PDF]
Information and communication technologies (ICT) are often represented as a factor in global economic growth and social development. Consequently, countries and governments invest large amounts of resources in the ICT sector.
Prashant Palvia, Hamid Nemati
exaly +1 more source
Journal of Philosophical Logic, 2001
In natural languages the term `actually' is used ambiguously. The author formalizes propositional and quantified modal logics with indices ascribed to the modal operator of necessity and to the `actuality operator', which should make it possible to avoid the ambiguities. Both systems, together with extensions of six systems of standard modal logic, are
openaire +2 more sources
In natural languages the term `actually' is used ambiguously. The author formalizes propositional and quantified modal logics with indices ascribed to the modal operator of necessity and to the `actuality operator', which should make it possible to avoid the ambiguities. Both systems, together with extensions of six systems of standard modal logic, are
openaire +2 more sources
Mereotopologies with Predicates of Actual Existence and Actual Contact
Fundamenta Informaticae, 2017We discuss in this work the importance of some predicates of ontological existence in mereology and in mereotopology especially for systems incorporating time. Tarski showed that mereology can be identified in some sense with complete Boolean algebras with zero 0 deleted.
openaire +2 more sources
2022
The archivability of reality in images that capture a fleeting moment, or a series of them, bringing them back to life as‘undead’ reality, suffuses the ‘symphony of horror’ that is Nosferatu, and allows for the discussion of a longstanding cinematic horror discourse around mediation and documentation that predates millennial horror and the found ...
openaire +1 more source
The archivability of reality in images that capture a fleeting moment, or a series of them, bringing them back to life as‘undead’ reality, suffuses the ‘symphony of horror’ that is Nosferatu, and allows for the discussion of a longstanding cinematic horror discourse around mediation and documentation that predates millennial horror and the found ...
openaire +1 more source
2009
Abstract The work of Frank Jackson has been important to at least two central debates in consequentialist ethical theory: (1) between possibilism and actualism and (2) between objective consequentialism and expectabilism (or a variety of subjective consequentialism).
openaire +1 more source
Abstract The work of Frank Jackson has been important to at least two central debates in consequentialist ethical theory: (1) between possibilism and actualism and (2) between objective consequentialism and expectabilism (or a variety of subjective consequentialism).
openaire +1 more source

