21 - 26 von 26Seitengröße: 20
  1. 2017
  2. Veröffentlicht

    Modal independence logic

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. Veröffentlicht

    Parametrised complexity of satisfiability in temporal logic

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › 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, S. 1161-1170 10 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  6. Convexity and constructive infima

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  7. 2014
  8. Veröffentlicht

    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. (Hrsg.). Springer Science and Business Media B.V., S. 1-14 14 S. (Synthese Library; Band 365).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review

  9. 2006

  10. Minimal varieties of involutive residuated lattices

    Tsinakis, C. & Wille, A. M., Juni 2006, in: Studia logica. 83, 1-3, S. 407-423 17 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

Vorherige 1 2 Nächste