ticoAg/ChineseCorpus-Kaggle-fanti huggingface dataset:
羅伯特·萊爾德·博登爵士（，），第一次世界大戰中的加拿大總理。身為律師、歷史學家及教育家，1901年后成為保守黨領袖。曾致力于公務制度改革、電話和電報公有化、特惠貿易，反對經濟上依賴美國。強調加拿大在世界事務中的獨立性，為加拿大在國際聯盟中贏得單獨的席位。他著述范圍很廣，涉及加拿大歷史、憲法、法學等方面。其肖像印于加拿大一百元鈔票上。
1854年6月26日生于新斯科舍省的格朗普雷，15歲中斷了正規學習，1874年進哈利法克斯法律事務所攻讀法律，1878年取得律師資格，稍后成為法律界權威。1889年建立法律事務所。1896年參加保守黨被選為哈利法克斯議員，進入眾議院。雖為反對黨后座議員，卻是黨的核心小組成員，1900年競選中出任臨時領袖，直到1911年。
在1911年大選中，他聯合各派力量，成功地組織起反威爾弗里德·勞雷爾陣線，從而結束了自由黨長達15年的統治。然而，新政府上臺以后面臨的卻是眾口難調的困難處境。在大選中支持博登的魁北克民族主義者同其他地區的民族主義者是截然不同的兩支政治力量。前者深恐在大不列顛承擔義務，對勞雷爾的海軍服役法深惡痛絕；后者則憂心于來自美國的控制，為具有此種傾向的互惠貿易協定而惶惶不安。一些曾使洛里埃一敗涂地的敏感問題現卻轉過來考驗著保守黨政權。
博登缺少勞雷爾的機敏、老練，但卻具有堅定的信念和頑強的意志。同洛里埃一樣，博登要走的也是一條妥協、中庸路線。這一點從博登新政府的構成上即可見一斑。
來自多倫多金融集團的托馬斯·懷特被任命為財政部長。懷特是與洛里埃分道揚鑣的多倫多自由黨中“十八個反叛者”之一，與麥肯齊——曼財團關系密切。具有類似背景的阿瑟·米恩擔任了副司法部長。
保守黨在內閣中的代表除博登外還有4人。來自馬尼托巴省的羅伯特·羅杰斯任內政部長；喬治·E·福斯特任貿易與商務部部長；薩姆·休斯任民兵部長；J·D·里德博士任關稅部長。
博登也謹慎地邀請了魁北克的代表參加內閣。亨利·布拉薩個人對之不屑一顧，但卻表示，如果博登贊同將海軍問題訴諸公決，放寬移民政策，安撫西部少數民族，他可以推薦F·D·蒙和其他魁北克人加入內閣。這些條件對博登來說不成問題。這樣，新政府中又增加幾位魁北克民族主義者，包括公共工程部部長蒙，國內稅務部部長布魯諾·南蒂爾，司法部長C·J·多爾梯和不管部部長喬治·珀利。
保守黨在議會眾議院占有多數席位，但參議院中卻聚集著一批自由黨當政時期任命的終身參議員，預示著博登在推行新政策的道路上不會一帆風順。
在內政方面，博登基本上是循著勞雷爾走過的道路繼續走下去。國家政策自然是政府施政的基石。博登既沒有許諾也不曾打算有什么重大建樹。互惠貿易協定的失敗解決了工商業者擔心的關稅問題；入境移民的持續增加保障了西部拓殖事業的順利進行；鐵路發展計劃仍在緊鑼密鼓地制定與實施。
然而，由于資本主義本身發展規律的作用和國際環境的影響，保守黨政府上臺后加拿大的經濟狀況并不象原來設想的那樣美滿。洛里埃時代的繁榮到1913年就顯出凋謝的跡象。小麥價格的降低導致農民收入減少；國外投資的削減引起經濟建設速度的放慢；西部拓殖事業已接近尾聲，加拿大結構中的靈活因素正在消失。然而，博登政府對于解決國內經濟問題一籌莫展。新政府與生俱來的民族主義熱情使加拿大自然而然地卷入國際紛爭的漩渦之中。
博登政府上臺之際，國際局勢正日趨緊張。在歐洲，德國的迅速崛起對英國的海上霸權構成嚴重威脅。德國無論在軍艦生產能力和海軍發展速度上都超過了英國。促使英國政府下決心訴諸一戰。
一旦英國卷入一場世界戰爭，作為英帝國重要成員的加拿大勢難潔身自好。博登希望加拿大能在帝國中發揮積極作用，不僅僅是共赴戰爭，而且在共同的外交政策上擁有發言權。在1910年關于海軍法案的辯論中，博登就提出：“我堅決主張，以英國兩黨和帝國各自治政府為成員的防務委員會，應對帝國防務在組織上予以控制。……如果我們參予帝國的持久防務，我們必須對這些事有一定的控制權與發言權。”為此應當促成中央集權的英帝國轉變為未來合作的英聯邦。要實現這一目標，博登面臨著雙重難題：既要說服英國當局讓加拿大分享權利，又要使加拿大人明白承擔帝國義務的必要性。
1912年夏，博登乘船赴英。通過與英國外交大臣愛德華·格雷爵士和海軍大臣溫斯頓·丘吉爾的會談，博登意識到，加拿大必須有所行動，以準備一場迫在眉睫的戰爭。回國后，博登于1912年10月14日，向議會提出海軍援助法案，建議議會提供3500萬加元的緊急撥款以便在英國建造和裝備3艘戰列艦。
博登的提案在內閣和議會中都遇到相當大的阻力。F·D·蒙明確反對在帝國防務中采取聯合行動的主張并提出辭職。蒙的態度代表了布拉薩等法裔加拿大人的立場。布拉薩堅決主張取消博登海軍方案。他巧妙地援引愛德華·格雷爵士在1912年1月29日所作的要求其他國家不要干涉帝國冒險事業的聲明，來反對加拿大卷入英帝國事務。他總結說：“如果我們的政治家無視英國人民而把時間浪費在取代英國國務活動家，拯救英國艦隊和母國的努力中，他們會突然從帝國主義的美夢中覺醒，去面對因忽視保衛加拿大經濟安全和國家統一而引起的加拿大的嚴重問題。”
除了來自魁北克的強大阻力外，博登的計劃也受到在野的自由黨的掣肘。洛里埃在魁北克強調指出，如果英國真的面臨危險，他與其他法裔加拿大人會以各種方式伸出援助之手，但他反對為任何“虛張的危機”貢獻什么。
1912年12月，博登的海軍方案在眾議院獲得通過，但卻被自由黨占多數的參議院以未經加拿大人民批準為由否決了。兩黨在帝國防御問題上形成互相掣肘之勢。到1914年8月4日英國對德國宣戰為止，博登的宏偉藍圖并無半點進展。他既沒能說服加拿大人民承擔起帝國義務，也沒有為加拿大爭得在帝國外交中的發言權。
他在內閣會議和外交會議上都支持美國總統伍德羅·威爾遜的十四點原則。由于行政上無能和發戰爭財等問題，博登政府信譽下降。他為了實行徵兵制組成聯合政府。曾支持盟國出兵干涉俄國革命。1919年他因阻止總罷工遭到工會反對。1920年7月辭職。
退休后于1921年參加華盛頓海軍裁軍會議，1930年出席國際聯盟，著有《加拿大憲法研究》(1922)、《大英國協聯邦內的加拿大》(1929)和《回憶錄，1938）。1937年6月10日于渥太華逝世，享年82歲。
乙類消費物價指數（Consumer Price Index B, CPI(B)）是香港四項消費物價指數數列之一。
乙類消費物價指數是香港政府統計處根據中等開支範圍的住戶的開支模式而編製的，用以反映消費物價通脹對這類住戶的影響。指數涵蓋香港約百分之三十的住戶，在基期（base period）（即1999年10月至2000年9月）時的每月開支範圍為18500港元至32499港元之間。由於自1999/2000年以來物價已有轉變，乙類消費物價指數住戶的每月開支範圍，以2004年的價格計算大約相等於17000元至29800元之間。政府統計處會根據乙類消費物價指數，加上甲類消費物價指數和丙類消費物價指數涵蓋的所有住戶的整體開支模式，編製一項綜合消費物價指數（Composite CPI）。這指數的按年變動率，一般用以反映整體消費物價通脹。
現時政府統計處會每月分佈一次最新的乙類消費物價指數及相關的數據分析。2005年11月的乙類消費物價指數上升了1.8%；截至該月止的三個月內，乙類綜合消費物價指數較一年前同期上升1.8%；截至該月止的十二個月內，乙類綜合消費物價指數較一年前同期上升1.0%。
阿瑟·米恩，加拿大保守黨領袖，首位在加拿大聯邦成立後出生的總理。他曾於1913至1917年擔任加拿大法律政策專員（Solicitor General of Canada）。
1874年6月16日生于加拿大的安大略省安德遜附近一農民家庭。1896年畢業于多倫多大學，后移居馬尼托巴省并在那里學習法律，1903年成為律師。次年與伊莎貝爾·考克斯結婚，育有子女3人。1908年當選為馬尼托巴省波爾塔格－尼帕瓦的保守派議員。
1908年，米恩在議會第一次發表演講時，就以他那雄辯的口才給自由黨的威爾弗里德·勞雷爾總理留下深刻的印象，并預言他將有非凡的政治前景。此外，他還給1911年成為總理的羅伯特·萊爾德·博登留下了深刻印象，他對博登激烈的辯護使他深受保守黨的歡迎，但同時也使他永遠疏遠加拿大的大部分選民。1913年任副檢察長。
1917年，米恩出任博登政府的內政部長。其間，他努力使議會通過戰時選舉法，剝奪1902年成為加拿大公民的德裔和奧地利裔加拿大人的權利。1917年《軍役法》實施以前，他把反對征兵的魁北克人稱為“落后民族”。法裔加拿大人和加拿大的少數民族，永遠也不能原諒他懷疑他們的智慧和愛國心的行為。
1919年，勞雷爾去世，自由黨人選舉威廉·萊昂·麥肯齊·金為黨的領導人，米恩雖與這位黨魁在大學期間就認識，但并不喜歡他，兩人之間的不和一直持續著。
1920年7月，博登因健康原因辭職，他被指定為總理繼任人，并于7月10日就任總理。任期內，他大力反對《英日同盟條約》。在1921年召開的倫敦帝國會議上，他展示了非凡的外交才能，使英國首相勞合·喬治相信續訂英日同盟會激怒美國人。然而他卻沒有引起加拿大選民的注意。他認為美國的經濟勢力是加拿大人的致命威脅，因此主張實行保護關稅制度。
上任后，米恩即宣布于1921年12月舉行大選。當時加拿大正經歷一場經濟衰退，自由黨領袖金把這一切問題都歸咎于他。故在1925年的大選中，他的保守黨雖贏得了眾議院中的多數票但未超過半數。于是金在進步黨的支持下組成臨時政府，不久進步黨便放棄了對金的支持，1926年，加拿大總督朱利安·赫德沃思·賓元帥任命他組織新政府，并要求按法律規定辭去在議會中的職務，結果被仍在議會中工作的金指控他篡權，盡管他曾要求解散議會但未獲得總督批準。在同年的大選中，他失去了占優勢的選票，敗給了金。
辭職后，他成為多倫多的一位出名的投資銀行家。1960年8月5日在多倫多去世，享年86歲。
正在表演茶道的藝妓
藝妓，又稱藝伎，是日本特有的女性表演藝術工作者；「藝妓」一詞源自漢語，工作性質相當於中國書寓的詞史、先生或長三堂子的女校書。當代日本藝妓社會地位較高，且已形成一種具代表性的傳統文化。日本藝妓並非性工作者，其工作內容除為客人服侍餐飲外，主要為在宴席上以舞蹈、演唱、演奏等方式助興。
日本各地對藝妓的稱呼略有不同：在東京等關東地區稱為「藝者」，見習階段稱「半玉」、「雛妓」；在京都、大阪等關西地區則稱為「藝妓」或「藝子」（皆讀為），見習階段稱「舞妓」或「舞子」（皆讀為）。自明治時代開始也有這種讀法。西方世界則以關東文化為主，多以「藝者」的羅馬字「」稱之。
日本浮世繪中的藝妓
在日語中，“妓”字保留了傳統漢語的用法，既可代表女性藝術表演者，亦可代表女性性工作者。而藝妓的“妓”是指前者，因為藝妓在原則上是藝術表演者，並不從事性交易。但在現代中文裡，多把“妓”字直覺關聯到性交易方面，因此才有了“藝伎”這種以避諱為目的的現代中文譯法。日語中的“伎”專指男性表演者（參見：歌舞伎）。
日本的藝妓文化是由京都開始向外發展，而京都藝妓的起源可追溯到約17世紀的京都八坂神社所在的東山。八坂神社是京都眾多神社及寺廟中一個非常著名的神社，而且歷史悠久。據說那時參詣八坂神社的人很多，自然附近就聚集了很多商店，形成一個商業區。其中有許多稱為“水茶屋”的店，販賣茶、糰子等點心，讓日本全國各地到來的信徒有個暫時休憩的地方。在這些店工作的女服務生稱為“茶汲女”或“茶點女”。有些茶汲女會用歌曲、舞蹈來吸引客人，也就是現代所謂的商業手法。日子久了，這種商業手法不斷推陳出新，品質也一直提高，例如三味線的演奏也加入了。在這種良性循環下，有的水茶屋生意越來越好，規模開始擴充，商品種類也開始增加，例如酒、高級料理等都出現了。
既然茶汲女的表演是一個重要的商業手法，有些水茶屋老板便開始對旗下的茶汲女有計畫的訓練，這就是藝妓文化的雛形。從普通的水茶屋變成高級料亭，在成本的考量下，分工亦愈趨精細，與其每家店都自己供養及訓練藝妓，倒不如集中培訓，有需要時再請來表演，更能發揮經濟效益。所以稱為“置屋”的專業培訓中心及業者便應運而生。
在傳統日本，把沒有經過藝術培訓而在酒席倒酒的女性稱為“酌婦”，社會地位低微。賣淫女子則一般固定地被稱作“女郎”、“”，原本其中級別最高的稱為“”，但隨著時代推移太夫逐漸消失，取而代之的則是“花魁”。“花魁”不但年輕貌美，且於茶道、和歌、舞、香道等諸藝皆有不俗的造詣，服務對象只限于達官貴人，達官貴人亦以客禮待之，所以社會地位相對較高。但是無論“女郎”、“遊女”、“花魁”，都是會賣身的，而藝妓的真正身份是藝人，主要工作是待客作藝。
然而因為藝妓行業的興盛，求人益多，且為風花雪月的環境，多少不免有唯利是圖的業者，所以也有藝妓的出身是因為生家需用錢、孤兒等等社會弱勢的因素，而簽下賣身契，或遭人口販子販賣的。也許是為了早日還債贖身，也許是抗拒不了金錢誘惑，有些藝妓便開始從事性交易。雖然傳統上，這類自甘淪落的行為是會受到懲戒的，但事實上，直至第二次世界大戰戰後為止，日本各地都廣泛存在這種形同娼妓的賣身藝妓，而且變相專營這種生意的不肖業者亦多而有之。此外，二戰前的藝妓會和男客人結為模擬夫妻的關係，藝妓稱呼該名男性為“旦那（老爺或施主之意）”，實際上是一種包養的關係，旦那提供金錢等實質援助，照料藝妓的生活所需，而藝妓也會委身於他。在締結關係的期間，藝妓不能與其他男子發生親密關係，而且要把旦那的身份保密，在提及該男子時會以化名稱呼，以免洩露其身份。儘管如此，藝妓原則上還是「賣藝不賣身」的。也有些藝妓在辭去藝妓工作後即與旦那結為連理，共組家庭，但當時藝妓仍屬於社會的下層，旦那則多是上流階層的公卿、武士，一般只能為側室，甚少被娶為正室。
在現代日本，擔任藝妓的條件非常苛刻，學藝費用高昂，并不是一般家庭可以承擔的。而且學藝歷程艱辛，不是所有藝妓都能堅持的。
古時藝妓一般從10歲開始學藝，現在則因為日本《》和《勞動基準法》的限制，必須初中畢業（即14、15歲左右）才可以開始學藝。學習的內容繁多，過程十分艱苦。其中包括文化、禮儀、語言、裝飾、詩書、樂器，直到鞠躬、斟酒等，一舉一動、一言一行都有嚴格的要求，處處體現高貴和穩重。比如訓練中有一項的內容是吃熱豆腐不能發出聲音，更不能碰到唇彩，可見要求之嚴格。到16歲左右便可以正式擔任藝妓，整個演藝歷程長達5年。初為藝妓者稱為“舞妓（或寫做舞子）”、「半玉」，而后才可以正式轉為“藝妓”。藝妓生涯一般到30歲完結，在30歲以后仍然繼續當藝妓的話便降級，成為年輕貌美的名妓之陪襯。藝妓中把前輩藝妓稱為“姊姊”。
藝妓一般過著深居簡出的生活，通常人們在公開場所只能見到行色匆匆的從住地趕往茶社，或從茶社趕回住地的藝妓。她們之間形成一個小圈子，一般人很難窺探她們的生活，從而造成了人們對他們生活的好奇和興趣。藝妓的收入不菲，氣質超凡脫俗，但因為經常都要盛裝打扮，不便處理日常生活事務以及個人的梳妝。有顧及此，藝妓的雇主會為藝妓提供貼身保姆照顧她們的起居飲食。
出色的藝妓常常會成為達官貴人所追逐的對象，其中不乏兩情相悅者。古代的日本，結婚后的女性必須放棄藝妓的工作，但藝妓在古代仍處於社會下層，與達官貴人並非門當戶對，一般只會納為側室，直至一夫一妻制實行後才有較大改變，但第二次世界大戰前，仍有不少藝妓只能成為情婦。戰后，雖然現代藝妓婚後離職的行規被逐漸取消，但大部分的藝妓仍然依照傳統，在婚后離開藝妓的行列。然而離婚后重返藝妓行業的人卻也不在少數，其中當代最著名的莫過于中村喜春。
京都舞妓的“”藝妓的髮型以稱為“島田髷”的髮型最為常見。“島田髷”的起源有3說：
# 江戶時代，東海道島田宿（“宿”指宿場）的“遊女”之間開始流行。
# 寬永年間，歌舞伎演員島田萬吉開始梳結。
#日語“”的發音所轉變而來。藝妓的服裝是十分華麗的和服，做工、質地和裝飾都十分上乘，因此也異常昂貴，一般在50萬日元以上，有的甚至達100萬日元。京都舞妓的服裝更是著名，以懸落飄逸，稱為“”的華麗腰帶為其特色。這種腰帶甚至可長達5公尺，重量相當沈重，紮束之間需要相當大的力氣，所以常常由稱為“男眾”的男性僕役來幫忙。
舞妓的特殊穿著與化妝舞妓及年輕的藝妓所穿之和服稱為“引摺”，從腰帶到裙擺間的一段稱為“褄”。在外行走時，舞妓及年輕的藝妓一定會將左手壓在這一段上面，有“賣藝不賣身”的含意。
盡管藝妓的服裝也是和服的一種，但事實上卻與一般女性的和服有一定的區別。一般的和服后領很高，通常能把婦女的脖頸遮蓋得嚴嚴實實，而藝妓所穿著的和服的衣領卻開得很大，并且特意向后傾斜，讓藝妓的脖頸全部外露。這可能是因為女子的脖頸至后背脊椎被日本男人認為是性感的標志，而藝妓通常都會在脖子後面畫"三足"，使脖頸更顯修長，刻意露出一點沒塗白，為了讓人有無限遐想。
藝妓化妝也十分講究，濃妝的施用有特殊的程序。最醒目的是她們塗成白色的臉，在古時昏黃的燭光下更顯白晢。而在古代是使用鉛粉，但鉛粉有毒且容易脫落，現代藝妓改用一種液狀的白色顏料均勻塗滿臉部、頸項（但邊緣會刻意留下自然的膚色），因此看起來猶如雕飾華美的人偶一般。
藝妓出勤赴宴時，會有提著三味線琴箱的男眾隨侍在側，除了為因盛裝而行動不便的藝妓打點瑣事之外，也負責保護藝妓，避免受到喝醉的酒客、登徒子的騷擾。
藝妓表演時所使用的道具從狹義上專指手持的表演用具，包括各類樂器、飾物；廣義上應當包括妓館、歌舞伴奏者，甚至藝妓所學習的所有知識。因為藝妓接待客人并不限于歌舞表演，她們提供的是能為客人宴席助興的眾多活動。
藝妓表演的場所最初只限于藝館之中，后來由于要出席達官貴人的筵席，藝妓便開始在茶館、酒館及料亭出沒。隨著時代的變遷和現代西方文化的沖擊，藝妓衰落壓力增加，使藝妓藝術不得不一改傳統，藝妓從業者也被允許到茶館中特設的酒吧間里待客演出。
正在表演三味線及日式篠笛的資深藝妓
藝妓的表演大致可分為“立方”和“地方”2種。“立方”是指舞蹈為主的表演者，“地方”是指演唱“長唄”、“清元”等歌曲、演奏太鼓、三味線等的表演者。因為“地方”類的表演難度較高，需要長時間訓練後才能勝任，因此多由資深的藝妓擔任。而“立方”表演較為容易，所以一般由資淺的藝妓及舞妓擔任。
藝妓除了上述兩大項表演外，也有茶道、香道等日本傳統藝術表演。另外，藝妓都有受過說話訓練，因此健談者不少，表演之餘亦會陪客人談天說地，增加氣氛。顧客給予藝妓的演出費用稱為“線香代”或“玉代”，京都一地特稱“花代”。
此外藝妓還有座敷藝，是在酒席之間娛賓的藝能。有些是高難度的動作，如一種稱為金鯱的座敷藝是藝妓以臉和手支撐身體倒立成金鯱的樣子。二戰前的藝妓有時還會表演一些具備情色意味的座敷藝，如裙帶菜酒。
此外，幕末至二戰前藝妓不限於傳統藝能的表演，還會參與一些流行文化演出，例如拍攝泳裝照片。其通俗性亦取代了當時極重儀式傳統的花魁。
在古代，藝妓屬於社會下層。但在現代日本人的觀念中，藝妓是非常體面的職業，女孩子能成為一名合格的藝妓是非常了不起的事情，一個家庭有人擔任藝妓將會被視為一種榮譽。
打扮成舞妓的女性遊客
第二次世界大戰戰後，日本各地仍有很多花街，是主要的娛樂場所，藝妓及遊女都很多。然而1947年開始，日本實施了《兒童福祉法》和《勞動基準法》，禁止兒童未足齡即失學及投入工作。對藝妓這種需要從小培訓，把握花樣年華的工作而言，人才來源受到直接且重大的衝擊。再加上工業革命以來的社會變遷非常快速，各種新興的娛樂活動如雨後春筍竄出，花街及藝妓便逐漸沒落。
日本已將藝妓視為一種文化財產，正積極地保護著。而在京都等有藝妓文化的特色城市，還有所謂“藝妓／舞妓變身”的商業服務，可以讓女性遊客打扮成藝妓或舞妓，親身體驗藝妓文化之美。
另外由於交通的方便，現代的藝妓也會應邀到遠地出差表演，亦有助於藝妓文化的拓展及增加世界各地對藝妓文化的了解。但和世界上許多傳統藝術一樣，後繼無人仍是最大的壓力。
盡管藝妓藝術與世界眾多傳統文化一樣，不得不面對走向沒落的命運，但是以后的一段長時間內，藝妓將仍然作為京都的藝術象征而存在，并被日本視為不可多得的文化瑰寶。
中村喜春（1913年－2004年）於1983年，推出自傳《東京藝妓回憶錄》。1985年，推出另一本著作《痛悼日本》。中村喜春先后共有10本作品面世。
中西君尾，是日本三百多年的藝妓歷中享有“勤王藝者”美譽者之一。
紗幸，出生于墨爾本。紗幸在日本先在慶應義塾大學讀完心理學后，在牛津大學獲得MBA和社會人類學博士學位，以及獲得北京大學獎學金且留學一年。紗幸于2007年12月19日獲得藝妓頭銜，并成為日本藝妓行業中第1位外籍成員。現在以藝妓的身分活躍于東京。
2005年12月9日，章子怡、鞏俐、楊紫瓊、渡邊謙、役所廣司出演的根據著名小說《藝伎回憶錄》改編的同名電影在全球公映，電影導演羅伯·馬歇爾。原著作者，小說于1997年出版，已譯成32種文字，連續兩年列居《紐約時報》暢銷書。
*  Hanami Web - Geisha
*  Geisha（Maiko）movie
*  時代劇復興計劃國際宣傳組：藝妓
丙類消費物價指數（Consumer Price Index C, CPI(C)），前稱恒生消費物價指數，是香港四項消費物價指數數列之一。
丙類消費物價指數是香港政府統計處根據較高開支範圍的住戶的開支模式而編製的，用以反映消費物價通脹對這類住戶的影響。指數涵蓋香港約百分之十的住戶，在基期（base period）（即1999年10月至2000年9月）時的每月開支範圍為32500港元至65999港元之間。由於自1999/2000年以來物價已有轉變，丙類消費物價指數住戶的每月開支範圍，以2004年的價格計算大約相等於29800元至60400元之間。政府統計處會根據丙類消費物價指數，加上甲類消費物價指數和乙類消費物價指數涵蓋的所有住戶的整體開支模式，編製一項綜合消費物價指數（Composite CPI）。這指數的按年變動率，一般用以反映整體消費物價通脹。
現時政府統計處會每月分佈一次最新的丙類消費物價指數及相關的數據分析。2005年11月的丙類消費物價指數上升了1.7%；截至該月止的三個月內，丙類綜合消費物價指數較一年前同期上升1.8%；截至該月止的十二個月內，丙類綜合消費物價指數較一年前同期上升0.8%。
威廉·萊昂·麥肯齊·金，PC，OM，CMG（，），是第10任加拿大總理。
金于1919年加入了自由黨，在第一次世界大戰期間由于另一個政黨的掌舵失利，他成功統一了自由黨，并在1921年的選舉中取得了勝利。他的政黨在1930年至1935年大蕭條最嚴峻的日子里并未執政。但他在經濟好轉之后又贏得了大選。他親自處理了與草原三省的復雜關系，而他的高級助手厄內斯特·拉普安特（Ernest Lapointe）和路易·圣洛朗（Louis St. Laurent）巧妙地滿足了法裔加拿大人的要求。
在第二次世界大戰期間，他小心翼翼地成功避免了由于加拿大的征兵危機，愛國主義和種族矛盾產生的分裂運動。盡管他在位期間沒有進行重大的政策創新，但他卻能夠綜合并通過一系列已經達到國家廣泛支持水平的政策來獲得不小的成效。學者們認為金之所以能長期擔任自由黨的領袖，是因為他的技能范圍廣泛，最為適合加拿大的需要。他了解勞資關系。他能敏銳地察覺到公共政策的細微差別，而且他是一個精明而深入的智力工作者，并對加拿大社會的復雜性有著深刻的理解。金是一個把管理與調解視為工業社會必不可少的現代化技術專家，他希望自由黨能代表自由主義來創造社會和諧。金以政策和政府的行動為手段，為許多不穩定的因素帶來了妥協和和諧。他領導了他的政黨（自由黨）長達29年，確立了加拿大作為一個完全致力于維護世界秩序的中堅的國際聲譽。
1908年應洛里埃之邀擔任了洛里埃內閣中的勞工部長。1911年自由黨競選失敗后，金暫時離開政界，研究勞資關系。1919年洛里埃去世以后，金出任自由黨領袖職務。他在1921年至1926年、1926年至1930年、1935年至1948年三度擔任加拿大總理，在位時間長達21年，是英聯邦王國歷史上在位時間最長的一位總理。
1999年，麥肯齊·金被歷史學家評選為最偉大的加拿大總理；他的肖像現被印在加幣50元紙鈔上。
麥肯齊私下對巫術、神秘學與靈修很感興趣。他曾嘗試用水晶球與達芬奇、威爾弗里德·勞雷爾、富蘭克林·羅斯福、麥肯齊的家庭成員及他死去的狗的靈魂溝通。他從未結婚。
*  麥肯齊·金向納粹德國宣戰（.rm 檔案，英語）
理查德·貝德福德·貝內特，第一世貝內特子爵（；），是第11任加拿大總理。
貝內特出生于-{zh-hans:新不倫瑞克;zh-hk:紐賓士域;zh-tw:紐布朗斯維克;}-省一個小村莊的窮人家庭。盡管他在法律界和商業界一帆風順而終于致富，但在其政治生涯的初期卻仕途多舛，時運不濟。直到1925年才當選為下院議員，保守黨領袖米恩在1926年選舉失敗后引咎辭職。1927年保守黨在溫尼伯集會推舉理查德·貝德福德·貝內特為新保守黨領袖。在1930年大選中以138席的明顯優勢和以經濟國家主義解決失業問題的許諾上臺執政。
征服是一個由天晴數碼娛樂公司為Microsoft Windows系統所制作的武俠類大型網絡游戲。
*戰士-戰士的攻擊強，防禦高，但血量少
香港足總盃，簡稱足總盃，是一項由香港足球總會主辦的淘汰制錦標賽。前身是金禧盃，於1964–65年度球季首次舉辦，紀念香港足球總會成立50週年。
足總盃於1974–75年度球季首次舉辦，過去共有 14 支球隊曾經染指冠軍，當中以南華和精工奪標的次數最多，前者共奪 10 屆冠軍，而後者亦曾 6 度稱霸。傑志為現時香港超級聯賽中奪得最多冠軍的球隊，一共 6 次。
香港足總盃於1974–75年首次舉辦，最初香港足總盃賽制，有部份是模仿英格蘭足總盃，容許較低組別球隊作越級挑戰，賽事以淘汰賽形式進行，準決賽和決賽分別以兩回合決勝。而初賽和複賽若在法定時間未能分出勝負則需進行加時賽，若加時仍然賽和，則擇日重賽。同樣若準決賽和決賽兩回合總成績賽和則要加時，若加時再和則擇日再賽，該賽制沿用至1977年取消。由1978年起，全部賽事以一場定勝負，若比賽於加時賽後仍未分高下，則以互射十二碼定勝負。
由於香港乙、丙組屬業餘性質，球隊的水平與甲組有一段距離，只曾試過有兩支球隊越級挑戰成功，分別是1977-78年度，乙組球隊警察以 2–0 淘汰東方，以及1979-80年度，丙組球隊流浪以 1–0 淘汰市政。足總決定於1981年的一屆開始取消乙、丙組越級挑戰，以清一色甲組球隊參賽。
到了2009年，容許香港初級組銀牌的冠軍及亞軍球隊獲資格參與足總盃賽事。於2013年起，初級組銀牌賽事改革為足總盃初賽。初賽最佳成績球隊（約 3–4 隊）與頂級聯賽（今香港超級聯賽）球隊參加決賽週階段，相關安排於2016年終止，令足總盃初級組成為獨立賽事。
1987–1988年
金利來足總盃
1988–1991年
蘭克施樂香港足總盃
1991–1993年
永高影業足總盃
1993–1994年
埃索石油足總盃
1994–1996年
生力啤足總盃
1996–1999年
''沒有''
1999–2000年
有盈足球網足總盃
2000–2003年
2003–2004年
東莞世紀城足總盃
香雪制葯足總盃
2005–2008年
聯華國際足總盃
2008–2009年
謝菲聯足總盃
2009–2016年
2016–2017年
瑞士豪度錶足總盃
*1970–71 ：星島（星島 2–0 怡和，第一回合：0–0；第二回合；2–0）
*1971–72 ：流浪（流浪 2–1 東昇，第一回合：1–0；第二回合：1–1）
*1972–73 ：加山（加山 2–2（12碼4–3）精工）
*1973–74 ：精工（精工 4–3 愉園，第一回合：2–1；第二回合：2–2）
+各標籤代表：
比賽以加時賽決定勝負
比賽以互射十二碼決定勝負
比賽以黃金入球決定勝負
(1) / (2)
首回合／次回合
+歷屆香港足總盃決賽
1974–75 (1)
1974–75 (2)
1975–76 (1)
1975–76 (2)
1976–77 (1)
1976–77 (2)
''賽事受新型冠狀病毒大流行而停辦''
''賽事受新型冠狀病毒大流行而腰斬''
A.&nbsp; 雙方 90 分鐘內及加時賽後仍然賽和 2–2，元朗憑互射十二碼以 4–2 勝出。
B.&nbsp; 雙方 90 分鐘內及加時賽後仍然賽和 2–2，南華憑互射十二碼以 3–1 勝出。
C.&nbsp; 雙方 90 分鐘內及加時賽後仍然賽和 3–3，傑志憑互射十二碼以 5–3 勝出。
D.&nbsp; 雙方 90 分鐘內及加時賽後仍然賽和 1–1，香港飛馬憑互射十二碼以 4–3 勝出。
南華 (A)
1985, 1987, 1988, 1990, 1991, 1996, 1999, 2002, 2007, 2011
1976, 1986, 1998, 2001, 2017
2012, 2013, 2015, 2017, 2018, 2019
2004, 2014
精工 (B)
1975, 1976, 1978, 1980, 1981, 1986
1984, 1993, 1994, 2014, 2020
1995, 2015
花花 (1)
1989, 1997, 1998, 2001
1992, 1999
晨曦 (A, 2)
2003, 2005, 2006
1996, 2002
愉園 (A)
1987, 1994, 2005, 2006, 2007
1977, 1995
1975, 1983, 2003
香港飛馬 (A, 5)
2010, 2016
2009, 2012, 2013
寶路華 (B)
1982, 1983
2008, 2011, 2018
公民 (A)
依波路 (B)
1988, 1989
海峰 (B)
麗新 (B)
1990, 1991
先特霸 (B)
俠士 (B)
星島 (B)
二合 (B)
富力R&F (B)
*花花包括以「麗新花花」和「快譯通」名義出賽之球季
*晨曦包括以「好易通」和「香雪晨曦」名義出賽之球季
*流浪包括以「澎馬流浪」名義出賽之球季
*和富大埔包括以「新界地產和富大埔」名義出賽之球季
*香港飛馬包括以「天水圍飛馬」和「太陽飛馬」名義出賽之球季
*東方包括以「東方沙龍」和「東方龍獅」名義出賽之球季
路易·斯蒂芬·圣洛朗，是加拿大政治家，第12任加拿大總理。是法裔加拿大人，也是魁北克人。是加拿大自由黨人。在任總理期間推動了加拿大于1949年加入北約，以抵制共產主義。
圣洛朗于1882年2月1日生于魁北克省的康普頓小鎮。他畢業于拉瓦爾大學，獲得了法律學士學位。他曾長期從事律師，并曾在麥肯齊·金政府擔任過司法部長和外交部長。1948年，他被選為自由黨領袖，并在當年贏得加拿大總理選舉。他是法裔加拿大人，但精通英語。
圣洛朗是反共主義者。他支持加拿大加入北大西洋公約組織，簽署了北大西洋公約。圣洛朗在朝鮮戰爭中支持聯合國軍，并向朝鮮戰場派遣了加拿大士兵。此外，圣洛朗擴展了加拿大的社會福利，增加了養老金和醫療保險等。
圣洛朗于1957年主動辭職，1973年，他在魁北克城去世。
約翰·喬治·迪芬貝克，PC，CH，QC（；），德國人和蘇格蘭人后裔，是第13任加拿大總理，任內主要推動北方開發和減少對美國的依賴，恢復同英聯邦國家的關系。他在1957年大選中加拿大進步保守黨擁有下議院265個席次中的109席次，成為議院中的最大黨，而首次成為執政黨。他在75歲的前任總理，自由黨領袖路易斯·圣勞倫特主動辭職下，就任總理。
1895年，出生于加拿大薩斯喀徹溫省。
1915年，畢業于薩斯喀徹溫大學，獲得文學學士學位。
1916年，獲得政治學碩士學位。
1919年，獲得法學學士學位，從事律師工作。
1936年，當選薩斯喀徹溫省保守黨領袖。
1940年，選入眾議院。
1955年，當選為保守黨領袖。
1956年，領導保守黨贏得了大選。
1957年，出任總理，組成首屆保守黨政府。
1963年，辭去職務。
1979年，去世。
桂江，是中國廣西壯族自治區東北部的一條河流，為西江支流。源于興安縣境的貓兒山。上游源頭與長江流域的湘江上源均在興安城北，由公元前2世紀開鑿的靈渠溝通，可以行船。
桂江上游稱漓江，沿南嶺西南麓南流經桂林市、陽朔、昭平等縣，至到平樂三江口與荔浦河、恭城河匯合後稱桂江。沿途納思勤江、富群河、思良江，流到梧州市入西江。長437公里，流域面積19025平方公里。桂江多激流險灘，淺水船可行至平樂，漲水季節可至桂林。桂江流經石灰巖地區，沿岸多石林巖洞，江水清澈，風景秀麗，為中國著名的旅游區。
category:西江水系
萊斯特·鮑爾斯·「邁克」·皮爾遜，PC，OM，CC，OBE（，），是第14任加拿大總理，1957年諾貝爾和平獎得主。皮爾遜擔任總理期間推行多項重要改革，如引進全民保健、學生貸款計劃和加拿大退休金計劃，創設加拿大勳章，以及成立皇家雙語及雙文化委員會，並倡議把加拿大國旗從英國紅船旗改為以楓葉為主的設計。
皮爾遜於1897年在安大略省紐頓布魯克鎮（現多倫多市一部分）出生。1913年，他從咸美頓市的咸美頓中學畢業，同年在多倫多大學的維多利亞學院展開大學生活。
一戰期間在加拿大軍隊救傷隊服役的皮爾遜
第一次世界大戰於1914年爆發後，皮爾遜加入多倫多大學救傷隊成為一位護理員。1915年，他加入加拿大軍隊救傷隊，職責為擔架手，軍階為二等兵，後來升至中尉，任內曾派駐埃及和希臘。1917年，皮爾遜轉至英國陸軍飛行隊（當時加拿大還沒有自己的空軍），擔任空軍中尉。然而，他於飛行訓練期間發生意外並受傷，再於1918年在倫敦街頭被巴士撞傷，因此被送回家養傷。他在空軍的飛行教練有感「萊斯特」一名與飛行員的形象不符，因此為他另改「邁克」一名。自此，皮爾遜在公開場合和官方文件中保持使用「萊斯特」一名，但親友卻一律稱呼他為「邁克」。
一戰結束後，皮爾遜重返校園，並於1919年從多倫多大學取得文學學士學位。他其後從馬西基金獲取獎學金，並往牛津大學的聖約翰學院就讀，於1923年取得二等榮譽學士學位，再於1925年取得文學碩士學位。學成後他返回加拿大，在多倫多大學任教歷史，並為多大的加式足球隊和男子冰球隊擔任教練。1925年，他與多大學生瑪利安·穆迪結婚，兩人育有女兒派翠西亞和兒子傑弗里。
皮爾遜於1927年參與加拿大外交部招聘考試，並以優異成績獲取錄。他於1930年代末派駐倫敦，並成為的副高級專員，第二次世界大戰爆發後負責協調軍事補給和難民安置等事宜。他於1941年至1942年間在渥太華短暫出任外交部助理副部長，再於1942年6月調往加拿大駐美國大使館。他於1945年正式出任加拿大駐美大使，到1946年9月為止，在建立聯合國和北約組織的歷程中擔當重要角色。他更差點成為聯合國首任秘書長，但因蘇聯否決而未能成事。
隨著二戰告終，時任加拿大總理威廉·萊昂·麥肯齊·金曾嘗試羅致皮爾遜加入他的團隊。然而，皮爾遜卻不認同麥肯齊·金的處事作風，因此謝絕麥肯齊·金的邀請。皮爾遜待麥肯齊·金宣佈退休後才加入政壇。
1948年，路易斯·聖勞倫特接替麥肯齊·金出任加拿大自由黨黨魁和加拿大總理，並任命皮爾遜為對外事務部（即外交部前身）部長。當時皮爾遜不是國會議員；聖勞倫特遂委任代表安大略省阿爾戈馬東選區的國會下議員湯瑪士·法誇爾為加拿大國會上議院議員，以騰空該議席讓皮爾遜參與補選。皮爾遜在補選順利勝出，躋身國會下議院。
埃及於1956年7月26日宣佈國有化蘇伊士運河，為蘇伊士危機寫下序幕。英國、法國和以色列再於同年10月尾與埃及爆發武裝衝突。隨著形勢急轉直下，皮爾遜決定向聯合國提議籌組維持和平部隊，於11月初與其團隊商討建議，並拉攏各方的支持。聯合國大會於11月7日通過1001號決議案，組織並派遣一支緊急部隊往埃及執行維持和平任務。英法部隊於1956年末撤離埃及，而以色列部隊則於1957年春季撤退。他於1957年末獲頒諾貝爾和平獎，以表揚他在這次危機中的貢獻。
自由黨於1957年聯邦大選中失利，以7席之差敗給保守黨，從執政黨變成在野黨。皮爾遜雖然保住自己的議席，但也失去其內閣部長地位。聖勞倫特於1958年告別政壇，而皮爾遜則於同年舉行的黨團大會中當選自由黨新任黨魁。
另一方面，以少數政府姿態執政的保守黨於1958年初解散國會，觸發九個月內第二場聯邦大選。皮爾遜首度以黨魁身份帶領自由黨進行競選活動，卻遭遇重大挫敗，令保守黨得以多數黨姿態重返國會。自由黨於1962年聯邦大選的表現有所改善，令保守黨再度以少數政府姿態執政。
然而，保守黨政府在這屆國會就應否容許美國在加拿大放置CIM-10飛彈而面臨內訌。國防部長哈克尼斯與總理約翰·迪芬貝克出現意見分歧而於1963年請辭，保守黨政府其後倒臺，觸發1963年聯邦大選。
皮爾遜在競選期間除了表明支持CIM-10飛彈計劃外，也承諾自由黨若當選的話，會在任期頭60日啓動一連串改革，包括引入全民保健和全國退休金系統。自由黨在這次選舉壓倒保守黨，以少數政府姿態重新執政，皮爾遜亦成為加拿大總理。雖然自由黨政府處於少數狀態，但獲新民主黨支持，皮爾遜因此得以推行上述改革。
迄今加拿大聯邦政府以英語為主要辦公語言，鮮有以法語提供服務，而法語系國民的不滿情緒亦於1960年代陸續浮現出來。有見及此，皮爾遜於1963年成立皇家雙語及雙文化委員會，以研究如何融合英語系和法語系社區。委員會最終建議將英法兩語並列為全國官方語言，為加拿大於1969年正式實行雙語制鋪路。
皮爾遜在處理蘇伊士危機時，埃及政府一度以加拿大當時的國旗帶有英國國旗為由，否定加拿大在該次衝突中的中立地位；他自此認為加拿大國旗應採用更獨特的設計。皮爾遜政府遂於1964年5月在國會提出動議更換國旗設計。一個由15名國會議員組成的跨黨派委員會於同年9月成立以研究新國旗設計，並於10月22日接納現有的紅白直條配紅楓葉設計。國會下議院於同年12月15日以大比數通過此設計，而新國旗於1965年2月15日正式啓用。
皮爾遜的墓碑
皮爾遜於1967年12月14日宣佈離開政壇。自由黨於1968年舉行黨魁選舉，由皮爾遜帶入內閣的-{zh-hans:皮埃爾·特魯多; zh-hant:皮耶·杜魯道;}-當選新任黨魁，並成為總理。此外，由皮爾遜提攜的另外兩名內閣廳長－約翰·內皮爾·特納和讓·克雷蒂安－在往後年間也曾先後出任總理。
皮爾遜其後重返學術界，在渥太華的卡爾頓大學就加拿大外交事務作演講。他於1972年去世，遺體葬於魁北克省加蒂諾以北維克菲爾德的麥克拉倫墓園。
*  "Greatest Canadian" write-up of Lester Pearson
*  National Archives biography
*  Nobel prize website
*  Canadian Peace Hall of Fame
*  CBC Digital Archives Lester B. Pearson: From Peacemaker to Prime Minister
*  University of Toronto Athletic Hall of Fame, Inducted 1987
*  Lester Bowles Pearson from ''The Canadian Encyclopedia''
*  An in-depth exploration of Pearson’s diplomacy during the Suez Crisis of 1956
克里普克語義(也叫做關系語義或框架語義，并經常混淆于可能世界語義)是模態邏輯系統的形式語義，于 1950 年代晚期和 1960 年代早期由索爾·阿倫·克里普克建立。它后來為另一個非經典邏輯，最重要的直覺邏輯所接受。克里普克語義的發現是非經典邏輯開發中重大突破，因為這種邏輯的模型論在克里普克之前實際上是不存在的。
對于我們的目的，模態邏輯的語言由命題變量，讀者喜歡的布爾連結詞的完備集合(比如 {&rarr;,&not;} 或 {&or;,&and;,&not;})，和模態算子  (&ldquo;必然性&rdquo;)構成。對偶的模態算子  (&ldquo;可能性&rdquo;) 定義為一個簡寫: 。更多背景請參見模態邏輯。
克里普克框架或模態框架是  對，這里的 ''W'' 是非空集合，''R'' 是在 ''W'' 上的二元關系。''W'' 的元素叫做節點或世界，而 ''R'' 叫做可及關系。
克里普克模型是  三元組，這里的  是克里普克框架，而  是在 ''W'' 的節點和模態公式之間的如下關系:
我們把  讀做 &ldquo;''w'' 滿足 ''A''&rdquo;，&ldquo;''A'' 滿足于 ''w''&rdquo;，或 &ldquo;''w'' 力迫 ''A''&rdquo;。關系  叫做“滿足關系”、“求值關系”或“力迫關系”。注意滿足關系由它在命題變量上的值唯一確定。
公式 ''A'' 在下列之中是有效的:
* 模型 ，如果對于所有 ''w''&nbsp;&isin;''W'' 有 ''w''&nbsp;''A''，
* 框架 ，如果對于  的所有可能的選擇，它在  中是有效的，
* 框架或模型的類 ''C''，如果它在 ''C'' 的每個成員中都是有效的。
我們定義 ''Thm(C)'' 為在 ''C'' 中有效的所有公式的集合。反過來說，如果 ''X'' 是公式的集合，則設 ''Mod(X)'' 是使來自 ''X'' 的所有公式有效的所有框架的類。
一個模態邏輯(就是說一個公式的集合) ''L'' 關于框架的類 ''C'' 是可靠的，如果 ''L''&sube;''Thm(C)''。''L'' 關于''C'' 是完備的，如果 ''L''&supe;''Thm(C)''。
語義對于邏輯(就是推理系統)研究是有用的，條件是在語義''蘊涵''關系忠實的反映語法對應物 -- ''推論''關系
(''可推導性'')。所以知道哪個模態邏輯關于哪類克里普克框架是可靠的和完備的，并為它們確定這種類是關鍵性的。
對于克里普克框架的任何類 ''C''，''Thm(C)'' 是正規模態邏輯；特別是，最小化正規模態邏輯 ''K'' 的定理，在所有克里普克模型中都是有效的。不幸的是，逆命題不是一般性成立的: 有克里普克不完備的正規模態邏輯。事實上這不是問題，因為實際中研究的多數模態系統關于由簡單條件所描述的框架類是完備的。
正規模態邏輯 ''L'' 對應于框架類 ''C''，條件是 ''C''=''Mod(L)''。換句話說，''C'' 是 ''L'' 關于 ''C'' 是可靠的最大的框架類；隨后 ''L'' 是克里普克完備的當且僅當它關于它所對應的類是完備的。
作為一個例子，考慮模式 ''T'' : ''A'' &rarr; ''A''。''T'' 在任何自反的框架  中是有效的: 如果 ''w''&nbsp;''A''，則 ''w''&nbsp;''A''，因為 ''w''&nbsp;''R''&nbsp;''w''。在另一方面，使 ''T'' 有效的框架必須是自反的: 固定 ''w''&nbsp;&isin;''W''，并定義命題變量 ''p'' 的滿足為如下:
''u''&nbsp;''p'' 當且僅當 ''w''&nbsp;''R''&nbsp;''u''。那么 ''w''&nbsp;''p''，所以 ''w''&nbsp;''p'' 于 ''T''，這意味著 ''w''&nbsp;''R''&nbsp;''w'' 使用了  的定義。我們見到 ''T'' 對應于自反的克里普克框架的類。
特征化 ''L'' 的對應類經常比證明它的完備性要容易許多，所以對應性充當完備性證明的指導。對應性還用于證實模態邏輯的''不完備性'':
假定 ''L''1&sube;''L''2 是對應于同一個框架類的正規模態邏輯，''L''1 不證明 ''L''2 的所有定理。那么 ''L''1 是克里普克不完備的。例如，模式  生成一個不完備的邏輯，因為它對應于同 ''GL'' 一樣的框架類(viz. 傳遞性和逆良基的框架)，但是它不證明 。
在下表中給出常見模態公理和它們對應的類的列表。注意: 公理的名字經常是多變的。
+ 常見模態公理模式
歐幾里德式的:
''GL''
''R'' 傳遞的, ''R''-1 良基的
''Grz''
''R'' 自反的和傳遞的, ''R''-1&minus;''Id'' 良基的
(一個復雜的二階性質)
下面是一些常見正規模態邏輯系統的列表。對于其中一些的框架條件是簡化了的: 邏輯關于在表中給出的框架類是''完備的''，但是它們可能''對應''于更大的一類框架。
+ 常見正規模態邏輯
''K4''
''S4''
''T'', ''4''
''T'', ''5'' 或 ''D'', ''B'', ''4''
''S4.3''
''T'', ''4'', ''H''
''S4.1''
''T'', ''4'', ''M''
''S4.2''
''T'', ''4'', ''G''
''GL'' 或 ''4'', ''GL''
有限的嚴格偏序
''Grz'', ''S4Grz''
''Grz'' 或 ''T'', ''4'', ''Grz''
''D45''
''D'', ''4'', ''5''
傳遞的、連續的和歐幾里德式的
對于任何正規模態邏輯 ''L''，我們可以構造一個克里普克模型(稱為典范模型)，它且只有它使 ''L'' 的定理有效，通過接納使用極大一致集合作為模型的標準技術。典范克里普克模型扮演的角色類似于在代數語義中的 Lindenbaum–Tarski代數構造。
公式集合 ''L''是''一致的''，如果從它們、''L'' 的公理和肯定前件中不能推導出矛盾。''極大 L一致的集合''(簡寫為 ''L''-''MCS'')是沒有真''L''一致的超集的 ''L''一致的集合。
''L'' 的典范模型是克里普克模型 ，這里的 ''W'' 是所有''L''-''MCS''，而關系 ''R'' 和  為如下:
:  當且僅當對所有的公式 ，如果  則 ，
:  當且僅當 。
典范模型是 ''L'' 的模型，因為所有的 ''L''-''MCS'' 包含 ''L'' 的所有定理。通過佐恩引理，每個 ''L''一致的集合都包含在一個 ''L''-''MCS'' 中，特別是在 ''L'' 中不可證明的所有公式都在典范模型中有一個反例。
典范模型的主要應用是完備性證明。例如，''K'' 的典范模型的性質直接蘊含 ''K'' 關于所有克里普克框架類的完備性。這個論證''不''適合任意的 ''L''，因為沒有對典范模型的底層''框架''滿足 ''L'' 的框架條件的擔保。
我們說一個公式或公式的集合 ''X'' 關于克里普克的一個性質 ''P'' 是典范的，如果
* ''X'' 在滿足 ''P'' 的所有框架中是有效的，
* 對于包含 ''X'' 的任何正規模態邏輯 ''L''，''L'' 的典范模型底層框架滿足 ''P''。
明顯的，公式的典范集合的并集自身是典范的。服從前面的討論，由公式的典范集合公理化的任何邏輯是克里普克完備的和緊致的。
公理 ''T''、''4''、''D''、''B''、''5''、''H''、''G''(和它們的任意組合)都是典范的。''GL'' 和 ''Grz'' 不是典范的，因為他們不是緊湊的。公理 ''M'' 自身不是規范的(Goldblatt, 1991)，但是組合的邏輯 ''S4.1''(事實上甚至 ''K4.1'') 是典范的。
一般的，給定的公理是否是典范的是不可判定的。不過我們知道一個好的充分條件: H。Sahlqvist 識別了如下廣泛的一類公式(現在叫做Sahlqvist公式)
* Sahlqvist 公式是典范的，
* 對應于 Sahlqvist 公式的框架類是一階可定義的，
* 有計算對一個給定的 Sahlqvist 公式的對應框架條件的算法。
這是一個非常強力的準則；例如，上面列出的典范的所有公理是實際上的(等價于) Sahlqvist 公式。
邏輯擁有有限模型性質(FMP)，如果它關于有限框架的類是完備的。這個概念的主要應用之一是可判定性問題: 它服從 Post定理，有 FMP 的遞歸公理化的模態邏輯 ''L'' 是可判定的，倘若給定的有限框架是否是 ''L'' 的模型是可判定的。特別是，有 FMP 的所有的有限可公理化的邏輯都是可判定的。
有各種方法為給定的邏輯建立 FMP。精練并擴展規范模型構造通常就行了，使用工具如過濾或拆分。還有一種可能性，給予免切的相繼式演算的完備性證明通常直接產生有限模型。
多數實際上使用的模態系統(包括所有上面列出的)都有 FMP。
在某些情況下，我們可以使用 FMP 來證明邏輯的克里普克完備性: 所有正規模態邏輯關于模態代數的類都是完備的，而''有限的''模態代數可以變換成克里普克框架。作為例子，Robert Bull 使用這個方法證明了 ''S4.3'' 的所有普通擴展都有 FMP，并且是 克里普克完備的。
克里普克語義對有多于一個模態的邏輯有直接的推廣。帶有  作為必然性算子的集合的語言的 克里普克框架，由對每個 ''i''&nbsp;&isin;''I'' 裝備上二元關系 ''Ri'' 一個非空集合 ''W''構成。滿足關系的定義修改為如下:
由 Tim Carlson 發現的簡化的語義，經常用于多模態可證明性邏輯。Carlson 模型是結構 i''}''i''&isin;''I'',&#x22a9;>，帶有一個單一的可及關系 ''R''，和給每個模態的子集 ''Di''&nbsp;&sube;&nbsp;''W''。滿足性定義為
Carlson 模型比通常的多模態克里普克模型易于形象化和使用；但是，克里普克完備的多模態邏輯是 Carlson 不完備的。
直覺邏輯的克里普克語義服從和模態邏輯的語義同樣的原理，但是它使用了滿足的不同的定義。
直覺克里普克模型是一個三元組 ，這里的  是偏序(也有說是預序) 克里普克框架，而  滿足下列條件:
* 如果  是命題變量，，而且 ，則  (單調性要求)，
*  當且僅當 對于所有 ，  蘊含 ，
直覺邏輯關于它的克里普克語義是可靠的和完備的，并且它有 FMP。
設 ''L'' 是一階語言。''L'' 的克里普克模型是三元組 w''}''w''&isin;''W''>，這里的  是直覺克里普克框架，''Mw'' 是 ''w''&nbsp;&isin;''W'' 每個節點的(經典) ''L''-結構，而下列相容性條件只要在 ''u''&nbsp;&le;&nbsp;''v'' 時都是成立的:
* ''Mu'' 的域包含在 ''Mv'' 的域中，
* ''Mu'' 和 ''Mv'' 中的函數符號實現一致于 ''Mu'' 的元素，
* 對于每個 ''n'' 元謂詞 ''P'' 和元素 ''a''1,...,''an''&nbsp;&isin;''Mu'': 如果 ''P''(''a''1,...,''an'') 成立于 ''Mu''，則它成立于 ''Mv''。
給出經由 ''Mw'' 的元素的變量求值 ''e''，我們定義滿足關系 ''w''&nbsp;''A'e'':
* ''w''&nbsp;''P''(''t''1,...,''tn'')''e'' 當且僅當  ''P''(''t''1''e'',...,''tn'e'') 成立于 ''Mw''，
* ''w''&nbsp;(''A''&nbsp;&and;&nbsp;''B'')''e'' 當且僅當 ''w''&nbsp;''A'e'' 并且 ''w''&nbsp;''B'e''，
* ''w''&nbsp;(''A''&nbsp;&or;&nbsp;''B'')''e'' 當且僅當 ''w''&nbsp;''A'e'' 或者 ''w''&nbsp;''B'e''，
* ''w''&nbsp;(''A''&nbsp;&rarr;&nbsp;''B'')''e'' 當且僅當 對于所有的 ''u''&nbsp;&ge;&nbsp;''w''，''u''&nbsp;''A'e'' 蘊含 ''u''&nbsp;''B'e''，
* ''w''&nbsp;&not;&nbsp;''A'e'' 當且僅當 沒有 ''u''&nbsp;&ge;&nbsp;''w''，''u''&nbsp;''A'e''，
* ''w''&nbsp;(&exist;''x''&nbsp;''A'')''e'' 當且僅當 存在一個 ''a''&nbsp;&isin;''Mw''，使得 ''w''&nbsp;''A'e''(''x''&rarr;''a'')，
* ''w''&nbsp;(&forall;''x''&nbsp;''A'')''e'' 當且僅當 對于所有的 ''u''&nbsp;&ge;&nbsp;''w'' 和所有的 ''a''&nbsp;&isin;''Mu''，''u''&nbsp;''A'e''(''x''&rarr;''a'')。
這里的 ''e''(''x''&rarr;''a'') 是給予 ''x'' 值 ''a'' 的求值，在其他方面一致于 ''e''。
作為獨立開發的層論的一部分，在 1965 年左右認識到克里普克語義密切相關于在 topos論中對存在量化的處理。就是對一個層的截面的存在性的'局部'示象是一種'可能性'的邏輯。因為這種開發是很多人的工作，比之于理論更合于概念上洞察的天性，歸與榮譽不是很容易的。Kripke-Joyal 語義這個名稱經常用做這種聯系。
同在經典的模型論中一樣，有從其他模型構造一個新的克里普克模型的方法。
在克里普克語義中天然的同態叫做p-態射(它是''偽滿射''的簡寫，但這個術語很少用)。克里普克框架  和  的 p-態射是一個映射
''f'':''W''&nbsp;&rarr;&nbsp;''W&rsquo;'' 滿足
* ''f'' 保留可及關系，就是說 ''u&nbsp;R&nbsp;v'' 蘊涵 ''f(u)&nbsp;R&rsquo;&nbsp;f(v)''，
* 在 ''f(u)&nbsp;R&rsquo;&nbsp;v&rsquo;'' 的時候，有一個 ''v''&nbsp;&isin;&nbsp;''W'' 使得 ''f(v)=v&rsquo;''。
克里普克模型  和  的 p-態射是它們的底層框架的 p-態射 ''f'':''W''&nbsp;&rarr;&nbsp;''W&rsquo;''，它滿足
: 對于任何命題變量 ''p''，''w''&nbsp;''p'' 當且僅當 ''f(w)''&nbsp;&rsquo;''p''。
P-態射是特殊種類的雙仿(bisimulation)。一般的說，在框架  和  之間的
雙仿是關系 ''B&nbsp;&sube;&nbsp;W&nbsp;&times;&nbsp;W&rsquo;''，它滿足下列 &ldquo;zig-zag&rdquo; 性質:
* 如果 ''u&nbsp;B&nbsp;u&rsquo;'' 并且 ''u&nbsp;R&nbsp;v''，則存在 ''v&rsquo;''&nbsp;&isin;&nbsp;''W&rsquo;'' 使得 ''v&nbsp;B&nbsp;v&rsquo;''，
* 如果 ''u&nbsp;B&nbsp;u&rsquo;'' 并且 ''u&rsquo;&nbsp;R&rsquo;&nbsp;v&rsquo;''，則存在 ''v''&nbsp;&isin;&nbsp;''W'' 使得 ''v&nbsp;B&nbsp;v&rsquo;''。
模型的雙仿是對保持原子公式的力迫的補充要求:
: 對于任何命題變量 ''p''，如果 ''w&nbsp;B&nbsp;w&rsquo;''，則 ''w''&nbsp;''p'' 當且僅當 ''w&rsquo;''&nbsp;&rsquo;''p''。
從這個定義我們得到的關鍵性質是模型的雙仿(所以也是 p-態射)保持''所有''公式的滿足性，而不只是命題變量。
我可以使用拆分(unravelling)把克里普克模型變換成樹。給出一個模型  和固定的節點 ''w''0&nbsp;&isin;&nbsp;''W''，我們定義一個模型 ，這里的 ''W&rsquo;'' 是所有有限序列 ''s''=0,''w''1,...,''wn''> 的集合，使得對于所有 ''i''i''&nbsp;''R''&nbsp;''wi+1'' 當且僅當對于所有變量 ''p''，''wn''&nbsp;''p''。定義可及關系 ''R&rsquo;'' 變化；在最簡單的情況下我們置
: 0,''w''1,...,''wn''>&nbsp;''R&rsquo;''&nbsp;0,''w''1,...,''wn'',''wn+1''>,
但是很多應用需要這個關系的自反與/或傳遞閉包，或類似的變更。
過濾是 p-態射的一個變種。設 ''X'' 是在采納子公式(subformulas)下閉合的公式的集合。模型  的 ''X''-過濾是從''W'' 到模型  的映射 ''f''，使得
* ''f'' 保持可及關系，和(在兩個方向上)變量 ''p''&nbsp;&isin;&nbsp;''X'' 的滿足性，
* 如果 ''f(u)&nbsp;R&rsquo;&nbsp;f(v)'' 并且 ''u''&nbsp;''A''，這里的 ''A'' &isin;''X''，則 ''v''&nbsp;''A''。
得到了 ''f'' 保持來自 ''X'' 的所有公式的滿足性。在典型的應用中，我們把 ''f'' 采納為在''W'' 在下列關系上對份額的投影
: ''u&nbsp;&equiv;X&nbsp;v'' 當且僅當對于所有 ''A''&nbsp;&isin;''X''，''u''&nbsp;''A'' 當且僅當 ''v''&nbsp;''A''。
同在拆分的情況下一樣，定義可及關系在份額變化上。
克里普克語義的主要缺陷是存在克里普克不完備邏輯和完備但不緊致的邏輯。可以使用來代數語義的想法，通過對克里普克裝備限制可能求值的集合的額外結構來修正。這引發了一般框架語義。
克里普克語義不是克里普克首創的，以上述方式給出的基于使求值相對于節點的語義早于克里普克的工作許久:
* Carnap 好像是首先有了這種想法，通過給予求值函數以萊布尼茲的可能世界為范圍的一個參數的方式，對必然性和可能性的模態給出一種可能世界語義。Bayart 進一步發展了這種想法，但是他們都沒能給出 Tarski 介入的這種風格的滿足的遞歸定義；