Logics Modulo Theories: a logical framework for multi-agent systems | UPT Perpustakaan UHAMKA