coalgebraic logic
Recently Published Documents


TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

2016 ◽  
Vol 27 (7) ◽  
pp. 1108-1110
Author(s):  
ERNST-ERICH DOBERKAT ◽  
ALEXANDER KURZ

The second Dagstuhl seminar on coalgebraic logics took place from October 7–12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a special issue in Mathematical Structures in Computer Science.


2015 ◽  
pp. exv074
Author(s):  
Adriana Balan ◽  
Alexander Kurz ◽  
Jiří Velebil

2014 ◽  
Vol 549 ◽  
pp. 36-60 ◽  
Author(s):  
Marta Bílková ◽  
Alessandra Palmigiano ◽  
Yde Venema

2014 ◽  
Vol 26 (2) ◽  
pp. 745-783 ◽  
Author(s):  
Ekaterina Komendantskaya ◽  
John Power ◽  
Martin Schmidt

2014 ◽  
Vol 303 ◽  
pp. 121-148 ◽  
Author(s):  
Ekaterina Komendantskaya ◽  
Martin Schmidt ◽  
Jónathan Heras

2012 ◽  
Vol 23 (1) ◽  
pp. 142-199 ◽  
Author(s):  
YDE VENEMA ◽  
STEVE VICKERS ◽  
JACOB VOSMAER

This paper introduces an endofunctor VT on the category of frames that is parametrised by an endofunctor T on the category Set that satisfies certain constraints. This generalises Johnstone's construction of the Vietoris powerlocale in the sense that his construction is obtained by taking for T the finite covariant power set functor. Our construction of the T-powerlocale VT out of a frame is based on ideas from coalgebraic logic and makes explicit the connection between the Vietoris construction and Moss's coalgebraic cover modality.We show how to extend certain natural transformations between set functors to natural transformations between T-powerlocale functors. Finally, we prove that the operation VT preserves some properties of frames, such as regularity, zero-dimensionality and the combination of zero-dimensionality and compactness.


Sign in / Sign up

Export Citation Format

Share Document