Added link to GitHub repo
Updated initial model
Added "what is modal logic" documentation