Login / Signup

An epistemic logic for becoming informed.

Giuseppe Primiero
Published in: Synth. (2009)
Keyphrases
  • epistemic logic
  • modal logic
  • model checking
  • multi agent systems
  • logical framework
  • multi faceted
  • dynamic epistemic logic
  • inference rules
  • computation tree logic
  • formal semantics
  • mathematical theory
  • temporal logic