Temporal Logic isn't part of Pantheon yet. Add them, and we'll research and write up their story — their contributions, who shaped them, and who they went on to shape.
Sign in to add Temporal Logic to Pantheon.