![](/img/cover-not-exists.png)
Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic
Kamide, NorihiroVolume:
27
Language:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exx006
Date:
October, 2017
File:
PDF, 275 KB
english, 2017