Erratum to: Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.

Wesley H. Holliday

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

Keyphrases

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