An Algebraic Approach to Dynamic Epistemic Logic.

Prakash Panangaden Caitlin Phillips Doina Precup Mehrnoosh Sadrzadeh

Published in: Description Logics (2010)

Keyphrases

dynamic epistemic logic
epistemic logic
modal logic
algebraic operations
model checking
inference rules
multi agent systems
logic programming
computational model
formal semantics
multi faceted