Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Sahlqvist correspondence for modal mu-calculus
File(s)
Author(s)
van Benthem, JFAK
Bezhanishvili, N
Hodkinson, I
Type
Journal Article
Date Issued
2012
Citation
Studia Logica: an international journal for symbolic logic, 2012, 100, pp.31-60
URI
DOI
ISSN
0039-3215
Publisher
SPRINGER
Start Page
31
End Page
60
Journal / Book Title
Studia Logica: an international journal for symbolic logic
Volume
100
Issue
1-2
Copyright Statement
© Springer Netherlands 2012. The final publication is available at Springer via http://dx.doi.org/10.1007/s11225-012-9388-9
License URL
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000309055300003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Publication Status
Published