Towards Directed Model Categories

Search results

  • 2024

    Two-dimensional Kripke Semantics I: Presheaves

    Kavvos, G. A., 5 Jul 2024, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Rehof, J. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Vol. 299. 23 p. 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 299).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
    39 Downloads (Pure)
  • Two-dimensional Kripke Semantics II: Stability and Completeness

    Kavvos, G. A., 15 Dec 2024, Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). Vol. 4. 20 p. (Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)).

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    Open Access
    File
    38 Downloads (Pure)