{"id":"https://openalex.org/W1977396974","doi":"https://doi.org/10.1007/bf00370383","title":"Provability: the emergence of a mathematical modality","display_name":"Provability: the emergence of a mathematical modality","publication_year":1991,"publication_date":"1991-03-01","ids":{"openalex":"https://openalex.org/W1977396974","doi":"https://doi.org/10.1007/bf00370383","mag":"1977396974"},"language":"en","primary_location":{"id":"doi:10.1007/bf00370383","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00370383","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","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/A5008053802","display_name":"George Boolos","orcid":null},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["IT","US"],"is_corresponding":false,"raw_author_name":"George Boolos","raw_affiliation_strings":["Department of Linguistics and Philosophy, Massachusetts Institute of Technology, 02139, Cambridge, MA, USA","Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Padova, Via Belzoni 7, 35131, Padova, Italy","Department of Linguistics and Philosophy, Massachusetts Institute of Technology, Cambridge, USA","Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Padova, Padova, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Linguistics and Philosophy, Massachusetts Institute of Technology, 02139, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Padova, Via Belzoni 7, 35131, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]},{"raw_affiliation_string":"Department of Linguistics and Philosophy, Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Padova, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008668111","display_name":"Giovanni Sambin","orcid":"https://orcid.org/0000-0002-8912-7088"},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["IT","US"],"is_corresponding":false,"raw_author_name":"Giovanni Sambin","raw_affiliation_strings":["Department of Linguistics and Philosophy, Massachusetts Institute of Technology, 02139, Cambridge, MA, USA","Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Padova, Via Belzoni 7, 35131, Padova, Italy","Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Padova, Padova, Italy","Department of Linguistics and Philosophy, Massachusetts Institute of Technology, Cambridge, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Linguistics and Philosophy, Massachusetts Institute of Technology, 02139, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Padova, Via Belzoni 7, 35131, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]},{"raw_affiliation_string":"Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di Padova, Padova, Italy","institution_ids":["https://openalex.org/I138689650"]},{"raw_affiliation_string":"Department of Linguistics and Philosophy, Massachusetts Institute of Technology, Cambridge, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":8.1197,"has_fulltext":false,"cited_by_count":43,"citation_normalized_percentile":{"value":0.96311907,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"50","issue":"1","first_page":"1","last_page":"23"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.061000000685453415,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.061000000685453415,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.04610000178217888,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10778","display_name":"Philosophy and History of Science","score":0.02419999986886978,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modality","display_name":"Modality (human\u2013computer interaction)","score":0.7172036170959473},{"id":"https://openalex.org/keywords/computational-linguistics","display_name":"Computational linguistics","score":0.7059555053710938},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.5374463200569153},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49169617891311646},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4604876637458801},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4047224819660187},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39860600233078003},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.32807329297065735},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3272325098514557},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24763602018356323},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.23727792501449585},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2358514666557312}],"concepts":[{"id":"https://openalex.org/C2780226545","wikidata":"https://www.wikidata.org/wiki/Q6888030","display_name":"Modality (human\u2013computer interaction)","level":2,"score":0.7172036170959473},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.7059555053710938},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.5374463200569153},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49169617891311646},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4604876637458801},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4047224819660187},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39860600233078003},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.32807329297065735},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3272325098514557},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24763602018356323},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.23727792501449585},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2358514666557312},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bf00370383","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00370383","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:www.research.unipd.it:11577/102007","is_oa":false,"landing_page_url":"http://hdl.handle.net/11577/102007","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W97223672","https://openalex.org/W106258060","https://openalex.org/W795373570","https://openalex.org/W897594303","https://openalex.org/W1001019062","https://openalex.org/W1176213484","https://openalex.org/W1527588453","https://openalex.org/W1535389901","https://openalex.org/W1969438823","https://openalex.org/W1987214648","https://openalex.org/W1996906710","https://openalex.org/W2026117380","https://openalex.org/W2028227692","https://openalex.org/W2034070758","https://openalex.org/W2035120169","https://openalex.org/W2049436212","https://openalex.org/W2059933820","https://openalex.org/W2069539534","https://openalex.org/W2075452008","https://openalex.org/W2078603002","https://openalex.org/W2090937569","https://openalex.org/W2093435953","https://openalex.org/W2114804254","https://openalex.org/W2145003065","https://openalex.org/W2163751633","https://openalex.org/W2319595945","https://openalex.org/W2321372568","https://openalex.org/W2324369742","https://openalex.org/W2913460597","https://openalex.org/W2921156513","https://openalex.org/W3144889436","https://openalex.org/W4230878649","https://openalex.org/W4231772462","https://openalex.org/W4256369010","https://openalex.org/W6629565732"],"related_works":["https://openalex.org/W2385859805","https://openalex.org/W2530972254","https://openalex.org/W2374013449","https://openalex.org/W73545470","https://openalex.org/W2364381299","https://openalex.org/W2374430585","https://openalex.org/W3144423903","https://openalex.org/W2377397762","https://openalex.org/W2361654993","https://openalex.org/W2014330921"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}