Sign in

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

Stefan HaarSalim PerchyCamilo RuedaFrank 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