著者
竹内 泉
出版者
日本科学哲学会
雑誌
科学哲学 (ISSN:02893428)
巻号頁・発行日
vol.36, no.2, pp.135-150, 2003-12-30 (Released:2009-05-29)

This work proposes a new semantics named "context semantics", which interprets predicate modal logic in which the modality symbols means logical validity. Although the possible world semantics is the most well-known method for semantics of modal logic, it is not so useful or so essential in studying the predicate modal logic. Especially, the transworld identification always makes serious problem. In order to avoid the problem, we propose the new semantics. Our semantics interprets a formula with finite information. This point is the most essential difference between our semantics and possible world semantics.

言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

Twitter (4 users, 5 posts, 3 favorites)

整列問題の平均比較回数 https://t.co/sj71XCFwa2
様相論理の文脈意味論 https://t.co/uIovUrEsr5
そういや、知り合いが「ならば」の話をしていたな、と思い出して、なにか公開されている資料がないか探したところ「様相論理の文脈意味論」というのを見つけた https://t.co/kXkMAqJrmc
J-STAGE Articles - 様相論理の文脈意味論 https://t.co/Erxlv1dzw3

収集済み URL リスト