Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 8
Number of items: 8
  • Open Access
    Venema, Y., & Vosmaer, J. (2014). Modal Logic and the Vietoris Functor. In G. Bezhanishvili (Ed.), Leo Esakia on Duality in Modal and Intuitionistic Logics (pp. 119-153). (Outstanding contributions to logic; Vol. 4). Springer. https://doi.org/10.1007/978-94-017-8860-1_6
  • Venema, Y., Vickers, S., & Vosmaer, J. (2013). Generalised powerlocales via relation lifting. Mathematical Structures in Computer Science, 23(1), 142-199. https://doi.org/10.1017/S0960129512000229
  • Gehrke, M., & Vosmaer, J. (2011). A view of canonical extension. In N. Bezhanishvili, S. Löbner, K. Schwabe, & L. Spada (Eds.), Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers (pp. 77-100). (Lecture Notes in Computer Science; Vol. 6618), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-22303-7_6
  • Gehrke, M., & Vosmaer, J. (2011). Canonical extensions and canonicity via DCPO presentations. Theoretical Computer Science, 412(25), 2714-2723. https://doi.org/10.1016/j.tcs.2010.12.032
  • Vosmaer, J. (2010). A new version of an old modal incompleteness theorem. Bulletin of the Section of Logic, 39(3-4), 199-204. http://www.filozof.uni.lodz.pl/bulletin/pdf/39_34_9.pdf
  • Open Access
    Vosmaer, J. (2010). Logic, algebra and topology: investigations into canonical extensions, duality theory and point-free topology. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Vosmaer, J. (2009). MacNeille completion and profinite completion can coincide on finitely generated modal algebras. Algebra Universalis, 61(3-4), 449-453. https://doi.org/10.1007/s00012-009-0028-9
  • Open Access
    Bezhanishvili, G., & Vosmaer, J. (2008). Comparison of Macneille, canonical, and profinite completions. Order, 25(4), 299-320. https://doi.org/10.1007/s11083-008-9095-3
Page of