A Modal Logic for Joint Abilities under Strategy Commitments.

Zhaoshuai Liu Liping Xiong Yongmei Liu Yves Lespérance Ronghai Xu Hongyi Shi

Published in: IJCAI (2020)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
default logic
classical logic
nonmonotonic logics
conditional logic
explanation based generalization
situation calculus
prime implicates
sequent calculus
multiagent systems
description logic alc