- On the Complexity of the Disjunction Property in Intuitionistic and Modal Logics Mauro Ferrari Camillo Fiorentini Guido Fiorino Mon 14 September 2020
- Intuitionistic completeness of first-order logic Robert Constable Mark Bickford Mon 07 September 2020
- The Proof Theory and Semantics of Intuitionistic Modal Logic Alex Simpson Mon 19 October 2015
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
