The possible worlds model for logic

The possible worlds model for logics of knowledge and belief was originally proposed by Hintikka [Hintikka, 1962], and is now most commonly formulated in a normal modal logic using the techniques developed by Kripke [Kripke, 1963] . Hintikka's insight was to see that an agent's beliefs could be characterized as a set of possible worlds, in the following way.

Hasil (Bahasa Indonesia) 1:

Model kemungkinan dunia untuk logika pengetahuan dan kepercayaan awalnya diusulkan oleh Hintikka [Hintikka, 1962], dan sekarang umumnya dirumuskan dalam logika modal normal yang menggunakan teknik yang dikembangkan oleh Kripke [Kripke, 1963]. Hintikka's wawasan adalah untuk melihat bahwa agen keyakinan dapat dikelompokkan sebagai satu set kemungkinan dunia, dengan cara berikut.

Hasil (Bahasa Indonesia) 2:

Kemungkinan Model dunia untuk logika pengetahuan dan keyakinan awalnya diusulkan oleh Hintikka [Hintikka 1962], dan sekarang paling sering dirumuskan dalam logika modal yang normal dengan menggunakan teknik yang dikembangkan oleh Kripke [Kripke, 1963]. Wawasan Hintikka adalah untuk melihat bahwa keyakinan seorang agen dapat dicirikan sebagai satu set kemungkinan dunia, dengan cara sebagai berikut.