{"id":"https://openalex.org/W2944968024","doi":"https://doi.org/10.1093/jigpal/jzz010","title":"Editors\u2019 introduction: Special issue on non-classical modal and predicate logics","display_name":"Editors\u2019 introduction: Special issue on non-classical modal and predicate logics","publication_year":2019,"publication_date":"2019-04-16","ids":{"openalex":"https://openalex.org/W2944968024","doi":"https://doi.org/10.1093/jigpal/jzz010","mag":"2944968024"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzz010","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzz010","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},"type":"editorial","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071216071","display_name":"Petr Cintula","orcid":"https://orcid.org/0000-0002-3617-1392"},"institutions":[{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"government","lineage":["https://openalex.org/I202391551"]},{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Petr Cintula","raw_affiliation_strings":["Institute of Computer Science of the Czech Academy of Sciences, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07 Prague, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science of the Czech Academy of Sciences, Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07 Prague, Czech Republic","institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035553646","display_name":"Zach Weber","orcid":"https://orcid.org/0000-0003-0107-7096"},"institutions":[{"id":"https://openalex.org/I80281795","display_name":"University of Otago","ror":"https://ror.org/01jmxt844","country_code":"NZ","type":"education","lineage":["https://openalex.org/I80281795"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Z Weber","raw_affiliation_strings":["Philosophy, School of Arts, University of Otago Dunedin, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Philosophy, School of Arts, University of Otago Dunedin, New Zealand","institution_ids":["https://openalex.org/I80281795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112482029","display_name":"S Ju","orcid":"https://orcid.org/0009-0007-9467-7619"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"S Ju","raw_affiliation_strings":["Institute of Logic and Cognition, Sun Yat-sen University, 135 Xingang Road West, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Logic and Cognition, Sun Yat-sen University, 135 Xingang Road West, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5071216071"],"corresponding_institution_ids":["https://openalex.org/I202391551","https://openalex.org/I4210155092"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"27","issue":"4","first_page":"385","last_page":"386"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"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.9983999729156494,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9965999722480774,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9765999913215637,"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/classical-logic","display_name":"Classical logic","score":0.7239112257957458},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.6966139674186707},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.6736247539520264},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.6704780459403992},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.6320734620094299},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5794031620025635},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5356523394584656},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5185209512710571},{"id":"https://openalex.org/keywords/quine","display_name":"Quine","score":0.5137001276016235},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.49590715765953064},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.4369887411594391},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3921622335910797},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.39115631580352783},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38850975036621094},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3652424216270447},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18406781554222107},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.13097378611564636},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07768526673316956}],"concepts":[{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.7239112257957458},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.6966139674186707},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.6736247539520264},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.6704780459403992},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.6320734620094299},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5794031620025635},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5356523394584656},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5185209512710571},{"id":"https://openalex.org/C9270016","wikidata":"https://www.wikidata.org/wiki/Q1047886","display_name":"Quine","level":2,"score":0.5137001276016235},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.49590715765953064},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.4369887411594391},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3921622335910797},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.39115631580352783},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38850975036621094},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3652424216270447},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18406781554222107},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.13097378611564636},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07768526673316956},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzz010","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzz010","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W110963011","https://openalex.org/W1551030425","https://openalex.org/W4248354378","https://openalex.org/W4248743978"],"related_works":["https://openalex.org/W3108798275","https://openalex.org/W2795425183","https://openalex.org/W176661328","https://openalex.org/W2260113151","https://openalex.org/W3126675290","https://openalex.org/W2952939288","https://openalex.org/W2963628981","https://openalex.org/W2901238796","https://openalex.org/W4377031878","https://openalex.org/W2554822349"],"abstract_inverted_index":{"There":[0],"was":[1,19],"a":[2,42,49,53,92,137,166],"time":[3],"when":[4,107],"modal":[5,7,25,33,62,87,248],"logic\u2014any":[6],"logic\u2014was":[8],"\u2018non-classical\u2019.":[9],"In":[10],"the":[11,70,74,97,149,185,212,242,260],"early":[12],"1950s,":[13],"someone":[14],"as":[15,17,77,121,170],"influential":[16],"Quine":[18,108],"still":[20,116,165],"arguing":[21],"that":[22,60,114,126,143,195,246],"quantifying":[23],"into":[24,112],"contexts":[26],"is":[27,35,66,164,182,193,197],"incoherent":[28],"(see,":[29],"e.g.":[30],"(4)).":[31],"Today,":[32],"logic":[34,88,103,223,249],"not":[36],"only":[37],"widely":[38],"accepted":[39],"but":[40,140,162],"also":[41],"thriving,":[43],"crowded":[44],"research":[45,111],"topic,":[46],"having":[47],"become":[48],"tool":[50],"applicable":[51],"in":[52,69,86,179,224],"vast":[54],"array":[55],"of":[56,100,120,142,222,244,255],"areas.":[57],"The":[58,214],"notion":[59],"using":[61],"operators":[63],"at":[64,184],"all":[65],"non-classical":[67,153,180,209,238],"(which,":[68],"mid-20th":[71],"century,":[72],"meant":[73],"same":[75],"thing":[76],"deviant)":[78],"now":[79],"seems":[80],"almost":[81],"quaint.":[82],"To":[83],"be":[84,118,200],"\u2018non-classical\u2019":[85],"today":[89,117],"means":[90],"taking":[91],"much":[93,141,198],"larger":[94],"step":[95],"beyond":[96,230,259],"narrow":[98],"confines":[99],"two-valued":[101],"classical":[102,133],"than":[104,132],"it":[105,192],"did":[106],"wrote.":[109],"Meanwhile,":[110],"logics":[113,154,181,239],"would":[115],"thought":[119],"non-classical\u2014logics":[122],"with":[123],"consequence":[124],"relations":[125],"yield":[127],"different":[128],"theories":[129,258],"(usually":[130],"sub-theories)":[131],"consequence\u2014is":[134],"well":[135],"over":[136],"century":[138],"old,":[139],"work":[144],"has":[145,250],"been":[146],"confined":[147],"to":[148,199,240],"propositional":[150,186,204,261],"level.":[151,262],"Some":[152],"are":[155],"essentially":[156],"first":[157],"order,":[158],"like":[159],"free":[160],"logic,":[161],"there":[163,196],"common":[167],"sense":[168],"that,":[169],"one":[171],"popular":[172],"textbook":[173],"puts":[174],"it,":[175],"\u2018the":[176],"major":[177],"interest":[178],"usually":[183],"level\u2019":[187],"(3,":[188],"p.":[189],"xvii).":[190],"While":[191],"true":[194],"learned":[201],"by":[202,216],"studying":[203],"connectives":[205],"and":[206,229,257],"exploring":[207],"their":[208],"possibilities":[210],"(as":[211],"magisterial":[213],"Connectives":[215],"Humberstone":[217],"testifies":[218],"(2)),":[219],"most":[220],"applications":[221],"mathematics,":[225],"computer":[226],"science,":[227],"linguistics":[228],"involves":[231],"quantification":[232],"and,":[233],"indeed,":[234],"higher-order":[235],"quantification.":[236],"For":[237],"reach":[241],"level":[243],"acceptance":[245],"standard":[247],"will":[251],"involve":[252],"further":[253],"exploration":[254],"languages":[256]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}