{"id":"https://openalex.org/W2050521506","doi":"https://doi.org/10.1080/11663081.1992.10510783","title":"Relevant logic as a basis for paraconsistent epistemic logics","display_name":"Relevant logic as a basis for paraconsistent epistemic logics","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W2050521506","doi":"https://doi.org/10.1080/11663081.1992.10510783","mag":"2050521506"},"language":"en","primary_location":{"id":"doi:10.1080/11663081.1992.10510783","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.1992.10510783","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},"type":"article","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/A5012291023","display_name":"Gerson Zaverucha","orcid":"https://orcid.org/0000-0002-3641-6839"},"institutions":[{"id":"https://openalex.org/I122140584","display_name":"Universidade Federal do Rio de Janeiro","ror":"https://ror.org/03490as77","country_code":"BR","type":"education","lineage":["https://openalex.org/I122140584"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Gerson Zaverucha","raw_affiliation_strings":["Programa de Engenharia de Sistemas e Computa\u00e7\u0101o , COPPE, Universidade Federal do Rio de Janeiro , Rio de Janeiro , Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Programa de Engenharia de Sistemas e Computa\u00e7\u0101o , COPPE, Universidade Federal do Rio de Janeiro , Rio de Janeiro , Brazil","institution_ids":["https://openalex.org/I122140584"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012291023"],"corresponding_institution_ids":["https://openalex.org/I122140584"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.15173923,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"2","first_page":"225","last_page":"241"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9983999729156494,"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.9958999752998352,"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/defeasible-estate","display_name":"Defeasible estate","score":0.8185673356056213},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.6472818851470947},{"id":"https://openalex.org/keywords/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.5860097408294678},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5541822910308838},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.5054652690887451},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.44447576999664307},{"id":"https://openalex.org/keywords/absolute","display_name":"Absolute (philosophy)","score":0.43754279613494873},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.422674298286438},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.41696542501449585},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37785181403160095},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3671836256980896},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.36536580324172974},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.2861053943634033},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.25662583112716675},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.1352810263633728}],"concepts":[{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.8185673356056213},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.6472818851470947},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.5860097408294678},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5541822910308838},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.5054652690887451},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.44447576999664307},{"id":"https://openalex.org/C2777487392","wikidata":"https://www.wikidata.org/wiki/Q481201","display_name":"Absolute (philosophy)","level":2,"score":0.43754279613494873},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.422674298286438},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.41696542501449585},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37785181403160095},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3671836256980896},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.36536580324172974},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.2861053943634033},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.25662583112716675},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.1352810263633728},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/11663081.1992.10510783","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.1992.10510783","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W61865301","https://openalex.org/W145304015","https://openalex.org/W815954653","https://openalex.org/W1487409515","https://openalex.org/W1505359507","https://openalex.org/W1593617641","https://openalex.org/W1596067335","https://openalex.org/W1967858132","https://openalex.org/W1999654660","https://openalex.org/W2023341887","https://openalex.org/W2024537851","https://openalex.org/W2032206951","https://openalex.org/W2072341634","https://openalex.org/W2142616542","https://openalex.org/W2160727829","https://openalex.org/W2163751633","https://openalex.org/W2764313035","https://openalex.org/W3128843429","https://openalex.org/W4242309855","https://openalex.org/W4252068692","https://openalex.org/W4254527183","https://openalex.org/W4256682192","https://openalex.org/W4297918935"],"related_works":["https://openalex.org/W2118735566","https://openalex.org/W2380969826","https://openalex.org/W3082661735","https://openalex.org/W1528561239","https://openalex.org/W1523472488","https://openalex.org/W2936472323","https://openalex.org/W1519321178","https://openalex.org/W4248924863","https://openalex.org/W4256682192","https://openalex.org/W2080546370"],"abstract_inverted_index":{"ABSTRACT":[0],"In":[1,16,35],"this":[2],"work":[3],"we":[4,138],"argue":[5],"for":[6,12,150,177],"relevant":[7,102,113],"logics":[8,114],"as":[9],"a":[10,21,53,167],"basis":[11],"paraconsistent":[13,22,123],"epistemic":[14,25],"logics.":[15],"order":[17,171],"to":[18,128,145,161,172],"do":[19],"so,":[20],"nonmonotonic":[23,168,179],"multi-agent":[24],"logic,":[26],"MDR":[27,36],"(for":[28],"Modal":[29],"Defeasible":[30],"Relevant),":[31],"is":[32,92],"briefly":[33],"introduced.":[34],"each":[37],"agent":[38,63],"has":[39],"two":[40],"kinds":[41],"of":[42,97,132,157],"belief:":[43],"an":[44,62],"absolute":[45,69,87,133,155],"belief":[46,55],"that":[47,56],"P,":[48,57],"represented":[49,58],"by":[50,59],"AiP,":[51],"and":[52,70,76,88,111,116,118,134,159,164],"defeasible":[54,71,135],"DiP.":[60],"Therefore,":[61],"can":[64,139],"reason":[65,78],"with":[66,109,120,126,166],"his":[67,80],"own":[68],"beliefs":[72,81,85],"about":[73,79,82],"the":[74,147,151,174,178],"world":[75],"also":[77,119],"other":[83],"agents'":[84],"both":[86],"defeasible.":[89],"A":[90],"theorem":[91],"presented":[93],"showing":[94],"some":[95,129],"patterns":[96],"reasoning":[98],"in":[99,170],"MDR.":[100],"Avron's":[101],"logic":[103,124,149,169,176],"RMI\u2192":[104],"s":[105],"compared":[106],"proof":[107],"theoretically":[108],"Anderson":[110],"Belnap's":[112],"R":[115],"RM":[117],"Da":[121],"Costa's":[122],"CI,":[125],"respect":[127],"desired":[130],"properties":[131],"beliefs.":[136],"Then":[137],"understand":[140],"why":[141],"RMI":[142],"was":[143],"chosen":[144],"be":[146,162,173],"underlying":[148,175],"monotonie":[152],"part":[153,180],"(the":[154],"beliefs)":[156],"MDR,":[158],"had":[160],"modified":[163],"integrated":[165],"(defeasible":[181],"beliefs).":[182]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}