Stit logic of justification announcements: a completeness result.

Grigory K. Olkhovikov

Published in: J. Log. Comput. (2018)

Keyphrases

logical framework
multi agent systems
inference rules
coalition logic
artificial intelligence
multi valued