
A modal logic to characterize manipulations in multi-agent systems
Author(s) -
Christopher Leturc,
Grégory Bonnet
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - modal logic , computer science , modal , normal modal logic , multimodal logic , description logic , artificial intelligence , materials science , polymer chemistry