{"id":"https://openalex.org/W2046881047","doi":"https://doi.org/10.2168/lmcs-8(3:2)2012","title":"Completeness for the coalgebraic cover modality","display_name":"Completeness for the coalgebraic cover modality","publication_year":2012,"publication_date":"2012-07-31","ids":{"openalex":"https://openalex.org/W2046881047","doi":"https://doi.org/10.2168/lmcs-8(3:2)2012","mag":"2046881047"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-8(3:2)2012","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-8(3:2)2012","pdf_url":"https://lmcs.episciences.org/896/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/896/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058618165","display_name":"Clemens Kupke","orcid":"https://orcid.org/0000-0002-0502-391X"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]},{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Clemens Kupke","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Parks Road, Oxford, United Kingdom","Institute for Logic, Language and Computation, Universiteit van Amsterdam, Science Park 904, 1098 XH Amsterdam, The Netherlands","Imperial College London,#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Parks Road, Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Science Park 904, 1098 XH Amsterdam, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Imperial College London,#TAB#","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057868877","display_name":"Alexander Kurz","orcid":"https://orcid.org/0000-0002-8685-5207"},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alexander Kurz","raw_affiliation_strings":["Department of Computer Science, University of Leicester, United Kingdom","University of Leicester"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Leicester, United Kingdom","institution_ids":["https://openalex.org/I153648349"]},{"raw_affiliation_string":"University of Leicester","institution_ids":["https://openalex.org/I153648349"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105920523","display_name":"Yde Venema","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Yde Venema","raw_affiliation_strings":["Institute for Logic, Language and Computation, Universiteit van Amsterdam, Science Park 904, 1098 XH Amsterdam, The Netherlands","University of Amsterdam#N#"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Science Park 904, 1098 XH Amsterdam, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"University of Amsterdam#N#","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058618165"],"corresponding_institution_ids":["https://openalex.org/I40120149","https://openalex.org/I47508984"],"apc_list":null,"apc_paid":null,"fwci":4.864,"has_fulltext":true,"cited_by_count":27,"citation_normalized_percentile":{"value":0.94946942,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"Volume 8, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9445000290870667,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/finitary","display_name":"Finitary","score":0.8798326253890991},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7489175796508789},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.7381630539894104},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6108459234237671},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5600799322128296},{"id":"https://openalex.org/keywords/complete-boolean-algebra","display_name":"Complete Boolean algebra","score":0.4243167042732239},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42412546277046204},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.41807684302330017},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.41203564405441284},{"id":"https://openalex.org/keywords/two-element-boolean-algebra","display_name":"Two-element Boolean algebra","score":0.2433674931526184},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1508355736732483},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.10537466406822205},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09288233518600464}],"concepts":[{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.8798326253890991},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7489175796508789},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.7381630539894104},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6108459234237671},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5600799322128296},{"id":"https://openalex.org/C81518389","wikidata":"https://www.wikidata.org/wiki/Q5156447","display_name":"Complete Boolean algebra","level":5,"score":0.4243167042732239},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42412546277046204},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41807684302330017},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.41203564405441284},{"id":"https://openalex.org/C207764348","wikidata":"https://www.wikidata.org/wiki/Q7858706","display_name":"Two-element Boolean algebra","level":4,"score":0.2433674931526184},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1508355736732483},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.10537466406822205},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09288233518600464},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":11,"locations":[{"id":"doi:10.2168/lmcs-8(3:2)2012","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-8(3:2)2012","pdf_url":"https://lmcs.episciences.org/896/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/c9fd8433-52f9-4fde-ba59-5292bd769353","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/completeness-for-the-coalgebraic-cover-modality(c9fd8433-52f9-4fde-ba59-5292bd769353).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kupke, C, Kurz, A & Venema, Y 2012, 'Completeness for the coalgebraic cover modality', Logical Methods in Computer Science, vol. 8, no. 3, 2. https://doi.org/10.2168/LMCS-8(3:2)2012","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:publications/c9fd8433-52f9-4fde-ba59-5292bd769353","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/completeness-for-the-coalgebraic-cover-modality(c9fd8433-52f9-4fde-ba59-5292bd769353).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kupke, C, Kurz, A & Venema, Y 2012, 'Completeness for the coalgebraic cover modality', Logical Methods in Computer Science, vol. 8, no. 3, 2. https://doi.org/10.2168/LMCS-8(3:2)2012","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:1206.4935","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1206.4935","pdf_url":"https://arxiv.org/pdf/1206.4935","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:digitalcommons.chapman.edu:engineering_articles-1005","is_oa":true,"landing_page_url":"https://digitalcommons.chapman.edu/engineering_articles/6","pdf_url":null,"source":{"id":"https://openalex.org/S4377196324","display_name":"Chapman University Digital Commons (Chapman University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I185071736","host_organization_name":"Chapman University","host_organization_lineage":["https://openalex.org/I185071736"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Engineering Faculty Articles and Research","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.705.2531","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.705.2531","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.le.ac.uk/people/akurz/Papers/kkv-aiml08-jv.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.758.5378","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.758.5378","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/1206.4935.pdf","raw_type":"text"},{"id":"pmh:oai:doaj.org/article:ad3b4cd0a5a743d6bb897f5ffaf1910f","is_oa":true,"landing_page_url":"https://doaj.org/article/ad3b4cd0a5a743d6bb897f5ffaf1910f","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 8, Issue 3 (2012)","raw_type":"article"},{"id":"pmh:oai:figshare.com:article/10168466","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Completeness_for_the_coalgebraic_cover_modality/10168466","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:lra.le.ac.uk:2381/28586","is_oa":true,"landing_page_url":"http://hdl.handle.net/2381/28586","pdf_url":null,"source":{"id":"https://openalex.org/S4306402365","display_name":"Leicester Research Archive (University of Leicester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I153648349","host_organization_name":"University of Leicester","host_organization_lineage":["https://openalex.org/I153648349"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:strathprints.strath.ac.uk:42937","is_oa":false,"landing_page_url":"https://strathprints.strath.ac.uk/42937/","pdf_url":null,"source":{"id":"https://openalex.org/S4306402226","display_name":"Strathprints: The University of Strathclyde institutional repository (University of Strathclyde)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I181647926","host_organization_name":"University of Strathclyde","host_organization_lineage":["https://openalex.org/I181647926"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":{"id":"doi:10.2168/lmcs-8(3:2)2012","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-8(3:2)2012","pdf_url":"https://lmcs.episciences.org/896/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G102319328","display_name":"Coalgebraic Modal Logic: Fixpoints and Nested Modalities","funder_award_id":"EP/F031173/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4162927230","display_name":null,"funder_award_id":"EP/C014014/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4352380121","display_name":null,"funder_award_id":"639.073.501","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4423884396","display_name":null,"funder_award_id":"EP/C014014/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5128574789","display_name":null,"funder_award_id":"EP/H051511/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5149141064","display_name":null,"funder_award_id":"EP/F031173/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G5656091025","display_name":"Coalgebras, Modal Logic, Stone Duality","funder_award_id":"EP/C014014/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G629491556","display_name":null,"funder_award_id":"(NWO)","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6644568224","display_name":null,"funder_award_id":"14014","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G6914844650","display_name":null,"funder_award_id":"EP/H051511/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G7463230626","display_name":null,"funder_award_id":"2300130488","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7963552727","display_name":"ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access","funder_award_id":"EP/H051511/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G958648101","display_name":null,"funder_award_id":"EP/H051511","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2046881047.pdf","grobid_xml":"https://content.openalex.org/works/W2046881047.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W36853044","https://openalex.org/W45901170","https://openalex.org/W112626393","https://openalex.org/W120538431","https://openalex.org/W196547133","https://openalex.org/W1026721552","https://openalex.org/W1479667522","https://openalex.org/W1539385324","https://openalex.org/W1543688617","https://openalex.org/W1548663088","https://openalex.org/W1561011284","https://openalex.org/W1568599313","https://openalex.org/W1595870841","https://openalex.org/W1664983908","https://openalex.org/W1964799251","https://openalex.org/W1967405807","https://openalex.org/W1976341348","https://openalex.org/W1982431152","https://openalex.org/W1985915951","https://openalex.org/W1989540314","https://openalex.org/W2005622128","https://openalex.org/W2036639698","https://openalex.org/W2047862786","https://openalex.org/W2048565204","https://openalex.org/W2057072590","https://openalex.org/W2057895129","https://openalex.org/W2068619585","https://openalex.org/W2086788473","https://openalex.org/W2088189323","https://openalex.org/W2088378600","https://openalex.org/W2093450770","https://openalex.org/W2104717233","https://openalex.org/W2105634236","https://openalex.org/W2106283957","https://openalex.org/W2111402410","https://openalex.org/W2115452397","https://openalex.org/W2120713972","https://openalex.org/W2138785176","https://openalex.org/W2139415933","https://openalex.org/W2144782528","https://openalex.org/W2149574014","https://openalex.org/W2153364044","https://openalex.org/W2154547008","https://openalex.org/W2158921667","https://openalex.org/W2164883513","https://openalex.org/W2402892473","https://openalex.org/W2516028194","https://openalex.org/W2582264716","https://openalex.org/W2912848864","https://openalex.org/W3105604159","https://openalex.org/W3189472968","https://openalex.org/W4211144022","https://openalex.org/W4213084408","https://openalex.org/W4213277014","https://openalex.org/W4236251393","https://openalex.org/W4247177360","https://openalex.org/W6676204190"],"related_works":["https://openalex.org/W13634261","https://openalex.org/W4250462479","https://openalex.org/W2107846795","https://openalex.org/W3163509751","https://openalex.org/W958050847","https://openalex.org/W2004318671","https://openalex.org/W2042266169","https://openalex.org/W2396405675","https://openalex.org/W175051304","https://openalex.org/W1549730417"],"abstract_inverted_index":{"We":[0,147,164,207],"study":[1],"the":[2,6,48,65,87,120,124,128,151,179,185,221,231],"finitary":[3,213],"version":[4],"of":[5,15,36,57,68,89,123,130,144,150,153,168,181,194,224],"coalgebraic":[7,26,43],"logic":[8,39,226],"introduced":[9,20],"by":[10,157],"L.":[11],"Moss.":[12],"The":[13],"syntax":[14],"this":[16,210,235],"logic,":[17],"which":[18],"is":[19,53,98,212],"uniformly":[21],"with":[22,40,230],"respect":[23],"to":[24,30,119],"a":[25,41,58,73,81,166,202],"type":[27,49],"functor,":[28],"required":[29],"preserve":[31],"weak":[32],"pullbacks,":[33],"extends":[34],"that":[35,78,107,187,209,220],"classical":[37],"propositional":[38],"so-called":[42],"cover":[44],"modality":[45],"depending":[46],"on":[47,204],"functor.":[50,163,236],"Its":[51],"semantics":[52],"defined":[54,60],"in":[55,114],"terms":[56],"categorically":[59],"relation":[61,154],"lifting":[62],"operation.":[63],"As":[64],"main":[66,132],"contributions":[67],"our":[69,108,131,188,225],"paper":[70],"we":[71,101,134,218],"introduce":[72,165],"derivation":[74,109,189],"system,":[75],"and":[76,83,95,100,139,172,178,214,217],"prove":[77,219],"it":[79,177,197],"provides":[80],"sound":[82],"complete":[84],"axiomatization":[85],"for":[86,234],"collection":[88],"coalgebraically":[90],"valid":[91],"inequalities.":[92],"Our":[93],"soundness":[94],"completeness":[96],"proof":[97,129],"algebraic,":[99],"employ":[102],"Pattinson's":[103],"stratification":[104],"method,":[105],"showing":[106],"system":[110,190],"can":[111,198,227],"be":[112,199,228],"stratified":[113],"countably":[115],"many":[116],"layers,":[117],"corresponding":[118],"modal":[121],"depth":[122,195],"formulas":[125,193],"involved.":[126],"In":[127],"result":[133],"identify":[135],"some":[136,141],"new":[137],"concepts":[138],"obtain":[140],"auxiliary":[142],"results":[143],"independent":[145],"interest.":[146],"survey":[148],"properties":[149],"notion":[152],"lifting,":[155],"induced":[156],"an":[158,174],"arbitrary":[159],"but":[160],"fixed":[161],"set":[162],"category":[167,180],"Boolean":[169,182,205],"algebra":[170,223,233],"presentations,":[171],"establish":[173],"adjunction":[175],"between":[176],"algebras.":[183,206],"Given":[184],"fact":[186],"involves":[191],"only":[192],"one,":[196],"encoded":[200],"as":[201],"endo-functor":[203],"show":[208],"functor":[211],"preserves":[215],"embeddings,":[216],"Lindenbaum-Tarski":[222],"identified":[229],"initial":[232]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2020-11-23T00:00:00"}