%PDF-1.7
%
1 0 obj
<<
/Lang (en)
/Metadata 2 0 R
/OpenAction 3 0 R
/Outlines 4 0 R
/PageLabels 5 0 R
/PageLayout /SinglePage
/PageMode /UseThumbs
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author (Liang-Ting Chen)
/CreationDate (D:20141027083651+02'00')
/Creator (Elsevier)
/ElsevierWebPDFSpecifications (6.4)
/ModDate (D:20141027083651+02'00')
/Producer (VTeX PDF Formatter 1.0 \(Windows\))
/Subject <456C656374726F6E6963204E6F74657320696E205468656F7265746963616C20436F6D707574657220536369656E63652C203330382028323031342920313039853132382E2031302E313031362F6A2E656E7463732E323031342E31302E303037>
/Title (On a Categorical Framework for Coalgebraic Modal Logic)
/Trapped /False
/doi (10.1016/j.entcs.2014.10.007)
/robots (noindex)
>>
endobj
2 0 obj
<<
/Length 6255
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.entcs.2014.10.007
On a Categorical Framework for Coalgebraic Modal Logic
Liang-Ting Chen
Achim Jung
Predicate liftings
coalgebras
coalgebraic logic
modal logic
Stone duality
compositionality
expressivity
Electronic Notes in Theoretical Computer Science, 308 (2014) 109–128. 10.1016/j.entcs.2014.10.007
Elsevier B.V.
journal
Electronic Notes in Theoretical Computer Science
Copyright Crown Copyright ©2014 Published by Elsevier B.V.
1571-0661
308
109-128
109
128
10.1016/j.entcs.2014.10.007
http://dx.doi.org/10.1016/j.entcs.2014.10.007
2014-10-29
29 October 2014
C
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX)
6.4
10.1016/j.entcs.2014.10.007
noindex
Elsevier
2014-10-27T08:36:51+02:00
2014-10-27T08:36:51+02:00
2014-10-27T08:36:51+02:00
True
VTeX PDF Formatter 1.0 (Windows)
False
uuid:f3235fc1-bb7f-4842-a807-6fda6a7f59f2
uuid:595af2d0-e9e2-469b-b31e-14ba609b6289
endstream
endobj
3 0 obj
<<
/D [8 0 R /FitH 689]
/S /GoTo
>>
endobj
4 0 obj
<<
/Count 7
/First 9 0 R
/Last 10 0 R
/Type /Outlines
>>
endobj
5 0 obj
<<
/Nums [0 11 0 R]
>>
endobj
6 0 obj
<<
/Count 21
/Kids [12 0 R 13 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Annots [14 0 R 15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R
24 0 R 25 0 R 26 0 R 27 0 R 28 0 R]
/Contents [29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R]
/CropBox [8.50394 8.50394 476.22 688.819]
/MediaBox [0.0 0.0 484.724 697.323]
/Parent 12 0 R
/Resources <<
/ExtGState <<
/GS0 37 0 R
/GS1 38 0 R
/GS2 39 0 R
>>
/Font <<
/T1_0 40 0 R
/T1_1 41 0 R
/T1_10 42 0 R
/T1_11 43 0 R
/T1_2 44 0 R
/T1_3 45 0 R
/T1_4 46 0 R
/T1_5 47 0 R
/T1_6 48 0 R
/T1_7 49 0 R
/T1_8 50 0 R
/T1_9 51 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/Properties <<
/MC0 <<
/doi (http://dx.doi.org/10.1016/j.entcs.2014.10.007)
>>
/MC1 <<
/doi (http://dx.doi.org/10.1016/j.entcs.2014.10.007)
>>
>>
/XObject <<
/Im0 52 0 R
/Im1 53 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
9 0 obj
<<
/A 54 0 R
/Next 55 0 R
/Parent 4 0 R
/Title (Introduction)
>>
endobj
10 0 obj
<<
/A 56 0 R
/Parent 4 0 R
/Prev 57 0 R
/Title (References)
>>
endobj
11 0 obj
<<
/S /D
/St 109
>>
endobj
12 0 obj
<<
/Count 11
/Kids [58 0 R 8 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R
67 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 10
/Kids [68 0 R 69 0 R 70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/A 78 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [286.381 489.822 293.155 499.876]
/Subtype /Link
/Type /Annot
>>
endobj
15 0 obj
<<
/A 79 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [293.907 489.822 300.681 499.876]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/A 80 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [275.11 432.348 281.884 440.518]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/A 81 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [55.622 193.842 68.1528 202.605]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A 82 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [238.243 193.842 250.774 202.605]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A 83 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [251.84 193.842 264.371 202.605]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A 84 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [265.437 193.842 277.968 202.605]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A 85 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [290.413 153.856 302.944 162.62]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:lxc@iis.sinica.edu.tw)
>>
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [87.7365 98.8348 176.031 111.104]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:A.Jung@cs.bham.ac.uk)
>>
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [87.7365 88.501 171.918 100.77]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A 86 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [336.562 579.68 436.538 588.608]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A 87 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [116.743 590.697 345.151 599.625]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A 88 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [53.8583 67.7048 198.978 76.6328]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A 89 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [222.735 634.457 306.303 643.833]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A 90 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [261.594 47.8623 422.914 56.7903]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/Length 831
/Filter /FlateDecode
>>
stream
HUM6WH1OQ<."iX#6[Kr%:ΐr]lr(|hyo8*N7𧻓s_̉ ݮsސ'aVB2KVƐn>wcQVSw>4i:!