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
model checking
modal logic
multi agent systems
multi faceted
logical framework
computation tree logic
temporal epistemic
inference rules
formal semantics
mathematical theory
temporal logic
object oriented
decision makers
temporal reasoning