- Complete First-Order Game Logic Noah Abou El Wafa André Platzer Fri 11 April 2025
- Dynamic Logics of Dynamical Systems André Platzer Fri 01 September 2023
- Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmuller Edward N. Zalta Fri 28 June 2019
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
