Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents | UPT Perpustakaan UHAMKA