{"id":"https://openalex.org/W2596565135","doi":null,"title":"The languages of relevant logic: a model-theoretic perspective","display_name":"The languages of relevant logic: a model-theoretic perspective","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2596565135","mag":"2596565135"},"language":"en","primary_location":{"id":"pmh:oai:alma.64OTAGO_INST:11396569490001891","doi":null,"is_oa":true,"landing_page_url":"https://ourarchive.otago.ac.nz/esploro/outputs/doctoral/The-languages-of-relevant-logic-a/9926478820801891","pdf_url":"https://ourarchive.otago.ac.nz/view/delivery/64OTAGO_INST/12396569480001891/13397036150001891","source":{"id":"https://openalex.org/S4306402094","display_name":"Otago University Research Archive (University of Otago)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I80281795","host_organization_name":"University of Otago","host_organization_lineage":["https://openalex.org/I80281795"],"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":"Doctoral Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ourarchive.otago.ac.nz/view/delivery/64OTAGO_INST/12396569480001891/13397036150001891","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089384409","display_name":"Guillermo Bad\u00eda","orcid":"https://orcid.org/0000-0002-5597-6794","observed_orcids":["https://orcid.org/0000-0002-5597-6794","https://orcid.org/0000-0003-2795-3728"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Guillermo Badia Hernandez","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5089384409"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.698199987411499,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.698199987411499,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.27950000762939453,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.01360000018030405,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/relevance-logic","display_name":"relevant logic","score":0.9980000257492065},{"id":"https://openalex.org/keywords/routley-meyer-semantics","display_name":"Routley-Meyer semantics","score":0.9049999713897705},{"id":"https://openalex.org/keywords/expressiveness","display_name":"expressiveness","score":0.765999972820282},{"id":"https://openalex.org/keywords/interpolation-theorem","display_name":"interpolation theorem","score":0.7609999775886536},{"id":"https://openalex.org/keywords/preservation-theorems","display_name":"preservation theorems","score":0.7139999866485596},{"id":"https://openalex.org/keywords/universal-algebra","display_name":"universal algebra","score":0.4000000059604645}],"concepts":[{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.663387656211853},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49970221519470215},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.3449302911758423},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34168803691864014},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3248584270477295},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3196496367454529},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.19400814175605774}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:alma.64OTAGO_INST:11396569490001891","doi":null,"is_oa":true,"landing_page_url":"https://ourarchive.otago.ac.nz/esploro/outputs/doctoral/The-languages-of-relevant-logic-a/9926478820801891","pdf_url":"https://ourarchive.otago.ac.nz/view/delivery/64OTAGO_INST/12396569480001891/13397036150001891","source":{"id":"https://openalex.org/S4306402094","display_name":"Otago University Research Archive (University of Otago)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I80281795","host_organization_name":"University of Otago","host_organization_lineage":["https://openalex.org/I80281795"],"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":"Doctoral Thesis"},{"id":"pmh:oai:ourarchive.otago.ac.nz:10523/7068","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10523/7068","pdf_url":"http://hdl.handle.net/10523/7068","source":{"id":"https://openalex.org/S4306402094","display_name":"Otago University Research Archive (University of Otago)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I80281795","host_organization_name":"University of Otago","host_organization_lineage":["https://openalex.org/I80281795"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis or Dissertation"},{"id":"mag:2596565135","doi":null,"is_oa":false,"landing_page_url":"https://ourarchive.otago.ac.nz/handle/10523/7068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:alma.64OTAGO_INST:11396569490001891","doi":null,"is_oa":true,"landing_page_url":"https://ourarchive.otago.ac.nz/esploro/outputs/doctoral/The-languages-of-relevant-logic-a/9926478820801891","pdf_url":"https://ourarchive.otago.ac.nz/view/delivery/64OTAGO_INST/12396569480001891/13397036150001891","source":{"id":"https://openalex.org/S4306402094","display_name":"Otago University Research Archive (University of Otago)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I80281795","host_organization_name":"University of Otago","host_organization_lineage":["https://openalex.org/I80281795"],"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":"Doctoral Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310371","display_name":"University of Otago","ror":"https://ror.org/01jmxt844"},{"id":"https://openalex.org/F4320320774","display_name":"Royal Society Te Ap\u0101rangi","ror":"https://ror.org/04tajb587"},{"id":"https://openalex.org/F4320335369","display_name":"Marsden Fund","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2596565135.pdf","grobid_xml":"https://content.openalex.org/works/W2596565135.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W15056967","https://openalex.org/W23294248","https://openalex.org/W110963011","https://openalex.org/W129686139","https://openalex.org/W165617141","https://openalex.org/W213280967","https://openalex.org/W615860846","https://openalex.org/W756589883","https://openalex.org/W1032524570","https://openalex.org/W1485574327","https://openalex.org/W1499179478","https://openalex.org/W1505359507","https://openalex.org/W1506910973","https://openalex.org/W1524462322","https://openalex.org/W1539648968","https://openalex.org/W1554516311","https://openalex.org/W1597759523","https://openalex.org/W1603162778","https://openalex.org/W1895867211","https://openalex.org/W1900356764","https://openalex.org/W1974483963","https://openalex.org/W1989699667","https://openalex.org/W1989962413","https://openalex.org/W1991748341","https://openalex.org/W1996113466","https://openalex.org/W2000716540","https://openalex.org/W2016788972","https://openalex.org/W2020112396","https://openalex.org/W2025063685","https://openalex.org/W2029181621","https://openalex.org/W2031392871","https://openalex.org/W2032951832","https://openalex.org/W2033002247","https://openalex.org/W2041574133","https://openalex.org/W2042385666","https://openalex.org/W2051237547","https://openalex.org/W2052417268","https://openalex.org/W2073764215","https://openalex.org/W2082707306","https://openalex.org/W2085339248","https://openalex.org/W2087078176","https://openalex.org/W2089017459","https://openalex.org/W2091469133","https://openalex.org/W2104178704","https://openalex.org/W2113285974","https://openalex.org/W2118891234","https://openalex.org/W2120747446","https://openalex.org/W2126052467","https://openalex.org/W2145191092","https://openalex.org/W2149736013","https://openalex.org/W2153149213","https://openalex.org/W2155129617","https://openalex.org/W2156168582","https://openalex.org/W2157256407","https://openalex.org/W2170803400","https://openalex.org/W2173438417","https://openalex.org/W2176346054","https://openalex.org/W2257188204","https://openalex.org/W2327979154","https://openalex.org/W2394505873","https://openalex.org/W2799061192","https://openalex.org/W2923255488","https://openalex.org/W3128976560","https://openalex.org/W4211144022","https://openalex.org/W4231952429"],"related_works":["https://openalex.org/W7098554022","https://openalex.org/W652095920","https://openalex.org/W64855880","https://openalex.org/W3081840887","https://openalex.org/W658713796","https://openalex.org/W607688378","https://openalex.org/W649308871","https://openalex.org/W396264758","https://openalex.org/W7048378444","https://openalex.org/W626728854"],"abstract_inverted_index":{"A":[0,190],"traditional":[1],"aspect":[2],"of":[3,41,57,67,87,119,139,151,163,166,175,184,198,215,231,239,272],"model":[4],"theory":[5,23],"has":[6],"been":[7],"the":[8,36,39,54,61,65,85,136,164,181,196,213,270],"interplay":[9],"between":[10,38],"formal":[11],"languages":[12,40,59,83,142,146,179,187,200,221],"and":[13,18,44,180,224],"mathematical":[14],"structures":[15],"(hence":[16],"Chang":[17],"Keisler's":[19],"famous":[20],"equation":[21],"\"model":[22],"=":[24],"universal":[25],"algebra":[26],"+":[27],"logic\").":[28],"This":[29],"dissertation":[30],"is":[31,50,53,78,98,129,193,274],"concerned,":[32],"in":[33,60,143,170,245],"particular,":[34],"with":[35,236,259],"relationship":[37],"relevant":[42,58,69,82,93,125,141,171,177,186,199,220,246,257],"logic":[43,90,247],"Routley-Meyer":[45,62,167],"models.":[46],"One":[47],"fundamental":[48],"question":[49],"treated:":[51],"what":[52,106],"expressive":[55,137,182],"power":[56,138,183],"framework?":[63],"In":[64,159,206],"case":[66],"finitary":[68,80,123],"propositional":[70,81,124,172,178],"languages,":[71,173],"two":[72],"answers":[73],"are":[74,84,188,222,226,248],"provided.":[75],"The":[76,96],"first":[77,88,241,266],"that":[79,131,256],"fragments":[86],"order":[89,203,242,267],"preserved":[91],"under":[92],"directed":[94],"bisimulations.":[95],"second":[97,202],"that,":[99],"when":[100],"we":[101,114,208],"restrict":[102],"our":[103,210],"attention":[104,211],"to":[105,195,212],"can":[107,115],"be":[108],"labelled":[109],"as":[110,148,201],"De":[111],"Morgan":[112],"models,":[113],"obtain":[116],"an":[117,152],"analogue":[118],"Lindstr\u00f6m's":[120],"theorem":[121,134,154],"for":[122,155],"languages.":[126,205],"Furthermore,":[127],"it":[128],"shown":[130],"a":[132,149,251,260],"preservation":[133],"characterizing":[135],"infinitary":[140,145,157,176],"classical":[144,156],"follows":[147],"consequence":[150],"interpolation":[153],"logic.":[158],"addition,":[160],"algebraic":[161,229],"characterizations":[162],"classes":[165],"models":[168],"axiomatizable":[169,244],"incompactness":[174],"quantificational":[185],"discussed.":[189],"final":[191],"chapter":[192],"devoted":[194],"study":[197],"frame":[204],"particular":[207],"devote":[209],"problem":[214],"which":[216,225],"properties":[217,234,243,268],"expressible":[218],"by":[219],"elementary":[223,233],"not.":[227],"An":[228],"characterization":[230],"such":[232],"together":[235],"some":[237],"examples":[238],"non":[240],"given.":[249],"Finally,":[250],"Sahlqvist-van":[252],"Benthem":[253],"algorithm":[254],"showing":[255],"formulas":[258],"certain":[261],"syntactic":[262],"form":[263],"express":[264],"calculable":[265],"at":[269],"level":[271],"frames":[273],"established.":[275]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2017-03-23T00:00:00"}