Restricted interpolation and Lack thereof in STIT Logic.

Grigory K. Olkhovikov

Published in: Rev. Symb. Log. (2020)

Keyphrases

logical framework
coalition logic
inference rules
multi agent systems
reasoning tasks
belief revision
modal logic
linear interpolation
artificial intelligence
special case
logic programming
partial order
multiple agents
automated reasoning
image interpolation