{"id":"https://openalex.org/W583939292","doi":"https://doi.org/10.1007/978-3-7643-8504-0","title":"Kripke's worlds : an introduction to modal logics via tableaux","display_name":"Kripke's worlds : an introduction to modal logics via tableaux","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W583939292","doi":"https://doi.org/10.1007/978-3-7643-8504-0","mag":"583939292"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-03220769v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03220769","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.springer.com/gp/book/9783764385033","raw_type":"Books"},"type":"book","indexed_in":[],"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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Olivier Gasquet","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004332415","display_name":"Andreas Herzig","orcid":"https://orcid.org/0000-0003-0833-2782"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andreas Herzig","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-0833-2782","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029356501","display_name":"Bilal Said","orcid":"https://orcid.org/0000-0003-2259-6063"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bilal Said","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-2259-6063","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5064915259","display_name":"Fran\u00e7ois Schwarzentruber","orcid":"https://orcid.org/0000-0002-1228-4333"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fran\u00e7ois Schwarzentruber","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-1228-4333","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5871,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.77343382,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.993399977684021,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.993399977684021,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9886000156402588,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9782000184059143,"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/transitive-relation","display_name":"Transitive relation","score":0.8231896162033081},{"id":"https://openalex.org/keywords/transitive-closure","display_name":"Transitive closure","score":0.7158885598182678},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.6517460942268372},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.615664541721344},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.5958832502365112},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5888029932975769},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5243507027626038},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5010600090026855},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4938972592353821},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.44881126284599304},{"id":"https://openalex.org/keywords/possible-world","display_name":"Possible world","score":0.44679737091064453},{"id":"https://openalex.org/keywords/index","display_name":"Index (typography)","score":0.4387643039226532},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.379361093044281},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3329720199108124},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.20951277017593384},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.2020268440246582},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1677781045436859},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08111703395843506},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.07026994228363037}],"concepts":[{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.8231896162033081},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.7158885598182678},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.6517460942268372},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.615664541721344},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.5958832502365112},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5888029932975769},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5243507027626038},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5010600090026855},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4938972592353821},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.44881126284599304},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.44679737091064453},{"id":"https://openalex.org/C2777382242","wikidata":"https://www.wikidata.org/wiki/Q6017816","display_name":"Index (typography)","level":2,"score":0.4387643039226532},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.379361093044281},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3329720199108124},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.20951277017593384},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2020268440246582},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1677781045436859},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08111703395843506},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.07026994228363037},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:HAL:hal-03220769v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03220769","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.springer.com/gp/book/9783764385033","raw_type":"Books"},{"id":"pmh:oai:aleph.bib-bvb.de:BVB01-027059955","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-7643-8504-0","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software, multimedia"},{"id":"pmh:oai:cds.cern.ch:1635066","is_oa":false,"landing_page_url":"http://cds.cern.ch/record/1635066","pdf_url":null,"source":{"id":"https://openalex.org/S4306402195","display_name":"CERN Document Server (European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:oskar-bordeaux.fr:20.500.12278/29197","is_oa":false,"landing_page_url":"https://oskar-bordeaux.fr/handle/20.500.12278/29197","pdf_url":null,"source":{"id":"https://openalex.org/S4306402569","display_name":"Oskar-Bordeaux (Universite de Bordeaux)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Ouvrage"},{"id":"pmh:oai:publications.ut-capitole.fr:27693","is_oa":false,"landing_page_url":"http://publications.ut-capitole.fr/27693/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401603","display_name":"Toulouse Capitole Publications (University Toulouse 1 Capitole)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I3131550300","host_organization_name":"Universit\u00e9 Toulouse-I-Capitole","host_organization_lineage":["https://openalex.org/I3131550300"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book"},{"id":"mag:583939292","is_oa":false,"landing_page_url":"http://ci.nii.ac.jp/ncid/BB14313413","pdf_url":null,"source":{"id":"https://openalex.org/S4306463937","display_name":"Springer eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"ebook platform"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Springer eBooks","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.4000000059604645,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2103279540","https://openalex.org/W2112997772","https://openalex.org/W3002206852","https://openalex.org/W2053892987","https://openalex.org/W1531495956","https://openalex.org/W151454751","https://openalex.org/W2531526914","https://openalex.org/W2169388232","https://openalex.org/W2518881239","https://openalex.org/W2062728934","https://openalex.org/W2022355674","https://openalex.org/W1511295272","https://openalex.org/W2986745816","https://openalex.org/W2782243532","https://openalex.org/W2471253858","https://openalex.org/W3031573046","https://openalex.org/W3128849256","https://openalex.org/W3126517661","https://openalex.org/W1588790262","https://openalex.org/W2184462174"],"abstract_inverted_index":{"Possible":[0],"worlds":[1,15,258],"models":[2],"were":[3,142],"introduced":[4],"by":[5,216,261,276],"Saul":[6],"Kripke":[7,245],"in":[8,109,115,123,135,158,201,319,340,361,372],"the":[9,136,175,214,235,270,287,330,354],"early":[10],"sixties.":[11],"Basically,":[12],"a":[13,20,187,190,199,211,218,225,233,239,244,248,253,277,297,303,307,314,320,358,362,381],"possible":[14,257],"model":[16,200,212,246,309],"is":[17,170,241,274,284,300,317],"nothing":[18],"but":[19,147],"graph":[21,240],"with":[22],"labelled":[23,26],"nodes":[24],"and":[25,39,51,54,60,96,99,111,114,118,132,166,178,189,229,265,310],"edges.":[27],"Such":[28],"graphs":[29],"provide":[30],"semantics":[31,259],"for":[32,73,75,86,154,213,333,344],"various":[33,124,159],"modal":[34,155,264,377],"logics:":[35],"logics":[36,43,48,57,65,74,89,104,141,156,343],"of":[37,44,49,58,61,66,279,306],"necessity":[38],"possibility":[40,355],"(alethic":[41],"logics),":[42,47,56,64,69],"time":[45],"(temporal":[46],"knowledge":[50],"belief":[52],"(epistemic":[53],"doxastic":[55],"programs":[59],"action":[62],"(dynamic":[63],"obligation":[67],"(deontic":[68],"as":[70,72,91,127],"well":[71],"describing":[76],"ontologies":[77],"(description":[78],"logics).":[79],"They":[80],"have":[81,105,119],"also":[82,148],"turned":[83],"out":[84],"useful":[85],"other":[87,266],"nonclassical":[88,267],"such":[90,126,181],"intuitionistic":[92],"logics,":[93,95,378],"conditional":[94],"several":[97],"paraconsistent":[98],"relevant":[100],"logics.":[101],"All":[102,139],"these":[103,140],"been":[106,120,338,349],"studied":[107,145],"intensively":[108],"philosophical":[110],"mathematical":[112],"logic":[113,188,335],"computer":[116,370],"science,":[117],"applied":[121],"increasingly":[122],"domains":[125],"program":[128],"semantics,":[129],"artificial":[130],"intelligence,":[131],"more":[133,226],"recently":[134],"semantic":[137],"web.":[138],"not":[143,348,368],"only":[144],"semantically":[146],"proof":[149,152],"theoretically.":[150],"The":[151,323],"systems":[153,182],"come":[157],"styles:":[160],"Hilbert":[161],"style,":[162],"natural":[163],"deduction,":[164],"sequents,":[165],"resolution.":[167],"However,":[168],"it":[169,197],"fair":[171],"to":[172,194,207,209,231,243,256,263,294,311,356,374,380],"say":[173],"that":[174,202,238,262,283,334],"most":[176,179],"uniform":[177],"successful":[180],"are":[183],"tableaux":[184,271],"systems.":[185],"Given":[186],"formula,":[191],"they":[192],"allow":[193],"check":[195,295,312],"whether":[196,296,313],"has":[198,336,347],"logic.":[203,322],"This":[204,250],"basically":[205],"amounts":[206],"trying":[208],"build":[210,232],"formula":[215,299,316],"building":[217],"tree.":[219,249],"In":[220],"this":[221,346],"book":[222,251],"we":[223],"follow":[224],"general":[227],"approach":[228],"try":[230],"graph,":[234],"advantage":[236],"being":[237],"closer":[242],"than":[247],"provides":[252],"step-by-step":[254],"introduction":[255],"(and":[260],"logics)":[268],"via":[269],"method.":[272],"It":[273],"accompanied":[275],"piece":[278],"software":[280],"called":[281],"LoTREC":[282,292,352],"accessible":[285],"at":[286,302],"following":[288],"webpage:":[289],"http://www.irit.fr/Lotrec":[290],".":[291],"allows":[293],"given":[298,304,308,315,321],"true":[301],"world":[305],"satisfiable":[318],"latter":[324],"can":[325],"be":[326,369],"done":[327,350],"immediately":[328],"if":[329],"tableau":[331,359],"system":[332,360],"already":[337],"implemented":[339],"LoTREC.":[341],"For":[342],"which":[345],"yet":[351],"offers":[353],"implement":[357,375],"relatively":[363],"easy":[364],"way:":[365],"users":[366],"need":[367],"scientists":[371],"order":[373],"new":[376],"thanks":[379],"simple,":[382],"graph-based,":[383],"interactive":[384],"language.":[385]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}