{"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/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]},{"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"]}],"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","Universit\u00e4t Konstanz Fachgruppe Philosophie, Postfach 5560 D 21, 78434, Konstanz, Germany","Universit\u00e4t Konstanz Fachgruppe Philosophie, Konstanz, Germany","Department of Logic & Philosophy of Science, University of California, Irvine, U.S.A"],"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":[]},{"raw_affiliation_string":"Universit\u00e4t Konstanz Fachgruppe Philosophie, Postfach 5560 D 21, 78434, Konstanz, Germany","institution_ids":["https://openalex.org/I189712700"]},{"raw_affiliation_string":"Universit\u00e4t Konstanz Fachgruppe Philosophie, Konstanz, Germany","institution_ids":["https://openalex.org/I189712700"]},{"raw_affiliation_string":"Department of Logic & Philosophy of Science, University of California, Irvine, U.S.A","institution_ids":["https://openalex.org/I204250578"]}]},{"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":false,"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"],"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/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]},{"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"]}],"countries":["AT","GB"],"is_corresponding":false,"raw_author_name":"Philip Welch","raw_affiliation_strings":["Department of Mathematics, University of Bristol Bristol, BS8 1TW, England","Institut f\u00fcr formale Logik, Universit\u00e4t Wien, W\u00e4hringer Strasse 25, 1090, Wien, Austria","Department of Mathematics, University of Bristol Bristol, England","Institut f\u00fcr formale Logik, Universit\u00e4t Wien, Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Bristol Bristol, BS8 1TW, England","institution_ids":["https://openalex.org/I36234482"]},{"raw_affiliation_string":"Institut f\u00fcr formale Logik, Universit\u00e4t Wien, W\u00e4hringer Strasse 25, 1090, Wien, Austria","institution_ids":["https://openalex.org/I129774422"]},{"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"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5008527817"],"corresponding_institution_ids":["https://openalex.org/I189712700","https://openalex.org/I204250578"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":null,"fwci":0.9364,"has_fulltext":false,"cited_by_count":43,"citation_normalized_percentile":{"value":0.80992713,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"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":[{"score":0.75,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"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-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}