LARA

Online Encyclopedia of Logic in Computer Science

NOTE: The new version of this page will be under http://richmodels.epfl.ch/dokuwiki/encyc:top

Feel free to enter the results that you are familiar with, including those that you have worked on and published yourself.

(Ask Viktor to create an editable account for you.)

Decidable logics

Undecidable logics

TODO

Things we may also with to enter:

  • classical decision problem
  • logics widely used in model checking
  • program analysis-based problems (e.g. decidable context-free like problems)
  • Petri nets results