J. Lukasiewicz, 1953, \A system of modal logic", Journal of Computing Systems , 1, pp.111-149. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Lukasiewicz's four-valued modal logic - Font, Hajek (2000) (Correct)
....correct. In order to master this di#cult subject I had to construct for myself a system of modal logic [which] is di#erent from any other such system, and from this standpoint I was able to explain the di#culties and correct the errors of the Aristotelian modal syllogistic. In the paper [26] and in Chapter VII of [27] he introduces a propositional logic with two modalities # and # (necessity and possibility) 2 acting as unary connectives. His study of Aristotle and other philosophical reasons, whose investigation goes far beyond the aims of the present paper, lead him to assume ....
....called the third value, which I denoted by 1 2 , possibility . Later on, having found my n valued modal systems 3 , I thought that only two of them may be of philosophical importance, viz. the 3 valued and the # 0 valued system. This opinion, as I see it today, was wrong. [26], quoted from [28] pp. 370 371) 2 # Lukasiewicz uses L or # for necessity and M or # for possibility; he also uses his Polish notation. Actually, it seems that he was among the first to use L and M in this sense, see [17, Appendix 4] We use the usual symbolism here. 3 He calls here ....
[Article contains additional citation context not shown here]
# Lukasiewicz, J. A system of modal logic. The Journal of Computing Systems 1 (1953), 111--149. Reprinted in [28], 352--390.
Approximate Reasoning About Actions in Presence of Sensing and.. - Baral, Son (1997) (15 citations) (Correct)
....accessibility relation would be expensive. Moreover, in presence of temporally extended goals [1] their formulation would result in having two kind of modal operators, a knowledge operator, and an operator for temporal goals. We take a simpler approach using Lukasiewicz s three valued logic [10]. In Lukasiewicz s logic a proposition may have three truth values: true (T) false (F) or unknown(U ) For any proposition p, if p is true, then K(p) will be true, if p is false, then K(p) will be false (but K( p) will be true) and if p is unknown, then both K(p) and K( p) will be false. The ....
J. Lukasiewicz. A system of modal logic. Journal of Computing Systems 1, 111-149.
Paraconsistent Logic from a Modal Viewpoint - Beziau (Correct)
No context found.
J. Lukasiewicz, 1953, \A system of modal logic", Journal of Computing Systems , 1, pp.111-149.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC