✦ LIBER ✦
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete
✍ Scribed by Tadeusz Litak; Frank Wolter
- Publisher
- Springer Netherlands
- Year
- 2005
- Tongue
- English
- Weight
- 236 KB
- Volume
- 81
- Category
- Article
- ISSN
- 0039-3215
No coin nor oath required. For personal study only.