%PDF-1.5
%
1 0 obj
<<
/Names 2 0 R
/Type /Catalog
/AcroForm 3 0 R
/OpenAction 4 0 R
/Metadata 5 0 R
/FICL#3AEnfocus 6 0 R
/PageMode /UseOutlines
/Pages 7 0 R
/CP2 8 0 R
>>
endobj
9 0 obj
<<
/Trapped /False
/ModDate (D:20220824233834-04'00')
/Creator (Certified by IEEE PDFeXpress at April 30, 2021 12:16:11 )
/IEEE#20Issue#20ID (9470501)
/PTEX.Fullbanner (This is pdfTeX, Version 3.14159265-2.6-1.40.21 \(TeX Live 2020/W32TeX\) kpathsea version 6.3.2)
/IEEE#20Publication#20ID (9470497)
/Title (Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation)
/Meeting#20Ending#20Date (2 July 2021)
/CreationDate (D:20210430211503+09'00')
/Producer <7064665465582D312E34302E32313B206D6F646966696564207573696E67206954657874AE20372E312E3120A9323030302D323031382069546578742047726F7570204E5620284147504C2D76657273696F6E29>
/IEEE#20Article#20ID (9470656)
/Subject (2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science \(LICS\);2021; ; ;10.1109/LICS52264.2021.9470656)
/Meeting#20Starting#20Date (29 June 2021)
/Author (Yuichi Komorida)
>>
endobj
2 0 obj
<<
/Dests 10 0 R
>>
endobj
3 0 obj
<<
/SigFlags 3
/Fields [11 0 R]
>>
endobj
4 0 obj
<<
/S /GoTo
/D [12 0 R /Fit]
>>
endobj
5 0 obj
<<
/Length 7986
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
IEEE
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021; ; ;10.1109/LICS52264.2021.9470656
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
Yuichi Komorida
Shin-ya Katsumata
Clemens Kupke
Jurriaan Rot
Ichiro Hasuo
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
1
29 June 2021
10.1109/LICS52264.2021.9470656
14
VoR
2022-08-24T23:38:34-04:00
2022-08-24T23:38:34-04:00
2021-04-30T21:15:03+09:00
Certified by IEEE PDFeXpress at April 30, 2021 12:16:11
pdfTeX-1.40.21; modified using iText® 7.1.1 ©2000-2018 iText Group NV (AGPL-version)
False
1
2022-08-25T03:38:34
2022-08-25T03:38:34
0
/All/PDF/Metadata/CertifiedPDF
/All/PDF/PageProperties/PageContent/RenderingContent
com.enfocus.cp2xmp-toolkit
1
Enfocus CertifiedPDF2XMP Toolkit v1
Enfocus CertifiedPDF2XMP Toolkit v1
com.enfocus.PitStopLibrary
20
Enfocus PitStop Server 20
Preflight
com.enfocus.preflight
1.0
Enfocus Preflight Certificate v1.0
com.enfocus.PitStopLibrary
20
Enfocus PitStop Server 20
1
Conforms to Preflight Profile PDF Spec 4.12-Standards-All PDF Versions-22 March 2016
Success
No errors or warnings, 1 fix
/All/PDF/Metadata
/All/PDF/PageProperties/PageContent/RenderingContent
Legacy
true
PDF Spec 4.12-Standards-All PDF Versions-22 March 2016
7df722bfc7644fb7318a99780b843ad6
2022-08-25T03:38:34
PDF Spec 4.12-Standards-All PDF Versions-22 March 2016
Enfocus PitStop Server 20
20
1.0
Success
No errors or warnings, 1 fix
2022-08-25T03:38:34
7df722bfc7644fb7318a99780b843ad6
endstream
endobj
6 0 obj
<<
/CertifiedWF 13 0 R
>>
endobj
7 0 obj
<<
/Kids [14 0 R 15 0 R 16 0 R]
/Type /Pages
/Count 14
/ITXT (2.1.7)
>>
endobj
8 0 obj
<<
/PrivateDataFilter [/FlateDecode]
>>
endobj
10 0 obj
<<
/Limits [(AMS.5) (theorem.8.2)]
/Kids [17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R]
>>
endobj
11 0 obj
<<
/Type /Annot
/Subtype /Widget
/Rect [-10 -10 -10 -10]
/FT /Sig
/V 23 0 R
/MK <<
>>
/P 12 0 R
/T (Enfocus Preflight)
>>
endobj
12 0 obj
<<
/Type /Page
/Contents [24 0 R 25 0 R 26 0 R]
/Resources <<
/Font <<
/T1_3 27 0 R
/T1_0 28 0 R
/T1_1 29 0 R
/T1_4 30 0 R
/F1 31 0 R
/T1_2 32 0 R
/F7 33 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 14 0 R
/MediaBox [0 0 612 792]
/Rotate 0
/Annots [11 0 R]
/CropBox [0 0 612 792]
>>
endobj
13 0 obj
<<
/Version 1
/Sessions [34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R]
/FileMapping 41 0 R
/Stamp [69 179 42 139 159 90 43 214 30 154
103 212 0 7 45 135 174 22 92 120]
>>
endobj
14 0 obj
<<
/Parent 7 0 R
/Kids [12 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R]
/Type /Pages
/Count 6
>>
endobj
15 0 obj
<<
/Parent 7 0 R
/Kids [47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R]
/Type /Pages
/Count 6
>>
endobj
16 0 obj
<<
/Parent 7 0 R
/Kids [53 0 R 54 0 R]
/Type /Pages
/Count 2
>>
endobj
17 0 obj
<<
/Limits [(AMS.5) (cite.Hofmann02)]
/Kids [55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R]
>>
endobj
18 0 obj
<<
/Limits [(cite.HughesJ04) (definitioncnt.3.2)]
/Kids [61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]
>>
endobj
19 0 obj
<<
/Limits [(definitioncnt.3.4) (factcnt.5.7)]
/Kids [67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R]
>>
endobj
20 0 obj
<<
/Limits [(factcnt.6.5) (propositioncnt.5.8)]
/Kids [73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R]
>>
endobj
21 0 obj
<<
/Limits [(propositioncnt.6.2) (theorem.4.1)]
/Kids [79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R]
>>
endobj
22 0 obj
<<
/Limits [(theorem.4.5) (theorem.8.2)]
/Kids [85 0 R]
>>
endobj
23 0 obj
<<
/Type /Sig
/Contents <3082031806092A864886F70D010702A082030930820305020101310F300D06096086480165030402010500300B06092A864886F70D010701A08201F5308201F13082015AA0030201020209008CDBB59FC17A46FD300D06092A864886F70D01010505003032310B3009060355040613024245312330210603550403131A507265666C69676874205469636B6574205369676E6174757265301E170D3039303632353038353435385A170D3337303832373032323634325A3032310B3009060355040613024245312330210603550403131A507265666C69676874205469636B6574205369676E617475726530819F300D06092A864886F70D010101050003818D0030818902818100BD56086AAA457D6CDAC6385B6C4BE4064DA3F685EF2F1F6BB7B8D684DBB9AE3170D3A4E091D2D275DC1EE8C583F2A443C054D9658ACD9E095E2D322DFCE42BBDDAFD0CA1629B8F769CC8CAAFE0FF728C65E5D3FB6CF3A1E5C6C03A70958E72148F844BC41756622671E42D053F24E692754514C68B2106BFB8C716CFCC29DA590203010001A30F300D300B0603551D0F040403020490300D06092A864886F70D010105050003818100B608660525CE30A00B4C80798EDE557B926FE8DC8F9F1412897BBAEC56C75236073E6C1B6079FDFF90969A838FAE1CE55A500433DD22738AB13B2EF6A32C9BCACBAB730DC97BE9BD19F49E6209CC16A436D19E7453550444CF081F6749EACBC9C2231B4D3CA2A2164B8ABE212F4F3847E629679A2943B17E6DCDAE21F4C503B63181E83081E5020101303F3032310B3009060355040613024245312330210603550403131A507265666C69676874205469636B6574205369676E61747572650209008CDBB59FC17A46FD300D06096086480165030402010500300D06092A864886F70D01010105000481803F2615180F1D9BBB5857040C8C13349A78C8EF3F79B3BD74BC17F458823A8E03DAEB5B358B3F1D328C426D249F76B573EEBF41E2E5ACAFEBA20DEDD4848607B9DAC3CF898B98B199899F73766171C1DD49EBF1809A722D9B4B5FCFC77C2F55B4415E470FF5F974BDF682D3F7BDF8170400BAB67A6E80009053D58CF978D6313D0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000>
/SubFilter /adbe.pkcs7.detached
/Filter /Adobe.PPKLite
/M (D:20220824233834-04'00')
/ByteRange [0 913889 916291 168977]
/Name (Preflight Ticket Signature)
>>
endobj
24 0 obj
<<
/Length 10
/Filter /FlateDecode
>>
stream
x+ |
endstream
endobj
25 0 obj
<<
/Length 7244
/Filter /FlateDecode
>>
stream
HWے6}W0ĝ'4Wuve92\2イ3Y6
J3h"Lo%
._YȻ9GڃWk:Ӊi:j
"!5AF1Ц2JK3h#&
˛lۦ\g*zQrS}8h˕[ǻndwo7Ln'?أ[{O`|OYE
ާ FQ U2ٟ|-5r[6 4va"!\{!ݜbTc
9R)p=ۓ5I o\/r)ɾ0uc[v*kQAZxu2"8I3A RaeխW>zsФۻ u4>{ڝ'2\ `3 خN|l '`Ϝ M
7>`>bvg;!AFҌ-sgS6temw]U|զ+cY
tN̤҉#? p$aƀ'pil_B( 5RAk6x96
jȄw:* 1SESC>IXreh+|ݥHHC(㨩 8'9y
Y}AF}B!6M,Y
ˉ)qTlS>llc$c˼ț! '|OJNVǥR;.'yDܵ|lo
8%ժkfo"x%_ã Xqmj.9=;Tl+aLa9$/cYc +ghbq(Wt!&029G Q|h:P9