Coalgebraic Geometric Logic: Basic Theory
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the category of topological spaces and continuous functions. We investi...
Na minha lista:
| Principais autores: | , , |
|---|---|
| 格式: | Artigo |
| 語言: | Inglês |
| 出版: |
Logical Methods in Computer Science e.V.
2022-12-01
|
| 叢編: | Logical Methods in Computer Science |
| 主題: | |
| 在線閱讀: | https://lmcs.episciences.org/6205/pdf |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|