21 - 26 out of 26Page size: 20
  1. 2017
  2. Published

    Modal independence logic

    Kontinen, J., Müller, J. S., Schnoor, H. & Vollmer, H., Jul 2017, In: Journal of Logic and Computation. 27, 5, p. 1333-1352 20 p.

    Research output: Contribution to journal › Article › Research › peer review

  3. Published

    Parametrised complexity of satisfiability in temporal logic

    Luck, M., Meier, A. & Schindler, I., Jan 2017, In: ACM Transactions on Computational Logic. 18, 1, 1.

    Research output: Contribution to journal › Article › Research › peer review

  4. 2016

  5. A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle

    Berger, J. & Svindland, G., 1 Nov 2016, In: Annals of pure and applied logic. 167, 11, p. 1161-1170 10 p.

    Research output: Contribution to journal › Article › Research › peer review

  6. Convexity and constructive infima

    Berger, J. & Svindland, G., 1 Nov 2016, In: Archive for mathematical logic. 55, 7-8, p. 873-881 9 p.

    Research output: Contribution to journal › Article › Research › peer review

  7. 2014
  8. Published

    Introduction: The Ontology of Technical Artefacts

    Franssen, M., Kroes, P., Reydon, T. A. C. & Vermaas, P. E., 2014, Artefact Kinds: Ontology and the Human-Made World. Reydon, T. A. C., Franssen, M. P. M., Kroes, P. & Vermaas, P. E. (eds.). Springer Science and Business Media B.V., p. 1-14 14 p. (Synthese Library; vol. 365).

    Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › peer review

  9. 2006

  10. Minimal varieties of involutive residuated lattices

    Tsinakis, C. & Wille, A. M., Jun 2006, In: Studia logica. 83, 1-3, p. 407-423 17 p.

    Research output: Contribution to journal › Article › Research › peer review

Previous 1 2 Next