Login / Signup

Skepticism and Epistemic Logic.

Peter K. Schotch
Published in: Stud Logica (2000)
Keyphrases
  • epistemic logic
  • modal logic
  • model checking
  • dynamic epistemic logic
  • logical framework
  • multi faceted
  • multi agent systems
  • inference rules
  • formal semantics
  • computation tree logic
  • temporal logic
  • mathematical theory