Inquisitive logic as an epistemic logic of knowing how.

Haoyu Wang Yanjing Wang Yunsong Wang

Published in: Ann. Pure Appl. Log. (2022)

Keyphrases

epistemic logic
modal logic
dynamic epistemic logic
model checking
logical framework
temporal epistemic
multi agent systems
inference rules
multi faceted
mathematical theory
temporal logic
formal semantics
computation tree logic
model checker
knowledge base
image processing