Logical determinism/Bibliography
Jump to navigation
Jump to search

- Please sort and annotate in a user-friendly manner. For formatting, consider using automated reference wikification.
- For some insights on time, see E Allen Emerson, Joseph Y Halpern (January, 1986). "“Sometimes” and “Not Never” Revisited: On Branching versus Linear Time Temporal Logic". Journal for the Association of Computing Machinery 33: 151-178.