{"id":"https://openalex.org/W2019813941","doi":"https://doi.org/10.1002/malq.19980440103","title":"Predicate Modal Logics Do Not Mix Very Well","display_name":"Predicate Modal Logics Do Not Mix Very Well","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2019813941","doi":"https://doi.org/10.1002/malq.19980440103","mag":"2019813941"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19980440103","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19980440103","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5012406395","display_name":"Olivier Gasquet","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Olivier Gasquet","raw_affiliation_strings":["Institut de Recherche en Informatique de Toulouse (IRIT), Universite\u0301 Paul Sabatier, 118, Route de Narbonne, F\u201331062 Toulouse Cedex, France","Institut de Recherche en Informatique de Toulouse (IRIT), Universit\u00e9 Paul Sabatier, 118, Route de Narbonne, F\u201331062 Toulouse Cedex, France"],"affiliations":[{"raw_affiliation_string":"Institut de Recherche en Informatique de Toulouse (IRIT), Universite\u0301 Paul Sabatier, 118, Route de Narbonne, F\u201331062 Toulouse Cedex, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I134560555"]},{"raw_affiliation_string":"Institut de Recherche en Informatique de Toulouse (IRIT), Universit\u00e9 Paul Sabatier, 118, Route de Narbonne, F\u201331062 Toulouse Cedex, France","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I4210119061"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012406395"],"corresponding_institution_ids":["https://openalex.org/I134560555","https://openalex.org/I4210119061"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12567239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"44","issue":"1","first_page":"45","last_page":"49"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.994700014591217,"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.994700014591217,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9769999980926514,"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.972599983215332,"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/kripke-semantics","display_name":"Kripke semantics","score":0.8329116106033325},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.7765585780143738},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.7086449861526489},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.671526312828064},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.6073509454727173},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.567872941493988},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.5421745181083679},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5114006400108337},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.485342413187027},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.45992952585220337},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3837094306945801},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.32348883152008057},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2962346076965332},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19467368721961975},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11483675241470337},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.09709709882736206}],"concepts":[{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.8329116106033325},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7765585780143738},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.7086449861526489},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.671526312828064},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.6073509454727173},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.567872941493988},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.5421745181083679},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5114006400108337},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.485342413187027},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.45992952585220337},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3837094306945801},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.32348883152008057},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2962346076965332},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19467368721961975},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11483675241470337},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.09709709882736206},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"score":0.0},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.19980440103","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19980440103","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.4000000059604645}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W73013951","https://openalex.org/W1548013999","https://openalex.org/W1600348701","https://openalex.org/W2074530527","https://openalex.org/W2130098903","https://openalex.org/W2144347980"],"related_works":["https://openalex.org/W1558962892","https://openalex.org/W2352549085","https://openalex.org/W3111905456","https://openalex.org/W2171395754","https://openalex.org/W1479806205","https://openalex.org/W2278216746","https://openalex.org/W1599533611","https://openalex.org/W2077061463","https://openalex.org/W4287372193","https://openalex.org/W2944987970"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"problem":[2],"of":[3,36,52,57],"completeness":[4],"for":[5],"predicate":[6,71,85],"modal":[7,53,72,86],"logics":[8,38,54,73,87],"is":[9],"still":[10],"under":[11],"investigation,":[12],"although":[13],"some":[14],"results":[15,97],"have":[16],"been":[17,41],"obtained":[18],"in":[19,55,68,98],"the":[20,34,50,90,94],"last":[21],"few":[22],"years":[23],"(cf.":[24],"[2,":[25],"3,":[26],"4,":[27],"7]).":[28],"As":[29],"far":[30],"as":[31,79],"we":[32,48],"know,":[33],"case":[35],"multimodal":[37],"has":[39],"not":[40,75],"addressed":[42],"at":[43],"all.":[44],"In":[45],"this":[46,69],"paper,":[47],"study":[49],"combination":[51],"terms":[56],"combining":[58],"their":[59],"semantics.":[60],"We":[61],"demonstrate":[62],"by":[63],"a":[64,99],"simple":[65],"example":[66],"that":[67],"sense":[70],"are":[74],"so":[76],"easily":[77],"manipulated":[78],"propositional":[80],"ones:":[81],"mixing":[82],"two":[83],"Kripke\u2010complete":[84],"(one":[88],"with":[89],"Barcan":[91],"formula,":[92],"and":[93],"other":[95],"without)":[96],"Kripke\u2010incomplete":[100],"system.":[101]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}