Jacob Vosmaer
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Modal logic and the Vietoris functor Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
| A new version of an old modal incompleteness theorem | 2014-04-23 | Paper |
| A new version of an old modal incompleteness theorem (available as arXiv preprint) | 2014-04-23 | Paper |
| Generalised powerlocales via relation lifting Mathematical Structures in Computer Science | 2013-03-14 | Paper |
| A view of canonical extension Logic, Language, and Computation | 2011-07-29 | Paper |
| Canonical extensions and canonicity via dcpo presentations Theoretical Computer Science | 2011-06-06 | Paper |
| MacNeille completion and profinite completion can coincide on finitely generated modal algebras Algebra Universalis | 2010-01-04 | Paper |
| Comparison of MacNeille, canonical, and profinite completions Order | 2009-04-24 | Paper |
Research outcomes over time
This page was built for person: Jacob Vosmaer
