Buy Me a Coffee at ko-fi.com

Situation calculus

logic formalism

Pronunciation
/sɪtjʊˈeɪʃən ˈkalkjʊləs/
/ˌsɪʧəˈweɪʃən ˈkælkjələs/
Categories
formal system