Abstract
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have