Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 7
Number of items: 7
  • Open Access
    van der Giessen, I., Joosten, J. J., Mayaux, P., & Navarro Arroyo, V. (2025). On the Contingency of Logic in Possible World Semantics. Logica Universalis, 19(4), 721–737. https://doi.org/10.1007/s11787-025-00400-7
  • Bílková, M., de Jongh, D., & Joosten, J. J. (2009). Interpretability in PRA. Annals of Pure and Applied Logic, 161(2), 128-138. https://doi.org/10.1016/j.apal.2009.05.012
  • Joosten, J. J. (2007). Propositional Proof Systems and Fast Consistency Provers. Notre Dame Journal of Formal Logic, 48(3), 381-398.
  • Joosten, J. J. (2007). Lowerbounds in Proof Complexity. The Bulletin of Symbolic Logic, 13(2), 263-263.
  • Joosten, J. J. (2006). Semantics for sub-intuitionistic logics. (Preprint Publication Series; No. PP-2006-56). Institute for Logic, Language and Computation.
  • Joosten, J. J. (2006). Credit cards, computationele complexiteit en consistentie uitspraken. (Technical Report; No. X-2006-02). Institute for Logic, Language and Computation.
  • Beklemishev, L., Joosten, J. J., & Vervoort, M. R. (2005). A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic. (Technical Reports; No. PP-2005-16). Institute for Logic, Language and Computation.
Page of