Epistemic Logic via Distance and Similarity.

Xiaolong Liang Yì N. Wáng

Published in: PRICAI (1) (2022)

Keyphrases

epistemic logic
distance measure
euclidean distance
distance function
model checking
modal logic
multi agent systems
inference rules
logical framework
similarity measure
dynamic epistemic logic
formal semantics
multi faceted
mathematical theory
computation tree logic
fuzzy sets
programming language