{"id":"https://openalex.org/W2790626676","doi":"https://doi.org/10.23638/lmcs-14(1:22)2018","title":"Model Theory and Proof Theory of Coalgebraic Predicate Logic","display_name":"Model Theory and Proof Theory of Coalgebraic Predicate Logic","publication_year":2018,"publication_date":"2018-03-20","ids":{"openalex":"https://openalex.org/W2790626676","doi":"https://doi.org/10.23638/lmcs-14(1:22)2018","mag":"2790626676"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-14(1:22)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:22)2018","pdf_url":"https://lmcs.episciences.org/4390/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/4390/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058807832","display_name":"Tadeusz Litak","orcid":"https://orcid.org/0000-0003-2240-3161"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]},{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["AU","DE","JP"],"is_corresponding":false,"raw_author_name":"Tadeusz Litak","raw_affiliation_strings":["Friedrich-Alexander-Universitt Erlangen-Nrnberg Australian National University Graduate School of Letters , Hokkaido University Friedrich-Alexander-Universitt Erlangen-Nrnberg","Australian National University","Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","Graduate School of Letters, Hokkaido University"],"raw_orcid":"https://orcid.org/0000-0003-2240-3161","affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universitt Erlangen-Nrnberg Australian National University Graduate School of Letters , Hokkaido University Friedrich-Alexander-Universitt Erlangen-Nrnberg","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Australian National University","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Graduate School of Letters, Hokkaido University","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077171828","display_name":"Dirk Pattinson","orcid":"https://orcid.org/0000-0002-5832-6666"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]},{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["AU","DE","JP"],"is_corresponding":false,"raw_author_name":"Dirk Pattinson","raw_affiliation_strings":["Friedrich-Alexander-Universitt Erlangen-Nrnberg Australian National University Graduate School of Letters , Hokkaido University Friedrich-Alexander-Universitt Erlangen-Nrnberg","Australian National University","Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","Graduate School of Letters, Hokkaido University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universitt Erlangen-Nrnberg Australian National University Graduate School of Letters , Hokkaido University Friedrich-Alexander-Universitt Erlangen-Nrnberg","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Australian National University","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Graduate School of Letters, Hokkaido University","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065788231","display_name":"Katsuhiko Sano","orcid":"https://orcid.org/0000-0002-7780-423X"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]},{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["AU","DE","JP"],"is_corresponding":false,"raw_author_name":"Katsuhiko Sano","raw_affiliation_strings":["Friedrich-Alexander-Universitt Erlangen-Nrnberg Australian National University Graduate School of Letters , Hokkaido University Friedrich-Alexander-Universitt Erlangen-Nrnberg","Australian National University","Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","Graduate School of Letters, Hokkaido University"],"raw_orcid":"https://orcid.org/0000-0002-7780-423X","affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universitt Erlangen-Nrnberg Australian National University Graduate School of Letters , Hokkaido University Friedrich-Alexander-Universitt Erlangen-Nrnberg","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Australian National University","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Graduate School of Letters, Hokkaido University","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073765060","display_name":"Lutz Schr\u00f6der","orcid":"https://orcid.org/0000-0002-3146-5906"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]},{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]},{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["AU","DE","JP"],"is_corresponding":false,"raw_author_name":"Lutz Schr\u00f6der","raw_affiliation_strings":["Australian National University","Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","Graduate School of Letters, Hokkaido University"],"raw_orcid":"https://orcid.org/0000-0002-3146-5906","affiliations":[{"raw_affiliation_string":"Australian National University","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Graduate School of Letters, Hokkaido University","institution_ids":["https://openalex.org/I205349734"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3689,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.70391312,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"Volume 14, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.993399977684021,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/predicate-logic","display_name":"Predicate logic","score":0.6555882096290588},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.5600007772445679},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.552882730960846},{"id":"https://openalex.org/keywords/predicate-variable","display_name":"Predicate variable","score":0.5444868206977844},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5330430865287781},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.43511703610420227},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.4335179328918457},{"id":"https://openalex.org/keywords/structural-proof-theory","display_name":"Structural proof theory","score":0.4216541647911072},{"id":"https://openalex.org/keywords/predicate-functor-logic","display_name":"Predicate functor logic","score":0.41285237669944763},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37410759925842285},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3507377505302429},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.18550515174865723},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.15721595287322998},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.156447172164917},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.1294795572757721},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.11575311422348022},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.10878786444664001}],"concepts":[{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.6555882096290588},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.5600007772445679},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.552882730960846},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.5444868206977844},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5330430865287781},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.43511703610420227},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.4335179328918457},{"id":"https://openalex.org/C195653647","wikidata":"https://www.wikidata.org/wiki/Q7625047","display_name":"Structural proof theory","level":4,"score":0.4216541647911072},{"id":"https://openalex.org/C2039508","wikidata":"https://www.wikidata.org/wiki/Q7239631","display_name":"Predicate functor logic","level":5,"score":0.41285237669944763},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37410759925842285},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3507377505302429},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.18550515174865723},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.15721595287322998},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.156447172164917},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.1294795572757721},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.11575311422348022},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.10878786444664001},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23638/lmcs-14(1:22)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:22)2018","pdf_url":"https://lmcs.episciences.org/4390/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:arXiv.org:1701.03773","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1701.03773","pdf_url":"https://arxiv.org/pdf/1701.03773","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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:openresearch-repository.anu.edu.au:1885/307594","is_oa":true,"landing_page_url":"http://hdl.handle.net/1885/307594","pdf_url":"https://openresearch-repository.anu.edu.au/bitstreams/86b252f5-4903-4c6c-8503-d53c1083e56d/download","source":{"id":"https://openalex.org/S4306402539","display_name":"ANU Open Research (Australian National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118347636","host_organization_name":"Australian National University","host_organization_lineage":["https://openalex.org/I118347636"],"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":"Logical Methods in Computer Science","raw_type":"Journal article"},{"id":"pmh:oai:doaj.org/article:84adfe63fa704e878d1104a4aa693d40","is_oa":true,"landing_page_url":"https://doaj.org/article/84adfe63fa704e878d1104a4aa693d40","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"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 14, Issue 1 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-14(1:22)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(1:22)2018","pdf_url":"https://lmcs.episciences.org/4390/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":[{"score":0.6899999976158142,"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11"}],"awards":[{"id":"https://openalex.org/G1791898345","display_name":"Proof-theoretic study of multi-agent interaction via many-dimensional and many-sorted logics","funder_award_id":"15K21025","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2790626676.pdf","grobid_xml":"https://content.openalex.org/works/W2790626676.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W129686139","https://openalex.org/W187636597","https://openalex.org/W1483737907","https://openalex.org/W1489300317","https://openalex.org/W1542706591","https://openalex.org/W1597565438","https://openalex.org/W1678486145","https://openalex.org/W1858011931","https://openalex.org/W1902492665","https://openalex.org/W1965552673","https://openalex.org/W1976268573","https://openalex.org/W1982431152","https://openalex.org/W1983240156","https://openalex.org/W1995714798","https://openalex.org/W1998378297","https://openalex.org/W1998546048","https://openalex.org/W2004318671","https://openalex.org/W2039157284","https://openalex.org/W2040173145","https://openalex.org/W2055686117","https://openalex.org/W2060917500","https://openalex.org/W2062285040","https://openalex.org/W2076805456","https://openalex.org/W2077519384","https://openalex.org/W2086035610","https://openalex.org/W2092004454","https://openalex.org/W2103774282","https://openalex.org/W2105505307","https://openalex.org/W2109058602","https://openalex.org/W2113271515","https://openalex.org/W2124110813","https://openalex.org/W2140570142","https://openalex.org/W2142018979","https://openalex.org/W2176114185","https://openalex.org/W2250074872","https://openalex.org/W2337715273","https://openalex.org/W2949155565","https://openalex.org/W3104252790","https://openalex.org/W3189472968","https://openalex.org/W4231292876","https://openalex.org/W4233570983","https://openalex.org/W4251554913","https://openalex.org/W4298212971"],"related_works":["https://openalex.org/W1505395785","https://openalex.org/W1518138802","https://openalex.org/W4389618767","https://openalex.org/W2383225166","https://openalex.org/W583230344","https://openalex.org/W2272012919","https://openalex.org/W659588069","https://openalex.org/W4210881694","https://openalex.org/W4285136097","https://openalex.org/W2092604862"],"abstract_inverted_index":{"We":[0,32,57],"propose":[1],"a":[2,9,15,116,124],"generalization":[3],"of":[4,24,42,62,80],"first-order":[5,75],"logic":[6],"originating":[7],"in":[8,66,97,108],"neglected":[10],"work":[11],"by":[12],"C.C.":[13],"Chang:":[14],"natural":[16,40],"and":[17,35,72,89,95],"generic":[18],"correspondence":[19],"language":[20],"for":[21,38,77,101,120],"any":[22],"types":[23],"structures":[25],"which":[26,121],"can":[27],"be":[28],"recast":[29],"as":[30],"Set-coalgebras.":[31],"discuss":[33,115],"axiomatization":[34],"completeness":[36,52],"results":[37],"several":[39],"classes":[41,79,104],"such":[43],"logics.":[44],"Moreover,":[45],"we":[46,114,122],"show":[47],"that":[48,105],"an":[49],"entirely":[50],"general":[51],"result":[53],"is":[54],"not":[55],"possible.":[56],"study":[58],"the":[59,102],"expressive":[60],"power":[61],"our":[63],"language,":[64],"both":[65],"comparison":[67],"with":[68,73],"coalgebraic":[69],"hybrid":[70],"logics":[71],"existing":[74],"proposals":[76],"special":[78],"Set-coalgebras":[81],"(apart":[82],"from":[83],"relational":[84],"structures,":[85],"also":[86],"neighbourhood":[87],"frames":[88],"topological":[90],"spaces).":[91],"Basic":[92],"model-theoretic":[93],"constructions":[94],"results,":[96],"particular":[98],"ultraproducts,":[99],"obtain":[100],"two":[103],"allow":[106],"completeness---and":[107],"some":[109],"cases":[110],"beyond":[111],"that.":[112],"Finally,":[113],"basic":[117],"sequent":[118],"system,":[119],"establish":[123],"syntactic":[125],"cut-elimination":[126],"result.":[127]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}