Epistemic Contextualism: An Inconsistent Account for the Semantics of "Know"?

Stefano Leardi Nicla Vassallo

Published in: CONTEXT (2015)

Keyphrases

epistemic logic
logic program updates
modal operators
logic programming
belief change
formal semantics
kripke models
databases
semantic information
relational databases
model checking
operational semantics
nonmonotonic logics
logical properties
inconsistent databases
propositional dynamic logic