A Truthmaker-based Epistemic Logic.

Published in: J. Philos. Log. (2024)

Keyphrases

epistemic logic
model checking
modal logic
multi agent systems
dynamic epistemic logic
logical framework
multi faceted
computation tree logic
inference rules
formal semantics
mathematical theory
image processing
cooperative
object oriented