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