Modal Logic and the Vietoris Functor-Reference-Cited by-同舟云学术

Modal Logic and the Vietoris Functor

Published:2014 Issue: Volume: Page:119-153
ISSN:2211-2758
Container-title:Leo Esakia on Duality in Modal and Intuitionistic Logics
language:
Short-container-title:

Author:

Venema Yde,Vosmaer Jacob

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-8860-1_6

Reference42 articles.

1. Abramsky S (1991) A domain equation for bisimulation. Inform Comput 92(2):161–218

2. Abramsky S (1991) Domain theory in logical form. Ann Pure Appl Logic, 51(1–2):1–77. Second annual IEEE symposium on logic in computer science (Ithaca, NY, 1987)

3. Abramsky S (2005) A Cook’s tour of the finitary non-well-founded sets. In: Artemov S, Barringer H, d’Avila Garcez A, Lamb L, Woods J (eds) We will show them: essays in honour of Dov Gabbay, vol 1. College Publications, pp 1–18

4. Abramsky S, Jung A (1994) Domain theory. In: Handbook of logic in computer science, vol 3. Clarendon Press, Oxford, pp 1–168

5. Aczel P (1988) Non-well-founded sets. CSLI lecture notes, vol 14. Stanford University Center for the Study of Language and Information, Stanford, CA

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY;The Journal of Symbolic Logic;2024-03-04

2. A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023

3. Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic;Studia Logica;2022-01-03

4. Remarks on Hyperspaces for Priestley Spaces;SSRN Electronic Journal;2022

5. The Fell Compactification of a Poset;Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas;2020-06-19