An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic.

Stefan Haar Salim Perchy Camilo Rueda Frank D. Valencia

Published in: PPDP (2015)

Keyphrases

epistemic logic
modal logic
multi agent systems
search space
computation tree logic
belief functions
multi faceted
mathematical theory