Situation calculus

logic formalism

en-US/ˌsɪt͡ʃuˈeɪʃən ˈkælkjələs/
en-GB/ˌsɪt͡ʃʊˈeɪʃn ˈkælkjʊləs/

دسته بندی ها:

formal system