Results 291 to 300 of about 1,564,204 (345)
Some of the next articles are maybe not open access.
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
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
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
Synthese, 2008
Kripke claims that there are necessary a posteriori truths and contingent a priori truths. These claims challenge the traditional Kantian view that (K) All knowledge of necessary truths is a priori and all a priori knowledge is of necessary truths.
openaire +1 more source
Kripke claims that there are necessary a posteriori truths and contingent a priori truths. These claims challenge the traditional Kantian view that (K) All knowledge of necessary truths is a priori and all a priori knowledge is of necessary truths.
openaire +1 more source
Studia Logica, 2012
The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.
openaire +2 more sources
The author develops a modal logic with the modalities ``always necessary'' and ``sometimes necessary'', and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable.
openaire +2 more sources
Modal Scepticism, Unqualified Modality, and Modal Kinds
Philosophia, 2011I formulate and defend two sceptical theses on specific parts of our modal knowledge (unqualified and absolute modalities). My main point is that unqualified modal sentences are defective in that they fail to belong unambiguously to specific modal kinds and thus cannot be evaluated; hence, we must be sceptical of beliefs involving them.
openaire +1 more source