A first-order coalition logic for BDI-agents
scientific article; zbMATH DE number 7004684
scientific article