Results 261 to 270 of about 741,275 (315)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Modal description logics: modalizing roles
Fundamenta Informaticae, 1999We construct a new concept description language intended for representing dynamic and intensional knowledge. The most important feature distinguishing this language from its predecessors in the literature is that it allows applications of modal operators to all kinds of syntactic terms: concepts, roles and formulas.
Frank Wolter, Michael Zakharyaschev
openaire +2 more sources
1991
In part I. of this essay we attempt to articulate Husserl’s phenomenological descriptions for the genesis of the primitive logical connectives, negation and disjunction. In part II. we describe possible worlds models for the use of disjunction and negation in epistemic contexts and contexts relating to the analysis of meanings. Finally, in part III, we
Charles Harvey, Jaakko Hintikka
openaire +1 more source
In part I. of this essay we attempt to articulate Husserl’s phenomenological descriptions for the genesis of the primitive logical connectives, negation and disjunction. In part II. we describe possible worlds models for the use of disjunction and negation in epistemic contexts and contexts relating to the analysis of meanings. Finally, in part III, we
Charles Harvey, Jaakko Hintikka
openaire +1 more source
Modalities, Modalizations, Modal Transitions
Sociological Problems Journal, 2018The paper addresses the question of the relationship between different groups of modalities from the perspective of a multimodal logic, which would be of help in the development of the methodological apparatus of socioanalysis.
openaire +1 more source
Modality, Si! Modal Logic, No!
Studia Logica, 1997In this brief note, the author recalls some examples of statements that use modal notions but which, it would seem, cannot be represented adequately by the usual modal logics. The notions involved are those of believing, knowing, intending, desiring, and being under an obligation; the examples are gathered mainly from earlier publications of the author,
openaire +1 more source
Modal Logic, Truth, and the Master Modality
Journal of Philosophical Logic, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Fundamenta Informaticae, 2017
In 1951 in his book An Essay in Modal Logic, Georg Henrik von Wright strongly called attention to the analogies between quantifiers and modal operators. In 1984 I published a paper in Synthese examining the analogy formally. Confession: the presentation in that paper was badly done, and there is a significant (though correctable) error.
openaire +1 more source
In 1951 in his book An Essay in Modal Logic, Georg Henrik von Wright strongly called attention to the analogies between quantifiers and modal operators. In 1984 I published a paper in Synthese examining the analogy formally. Confession: the presentation in that paper was badly done, and there is a significant (though correctable) error.
openaire +1 more source