Complexity of Model Checking for Logics over Kripke models

Arne Meier, Julian-Steffen Müller, Martin Mundhenk, Heribert Vollmer, The Computational Complexity Column by V. Arvind

Abstract


Complexity of Model Checking for Logics over Kripke models

Full Text:

PDF

Refbacks

  • There are currently no refbacks.