{"id":"https://openalex.org/W2037209796","doi":"https://doi.org/10.1023/a:1023080715357","title":"Possible-Worlds Semantics for Modal Notions Conceived as Predicates","display_name":"Possible-Worlds Semantics for Modal Notions Conceived as Predicates","publication_year":2003,"publication_date":"2003-04-01","ids":{"openalex":"https://openalex.org/W2037209796","doi":"https://doi.org/10.1023/a:1023080715357","mag":"2037209796"},"language":"en","primary_location":{"id":"doi:10.1023/a:1023080715357","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1023080715357","pdf_url":null,"source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","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/A5008527817","display_name":"Volker Halbach","orcid":"https://orcid.org/0000-0001-7628-1118"},"institutions":[{"id":"https://openalex.org/I189712700","display_name":"University of Konstanz","ror":"https://ror.org/0546hnb39","country_code":"DE","type":"education","lineage":["https://openalex.org/I189712700"]},{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["DE","US"],"is_corresponding":true,"raw_author_name":"Volker Halbach","raw_affiliation_strings":["Department of Logic & Philosophy of Science, University of California, 3151 Social Science Plaza, Irvine, CA, 92697-5100, U.S.A","Department of Logic & Philosophy of Science, University of California, Irvine, U.S.A","Universit\u00e4t Konstanz Fachgruppe Philosophie, Konstanz, Germany","Universit\u00e4t Konstanz Fachgruppe Philosophie, Postfach 5560 D 21, 78434, Konstanz, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Logic & Philosophy of Science, University of California, 3151 Social Science Plaza, Irvine, CA, 92697-5100, U.S.A","institution_ids":["https://openalex.org/I204250578"]},{"raw_affiliation_string":"Department of Logic & Philosophy of Science, University of California, Irvine, U.S.A","institution_ids":["https://openalex.org/I204250578"]},{"raw_affiliation_string":"Universit\u00e4t Konstanz Fachgruppe Philosophie, Konstanz, Germany","institution_ids":["https://openalex.org/I189712700"]},{"raw_affiliation_string":"Universit\u00e4t Konstanz Fachgruppe Philosophie, Postfach 5560 D 21, 78434, Konstanz, Germany","institution_ids":["https://openalex.org/I189712700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051571027","display_name":"Hannes Leitgeb","orcid":"https://orcid.org/0000-0002-8276-149X"},"institutions":[{"id":"https://openalex.org/I182212641","display_name":"University of Salzburg","ror":"https://ror.org/05gs8cd61","country_code":"AT","type":"education","lineage":["https://openalex.org/I182212641"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Hannes Leitgeb","raw_affiliation_strings":["Institut f\u00fcr Philosophie, Universit\u00e4t Salzburg, Franziskanergasse 1, 5020, Salzburg, Austria","Institut f\u00fcr Philosophie, Universit\u00e4t Salzburg, Salzburg, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Philosophie, Universit\u00e4t Salzburg, Franziskanergasse 1, 5020, Salzburg, Austria","institution_ids":["https://openalex.org/I182212641"]},{"raw_affiliation_string":"Institut f\u00fcr Philosophie, Universit\u00e4t Salzburg, Salzburg, Austria","institution_ids":["https://openalex.org/I182212641"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051447400","display_name":"Philip Welch","orcid":"https://orcid.org/0000-0001-8350-1430"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]},{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["AT","GB"],"is_corresponding":true,"raw_author_name":"Philip Welch","raw_affiliation_strings":["Department of Mathematics, University of Bristol Bristol, BS8 1TW, England","Department of Mathematics, University of Bristol Bristol, England","Institut f\u00fcr formale Logik, Universit\u00e4t Wien, Wien, Austria","Institut f\u00fcr formale Logik, Universit\u00e4t Wien, W\u00e4hringer Strasse 25, 1090, Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Bristol Bristol, BS8 1TW, England","institution_ids":["https://openalex.org/I36234482"]},{"raw_affiliation_string":"Department of Mathematics, University of Bristol Bristol, England","institution_ids":["https://openalex.org/I36234482"]},{"raw_affiliation_string":"Institut f\u00fcr formale Logik, Universit\u00e4t Wien, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]},{"raw_affiliation_string":"Institut f\u00fcr formale Logik, Universit\u00e4t Wien, W\u00e4hringer Strasse 25, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5008527817","https://openalex.org/A5051447400","https://openalex.org/A5051571027"],"corresponding_institution_ids":["https://openalex.org/I129774422","https://openalex.org/I182212641","https://openalex.org/I189712700","https://openalex.org/I204250578","https://openalex.org/I36234482"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":null,"fwci":0.9289,"has_fulltext":false,"cited_by_count":43,"citation_normalized_percentile":{"value":0.80889224,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"32","issue":"2","first_page":"179","last_page":"223"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973000288009644,"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.9973000288009644,"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.9969000220298767,"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.9508000016212463,"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/possible-world","display_name":"Possible world","score":0.7379550337791443},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.6640270948410034},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.6035647392272949},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5386291742324829},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.5371454954147339},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.5267875790596008},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45929449796676636},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4410489499568939},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.43629974126815796},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.36606863141059875},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.36310768127441406},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29780808091163635},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.2828027606010437},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.28137362003326416},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1366683840751648}],"concepts":[{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.7379550337791443},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.6640270948410034},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.6035647392272949},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5386291742324829},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.5371454954147339},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.5267875790596008},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45929449796676636},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4410489499568939},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.43629974126815796},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.36606863141059875},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.36310768127441406},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29780808091163635},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.2828027606010437},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.28137362003326416},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1366683840751648},{"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1023/a:1023080715357","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1023080715357","pdf_url":null,"source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/b3188014-e60f-4c83-bb8a-7ff959d5155b","is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/b3188014-e60f-4c83-bb8a-7ff959d5155b","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Halbach, V, Leitgeb, H & Welch, PD 2003, 'Possible-Worlds Semantics for Modal Notions Conceived as Predicates', Journal of Philosophical Logic, vol. 32 (2), pp. 179 - 223. https://doi.org/10.1023/A:1023080715357","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.63.8160","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.8160","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.maths.bris.ac.uk/~mapdw/hlw.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.8.9996","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.9996","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.maths.bris.ac.uk/~mapdw/hlw.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.75}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W40029885","https://openalex.org/W46517763","https://openalex.org/W83139932","https://openalex.org/W166785350","https://openalex.org/W191705811","https://openalex.org/W599824467","https://openalex.org/W1555450189","https://openalex.org/W1562395972","https://openalex.org/W1591825827","https://openalex.org/W1600759100","https://openalex.org/W1601654835","https://openalex.org/W1828219877","https://openalex.org/W1986191839","https://openalex.org/W1989383196","https://openalex.org/W2001650869","https://openalex.org/W2002502277","https://openalex.org/W2008541670","https://openalex.org/W2026230232","https://openalex.org/W2032609609","https://openalex.org/W2032845012","https://openalex.org/W2033008594","https://openalex.org/W2036365382","https://openalex.org/W2037341021","https://openalex.org/W2042802456","https://openalex.org/W2049250683","https://openalex.org/W2049533159","https://openalex.org/W2049888592","https://openalex.org/W2057502281","https://openalex.org/W2058556119","https://openalex.org/W2063981788","https://openalex.org/W2067474877","https://openalex.org/W2067974533","https://openalex.org/W2075471377","https://openalex.org/W2106301583","https://openalex.org/W2111411333","https://openalex.org/W2114374802","https://openalex.org/W2169986296","https://openalex.org/W2217500413","https://openalex.org/W2286396437","https://openalex.org/W2315906070","https://openalex.org/W2317426326","https://openalex.org/W2323760421","https://openalex.org/W2327171549","https://openalex.org/W2492770032","https://openalex.org/W2530006810","https://openalex.org/W2573016414","https://openalex.org/W2734920594","https://openalex.org/W2743117888","https://openalex.org/W2761924059","https://openalex.org/W2905135108","https://openalex.org/W2912451708","https://openalex.org/W2970205057","https://openalex.org/W3136934670","https://openalex.org/W4229602074","https://openalex.org/W4234636915","https://openalex.org/W4234849400","https://openalex.org/W4237353415","https://openalex.org/W4239066714","https://openalex.org/W4239176441","https://openalex.org/W4244563919","https://openalex.org/W4251033482","https://openalex.org/W4292482078","https://openalex.org/W4293117209","https://openalex.org/W4388311772"],"related_works":["https://openalex.org/W2188462059","https://openalex.org/W1988817063","https://openalex.org/W2079341417","https://openalex.org/W2299748756","https://openalex.org/W2750890816","https://openalex.org/W2144619006","https://openalex.org/W2086054194","https://openalex.org/W2082653520","https://openalex.org/W2056164135","https://openalex.org/W2729633844"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}