Inquisitive Logic as an Epistemic Logic of Knowing How.

Haoyu Wang Yanjing Wang Yunsong Wang

Published in: CoRR (2022)

Keyphrases

epistemic logic
modal logic
model checking
dynamic epistemic logic
multi agent systems
logical framework
inference rules
temporal epistemic
multi faceted
mathematical theory
formal semantics
temporal logic
computation tree logic
model checker
formal methods
first order logic
knowledge based systems