Buy Me a Coffee at ko-fi.com

Situation calculus

logic formalism

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