hope I'm asking in the right forum, if not let me know and I'll delete the question :)

I'm looking for a book on logic that contains more than just first order logic and propositional calculus. I'd like to learn about stuff like LTL, CTL, and so on. Is there something like a "Logic bible" or a standart reference?

Thanks for helping!

  • $\begingroup$ Do you mean LTL/CTL in the sense of temporal logics, or something else? $\endgroup$ Nov 27, 2020 at 17:03
  • $\begingroup$ yes! computational tree logic, and linear temporal logic...basiclly logic beside the standart logic teached in the first two semesters of computer sience or math :D $\endgroup$
    – Algebruh
    Nov 27, 2020 at 17:05
  • 1
    $\begingroup$ Once you leave the realm of first-order logic things really start branching depending on your interests. For example, if you're interested in strengthenings of first-order logic for studying the same sorts of structures - like second-order logic, infinitary logic, generalized quantifier logics, etc. - you land in classical abstract model theory and the massive volume Model-theoretic logics is a great resource. (cont'd) $\endgroup$ Nov 27, 2020 at 17:18
  • 1
    $\begingroup$ See A Companion to Philosophical Logic edited by Dale Jacquette (2002) and the 18-volume (current number) Handbook of Philosophical Logic edited by Gabbay/Guenthner (1983-present) and Handbook of Mathematical Logic edited by Jon Barwise (1977). $\endgroup$ Nov 27, 2020 at 17:20
  • 4
    $\begingroup$ I think this is a fine MSE question, and I'm not sure the downvoter/closevoter(s) understand how hard it is to find advanced logic resources; most easy-to-find texts are either elementary or extremely narrow-focused. $\endgroup$ Nov 27, 2020 at 17:22


You must log in to answer this question.

Browse other questions tagged .