hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
理查德·贝德福德·贝内特
理查德·贝德福德·贝内特，第一代贝内特子爵（英語：；1870年7月3日—1947年6月26日），加拿大保守党政治人物，1930年-1935年任加拿大总理。在大萧条的危机中上台，但在5年任期内无所作为，卸任以后成为英国上院贵族，是唯一一位葬在英国的加拿大聯邦總理。
理查德·贝德福德·贝内特 早年生活
1870年7月3日出生于新不伦瑞克省一个小村庄的造船主家庭。他的父亲一度生意兴隆，家庭也不算贫穷，贝内特先后当过教师，律师和政客，不过他的一生主要是从事后两种事业。他最初在学校任教，随后进入哈利法克斯的达尔豪西大学学习法律。
大学毕业后，贝内特同新不伦瑞克省查塔姆市的一位律师合伙开办了特迪威-贝内特公司。1896年他以一票优势赢得第一次竞选，进入市议会。他的竞选主任是一位17岁的小伙子马克思·艾肯特，即后来著名的比弗布鲁克男爵，当时马克思·艾肯特还在贝内特的律师事务所帮忙，他可能是本内特毕生最亲密的朋友，虽然两人的友谊在20世纪30年代曾一度断绝。
1897年，贝内特听到这句话“到西部去，年轻人。”于是打点行装出发。后来，他每年都回家同母亲一起过圣诞节（他一直是独身），但从未返回大西洋沿岸居住。他在卡里加尔定居，同著名的保守党人詹姆斯·拉菲德参议员一道从事律师职业。
理查德·贝德福德·贝内特 早年生活
贝内特对政治有着持久而浓厚的兴趣。在西部，他再次对政治着迷。到达卡尔加里一年以后，他以保守党的身份被选入西部地区的立法机构。1905年，他竞选阿尔伯塔省首届议会的席位时遭受第一次挫折。1909年，他才如愿以偿。1911年，他辞去了在省立法机构的席位，在卡尔加里东部选区成功的赢得了下议院的议席。于此同时，保守党在全国也取得胜利。
在担任第一届众议院议员期间，贝内特因进一步援助“加拿大北方铁路公司”的问题同保守党领袖罗伯特·莱尔德·博登分裂。当时，该公司为了与“加拿大太平洋铁路公司”竞争，正在承建另一条横贯大陆的铁路。贝内特指责“加拿大北方铁路公司”的承包人“厚颜无耻、野心勃勃、贪得无厌、弄虚作假、巧立名目、到处要钱。”贝内特还质问：“岂能以虚报盈利和伪造账目为基础，要求使用来自全国人民的贷款？”贝内特主张由公众控制铁路的股权。博登和米恩最后采取了这种政策。然而，贝内特于“加拿大太平洋铁路公司”的长期交往，使人们怀疑他对“加拿大北方铁路公司”的指责。
理查德·贝德福德·贝内特 早年生活
一战期间，他任全国兵役局负责人。他为人坦率已经对公共事务的全心全意的投入使他获得了人民的信赖。贝内特是一位很有感召力的人物；无论走到哪里，他都能引起别人的注意，而且能随遇而安。他的外貌和举止给人的印象是：活力、热情、坚定、严厉。他的口才敏捷、讲话有力，而且讲起来滔滔不绝，完全能够克敌制胜。
贝内特没有参加1917年的竞选。他可能因后座议员的前途渺茫而感到泄气，但更可能是因为即使竞选成功罗伯特·博登也不会请他入阁。1921年，贝内特在阿瑟·米恩内阁后期担任了6个月的司法部长。不过他担任这一职务时在下议院没有议席。1921年加拿大保守党失败时，贝内特本人也以16票之差败北。此后他还在1926年短命的米恩内阁担任过两个月的财长。1926年发生宪法危机。米恩倒台以后他被选为保守党的领袖，这主要是因为他的财富，他把大量的金钱投入了保守党，到去世的时候他还有350万元巨款，但谁都不知道他的财富是怎么来的，虽然他当律师是非常赚钱的。他是“加拿大太平洋铁路公司”和“哈德逊湾公司”的主要法律顾问。
理查德·贝德福德·贝内特 早年生活
1909年贝内特和马克思·艾特肯合伙投资于“加拿大水泥公司”，第二年又组建了“卡尔加尔电力公司”，他担任该公司董事长达10年之久，贝内特还和艾特肯合作经济“卡尔加里酿酒公司”，不过这项投资违反了贝内特的本性，因为他强烈反对饮酒，终生滴酒不沾。事实上，贝内特郁郁寡欢的形象破坏了他在1935年的选举中的形象。保守党被麦肯齐·金领导的自由党人打得一败涂地。东部有人问贝内特：“西部在想什么？”他却回答“西部没有想什么，只是在喝酒。”1912年，贝内特再次和艾特肯合作，在加拿大西部建造谷物转扬机和面粉厂，这些活动为贝内特带来了财富。 贝内特还有一些奇特的收入，他在新不伦瑞克和达尔豪西大学的一位女同学嫁给了一个富翁，这位叫珍妮·谢里夫的女同学死的时候，把价值几百万的股票遗产全部都给了他。他就这样暴富了起来。
理查德·贝德福德·贝内特 萧条总理
1929年10月，华尔街股市暴跌，加拿大经济遭受重大挫折，但总理威廉·莱昂·麦肯齐·金认为经济危机很快就会结束，没有必要耗费巨资进行新的社会改革。在1930年大选中前，麦肯齐·金又犯了一个令人吃惊的错误，他在答复各省省长要求解决给失业者特别救济问题，麦肯齐声称不会给保守党占统治地位的区域提供一分钱的失业救济，他冷漠无情的讲话使得加拿大民众和舆论极为愤慨。这使保守党以138席的明显优势获胜。对大多数加拿大人来说，1930年只能让他们想起大萧条、购面包的长队线、施粥棚，股市场的自杀、抵债、破产以及加拿大西部历史上毁灭性的旱灾。保守党就是在这种绝境中上台的。
大选过后，贝内特和麦肯齐·金戏剧性的交换了角色。麦肯齐·金质问政府打算如何解决经济危机；贝内特反问道：“什么危机”。贝内特确实施行过一项公共工程计划，但他自己也承认这不过是杯水车薪。他认为经济补救措施的关键在于施行保护性高关税，这样加拿大人就会尽可能使用加拿大的产品。事实上，他是借用约翰·亚历山大·麦克唐纳爵士的国家政策。他还寄希望于大英帝国---英联邦内的经济合作。
理查德·贝德福德·贝内特 萧条总理
大选过后，他没有居住在专门为历届总理设置的办公地，而是住进了渥太华最豪华的宾馆---洛里耶城堡的豪华套房。别人认为贝内特有以下特点；独裁武断、报复性强，不受约束、出手阔绰、多愁善感、工作努力、野心勃勃、仗势欺人，在他任总理的5年内，的确用严厉的手段统治国家。除了担任总理，他还兼任财政和外交部长，他不愿意也也不善于同下属分权。他施行的完全是一人政体。贝内特的内阁会议变成了只要他宣布自己做出的决定。有一个故事说，内内特独自坐在办公室喃喃自语。一位陌生人问：“他在干什么？”别人回答说：“贝内特在召开内阁会议。”
理查德·贝德福德·贝内特 萧条总理
他当上总理以后，他相信经济困难不能有具体的措施来解决，时间的流逝会使一切好转。加拿大人逐渐意识到，理查德·贝内特没有充分认识的加拿大社会问题的严重性。直到1934年底，他才突然改变想法，开始大动干戈的解决当时的问题。他为什么突然变成改革派？其原因很可能是大选临近，他认为应当办一些引人注目的事情，才能保证自己连任。毫无疑问，他也受到了自己派去调查价格和市场的那个委员会的调查结果的影响，该委员会揭露了商业界的许多丑恶现象。内阁成员中的H·H斯蒂芬认为政府在艰难时期没有履行对人民负有的义务，贝内特的确还受到美国总统富兰克林·罗斯福的影响。他的妹夫是加拿大驻美大使，此人强烈的主张在加拿大实行新政。
在没有事先同保守党商量，也没有事先在内阁讨论的情况下，贝内特就宣布了自己的计划：“我支持改革。我认为改革就是政府干预，也就是政府控制和调节。这意味着自由主义的终结。”贝内特在政治纲领中提出就最低工资、最长工时、养老金、失业和医疗保险、建立全国就业服务中心和国家经济委员会、限价，典当物品、反托拉斯、住房、税收、银行等方面进行立法。但加拿大选民对他做出的一切持怀疑态度。他们认为，如果让贝内特重新当选，他可能对这些经济政策做出修订。
贝内特的财富帮了他的倒忙。在普遍萧条，大旱和普遍悲惨的时期，让一位傲慢的百万富翁来治理国家是不能安抚人心的，他的竞选演说听起来像说教，而不是在争取支持。按照惯例，现任首相通常不到任期届满就要举行大选，但贝内特任职五年，声望没有一点提高。
这次大选是保守党的灾难，他们只得到下议院245个席位中的39个，麦肯齐·金重新上台后，废除了贝内特的大部分立法，但也有一些改革成果幸存了下来，如加拿大小麦局和加拿大银行，还有加拿大广播公司和加拿大航空公司。贝内特仍然在议会担任反对党的领袖，直到1938年，他才辞去在议会的职务，永远退休。
理查德·贝德福德·贝内特 晚年生活
贝内特认为自己不能再待在加拿大。他很快便去英国定居，住在老朋友比弗布鲁克勋爵附近的一个庄园里，经过比弗布鲁克勋爵的活动，贝内特后来被任命为英国上议院议员，并且被封为“贝内特领米克尔汗、卡尔加和霍普威尔子爵。”在英国，他从事过一些有益的战时工作。但是他的健康逐渐恶化。他的晚年是在痛苦中渡过的，这位孤独可怜的老人于1947年6月26日去世，终年76岁。他选择英国为安息地，这是加拿大历史上唯一一位埋骨他乡的总理。
理查德·贝德福德·贝内特 评价
贝内特通常被认为是加拿大最没有作为的总理之一，当然这与他恰逢大萧条时期有关，责任并不完全在他。他的事业和人生观可以用他自己的话来概括。1931年10月他说：“我对政治不感兴趣。我今天在渥太华当首相，明天可能下台，但是我不在乎。生活已经给予我人生所企求的一切。我以61岁了。到这个年龄的人应当享福了。但是，我所拥有的这一切在很大程度上是加拿大给我的，如果我能做些什么回报，那完全是出自于我的愿望，如果加拿大人民觉得不需要我的时候，我也能心满意足的立即走开。”
征服 (游戏)
征服是一个由天晴数码娱乐公司为Microsoft Windows系统所制作的武侠类大型网络游戏。
香港足總盃
香港足總盃（英語：），簡稱足總盃，是一項由香港足球總會主辦的淘汰制錦標賽。2024-25年度球季，獲冠忠巴士冠名贊助為「冠忠巴士六十週年足總盃」。
足總盃於1974–75年度球季首次舉辦，過去共有14支球隊奪得冠軍，當中以南華奪標的次數最多，曾10度稱霸。傑志和東方為現時香港超級聯賽中奪得最多冠軍的球隊，一共7次。
香港足總盃 簡介
香港足總盃於1974–75年首次舉辦，最初香港足總盃賽制，有部份是模仿英格蘭足總盃，容許較低組別球隊作越級挑戰。足總盃初級組前幾名球隊，可以參加香港足總盃，越級挑戰甲組球隊。賽事以淘汰賽形式進行，準決賽和決賽分別以兩回合決勝。而初賽和複賽若在法定時間未能分出勝負則需進行加時賽，若加時仍然賽和，則擇日重賽。同樣若準決賽和決賽兩回合總成績賽和則要加時，若加時再和則擇日再賽，該賽制沿用至1977年取消。由1978年起，全部賽事以一場定勝負，若比賽於加時賽後仍未分高下，則以互射十二碼定勝負。
由於香港乙、丙組屬業餘性質，球隊的水平與甲組有一段距離，只曾試過有兩支球隊越級挑戰成功，分別是1977-78年度，乙組球隊警察以 2–0 淘汰東方，以及1979-80年度，丙組球隊流浪以 1–0 淘汰市政。足總決定於1981年的一屆開始取消乙、丙組越級挑戰，以清一色甲組球隊參賽，足總盃初級組賽事亦告取消。
於2013年起，初級組銀牌賽事改革為足總盃初賽。初賽最佳成績球隊（約 3–4 隊）與頂級聯賽（今香港超級聯賽）球隊參加決賽週階段，相關安排於2016年終止，令足總盃初級組恢復成為獨立賽事。
香港足總盃 歷屆冠軍
備註：
A. ^  雙方 90 分鐘內及加時賽後仍然賽和 2–2，元朗憑互射十二碼以 4–2 勝出。
B. ^  雙方 90 分鐘內及加時賽後仍然賽和 2–2，南華憑互射十二碼以 3–1 勝出。
C. ^  雙方 90 分鐘內及加時賽後仍然賽和 3–3，傑志憑互射十二碼以 5–3 勝出。
D. ^  雙方 90 分鐘內及加時賽後仍然賽和 1–1，香港飛馬憑互射十二碼以 4–3 勝出。
路易·圣洛朗
路易·史蒂芬·圣洛朗（）（1882年2月1日—1973年7月25日），魁北克省法裔加拿大人，加拿大自由党政治人物。1948年-1957年出任总理，在任加拿大總理期间推动了加拿大于1949年加入北约，以抵制共产主义。
路易·圣洛朗 早年生活
1882年2月1日生于魁北克省的康普顿的一个小商人家庭。父亲是法裔加拿大人，开店为生；母亲是爱尔兰人。这使得他在英法双语环境中成长。1905年毕业于拉瓦尔大学，获得了法学学士学位。大学毕业后的圣洛朗一直从事律师职业，直到1914年，他的母校拉瓦尔大学聘请他担任该校法律系教授。他在公司法和宪法方面的研究卓著，使他成为加拿大最受尊重的辩护律师之一。1930年至1932年，他担任加拿大律师协会主席。
路易·圣洛朗 进入政界
圣洛朗的父亲一直是自由党的忠实支持者，特别是对前总理威尔弗里德·劳雷尔极度地忠诚和信服。父亲的政治倾向也影响了他。然而作为自由党的支持者，年轻时的圣洛朗却对政治兴趣不大，而是更专注于他的律师职业和美满的家庭生活。他成为魁省最出色的律师之一，他的才华得到保守党总理阿瑟·米恩的赏识，于1926年邀请他加入保守党内阁。
1941年，联邦司法部长、负责魁省事务的部长Ernest Lapointe去世，由于急需来自魁省的部长取代Ernest Lapointe的位置，平衡联邦与魁省的矛盾，自由党总理威廉·莱昂·麦肯齐·金·召回圣洛朗，担任战争时期的政府司法部长。当时的圣洛朗已届六十岁，已经想退出法律界、颐养天年。他认为自己进入政坛只是临时性的策略，最终还将回到魁北克，接受了总理的任命。1944年，总理金决定征召军人前往二战前线，引起了一些法裔加拿大人的反对，在魁省爆发了“征兵危机”。自由党内部也产生分歧。圣洛朗是支持征兵参战的一小部分自由党人之一。总理金对于他的忠诚和支持非常感激，他力劝圣洛朗留在联邦政府，帮助政府重建战后国际秩序，任命他为对外事务部长(即后来的外交部)。
路易·圣洛朗 进入政界
在担任对外事务部长期间，圣洛朗代表加拿大参加了联合国代表大会的成立。他指出了联合国在战时没有军队，导致对各国战争监管不力，因此建议成立一个联合国部队，用以维持战争国家的和平。
路易·圣洛朗 担任總理
总理麦肯齐·金在执政后期力劝圣洛朗成为他的接班人。他确信圣洛朗作为一个英法双语的领导人，可以整合自由党以及国家的团结。1948年，麦肯齐·金·退休，他不动声色地劝说党内资深部长支持圣洛朗成为新的领导人。在1948年的自由党内部选举中，圣洛朗赢得自由党领袖之职，并接任加拿大总理，他的矜持、威严、腼腆、慈祥、平和，使他深受加拿大人爱戴，声望日渐高涨，人们甚至亲切地称他为“路易大叔”。在1949年的联邦大选中，自由党成功击退乔治·德鲁领导的保守党，继续着自由党连续执政二十二年的辉煌。
圣洛朗的内阁在国际舞台上扩大了加拿大在战后全球秩序重组上的所扮演的角色，1949年，加拿大加入北大西洋公约组织，派兵参与朝鲜战争及联合国军。圣洛朗内阁中的外交事务部长莱斯特·皮尔逊促成了联合国维和部队的成立，并以此方法成功解决了苏伊士运河危机。皮尔逊因此赢得1956年的诺贝尔和平奖，并最终成为圣洛朗的接班人。
路易·圣洛朗 担任總理
而在加拿大国内，圣洛朗执政期间促成纽芬兰省加入加拿大联邦，制定了新的社会和工业政策。圣洛朗政府对加拿大进行了谨慎的改革，开始实行征税、建立了支持艺术发展的加拿大委员会、扩大社会福利计划如家庭福利和老年退休金等的发放范围、引入了医疗保险的最初雏形。
政府同时参与了多项大型公共建设，如横贯加拿大高速公路、横贯加拿大输油管线、圣劳伦斯河海运等。然而，这些大型项目的巨额投资也使自由党政府的声望下降，执政二十二年的自由党政府在1957年时已略显衰老和疲态。1956年，加拿大掀起了对横贯加拿大输油管线建设的争议，导致公众对政府耗用巨资不满。
路易·圣洛朗 隐退生活
1957年，约翰·迪芬贝克领导的保守党在大选中以微弱优势战胜自由党，保守党在议会256席中获得112个议席，自由党获得102个议席。然后，获得25个议席的第三方政党——国民合作党投向保守党，使保守党得以组成少数党政府。
75岁的圣洛朗在担任了一段时间的反对党领导后，最终决定退出政府舞台，由他最为得力的部长莱斯特·皮尔逊继任自由党领袖。
退休后的圣洛朗专注于对法律的研究及享受家庭生活，和他的孙儿孙女们共享天伦之乐。1973年7月25日于魁北克城去世，享年91岁。葬于康普顿圣托马斯·阿奎那公墓。
路易·圣洛朗 家庭生活
1908年与珍妮·雷诺(1886-1966)结婚，婚后育有两子三女。
约翰·迪芬贝克
约翰·乔治·迪芬贝克 PC CH QC FRSC FRSA（英語：；1895年10月18日—1979年8月16日），舊譯第芬碧架，是加拿大第13任聯邦總理，於1957年至1963年在任。他在1957年聯邦大選中帶領加拿大进步保守党赢得下议院成为议院中的最大党，並在1958年聯邦大選赢得265个席次中的208席次。迪芬贝克任内主要推动北方开发和减少对美国的依赖，恢复同英联邦国家的关系。
约翰·迪芬贝克 早年生活
1895年10月18日出生于加拿大安大略省诺伊施塔特。父亲是德裔移民，母亲是苏格兰裔移民。1903年，迪芬贝克全家迁到萨斯喀彻温省，并购买了一座农场。约翰的父亲是一座学校的教师。1915年，迪芬贝克从萨斯喀彻温大学毕业，获得了文学学士学位，第二年获得了政治学硕士学位。1919年，他又获得法学学士学位。后在西部从事律师业务。他很快就成了一名卓越的刑法辩护律师，并成功的为判处死刑的18人进行辩护。在他的整个政治生涯中，迪芬贝克一直坚决的反对死刑，热情的提倡人权。
据说，成功的秘诀就是经历一次又一次的失败而不放弃。迪芬贝克的从政历程就是这一格言的有力证明，他不止5次在国家、省、甚至市的竞选中失败。1936年，他终于当选为萨斯喀彻温省保守党领袖，但这个党在1938年该省大选中却没能赢得一个议席。1940年入选众议院后，一直热衷于社会福利事业。尽管他对政治有浓厚兴趣，但却在这个竞技场上屡遭挫折，机遇不佳。1942和1943年两次企图获得进步保守党领袖职务而没有成功。
约翰·迪芬贝克 早年生活
1955年12月他在保守党全国代表大会的第一轮投票中即获胜利，以61岁较高年龄当选为保守党领袖。在他的领导下，进步保守党赢得了1956年大选，但在众议院中仅仅占有少数议席。
约翰·迪芬贝克 担任聯邦總理
自由党政府在长时期的统治中滋长的唯我独尊的作风和因此而产生的政策漏洞，为保守党在1957年大选中东山再起造成了机会。管道辩论中C·D·豪蛮横无理地中止辩论的作法，苏伊士运河危机中自由党政府置英、法利益于不顾，一味追随美国的态度，以及小麦积压、物价上涨等问题，使执政的自由党在在野党和公众之中积怨甚多。
迪芬贝克成功地利用自由党政府的不利形势。他在温尼伯竞选时向公众揭露自由党政府的丑闻，迪芬贝克成功地赢得了加拿大人民的广泛支持。在竞选演说中，他许诺要对加拿大进行巨大的变革，因为他来自大平原省府，来自农村，所以他是小人物——工人和农民的支持者和拥护者。他不信任合股企业和知识界人士，不认为出生大中部上层阶级是一件值得骄傲的事。1957年6月21日，约翰·迪芬贝克取代路易斯·圣洛朗登上总理宝座，组成了22年来第一届保守党政府。经过30年的不懈努力，他终于赢得了圆满的回报。
约翰·迪芬贝克 担任聯邦總理
保守党上台后，迪芬贝克为稳固其统治地位于1958年2月1日解散了议会，3月31日选举产生的新议会中，保守党获得联邦成立以来的最大多数，共得到208个众议院席位。自由党则锐减至49席，其席位几乎全部来自安大略和魁北克。平民合作联盟减少到8席，社会信用党则是全军覆没。
迪芬贝克政府的施政纲领主要分为两个方面：一是加强北方开发，以期取得半个世纪前在西部那样的成功；二是摆脱美国资本对加拿大工业和自然资源的控制，进而在外交上减少对美国政策的依赖和屈从，恢复同英联邦国家传统的亲密关系。不过他上台不久声望就开始跌落，因为他许诺的过多，实行的太少。
约翰·迪芬贝克 外交混乱
迪芬贝克上台后所遇到的第一个问题是北美空防协定。这项计划是自由党执政时期加、美两国共同制订的，1957年大选前双方已准备接受。迪芬贝克发现双方围绕这项计划所进行的准备工作使他无法改变其进程。1958年春根据该协定建立了共同的防空体系，由一位美国人任司令，加拿大人任副司令。美加两国原定于1959年10月举行联合空防演习。迪芬贝克政府因故没有予以密切配合，美方为此大为震怒。加拿大驻美大使阿诺德·希尼在8月28日这一天两次被召到美国国务院听候训斥，被告知说美方对加拿大的姿态表示“极大的关注”。
1957年7月初，迪芬贝克为表明新政府在调整对外关系上的决心，向新闻界宣布加拿大政府打算把从美国进口货物的15%改由联合王国进口。这一决定被认为是一个轻率之举。由于英加同处于关税贸易总协定之中，1932年渥太华协议已经失去了意义。加上英国对新成立的欧洲共同市场兴趣盎然，对加拿大的献媚并不领情，反而认为这是不合时宜的干扰。联合王国不顾英联邦各国的反对，一再要求加入欧洲经济共同体，这一要求得到美国的积极支持。加拿大面临的是一条牢固的英、美联合阵线。迪芬贝克的举措没能改善加、英关系，却因此激怒了美国。
约翰·迪芬贝克 外交混乱
古巴导弹危机，是对加拿大防务政策的严峻考验。美国为应对苏联的挑衅行为，十分需要在北美防务上存在密切关系的加拿大协同行动。但是，只有一个盟国的首脑对美国表示怀疑：那就是加拿大的约翰·迪芬贝克。肯尼迪政府希望加拿大政府能够带头响应美国的号召，然而，加拿大方面却反应冷淡，迪芬贝克还在众议院建议由联合国组织一个委员会，对古巴时态的发展进行公正的调查，这无疑是对美国权威不敬的表示。
在古巴导弹危机中，美国为争取盟国的支持，积极进行外交沟通。十月21日，前驻加拿大大使、美国助理国务卿利文斯顿·麦钱特携带肯尼迪的亲笔信飞往渥太华，与加拿大总理迪芬贝克会晤，负责向加拿大政府介绍危机的情况。
迪芬贝克对美国的行为十分不满，他在会上特别提到，在肯尼迪即将进行公开演说前两个小时，他才得到美国关于处理危机情况的通知。同时，他怀疑美国提供的证据-苏联在古巴部署导弹的照片的真实性。迪芬贝克仔细观察麦钱特向他展示的苏联导弹基地放大照片，并要求看更多照片。
约翰·迪芬贝克 外交混乱
迪芬贝克尽管心存疑虑，但是还是对美国的行动表示理解，保证一旦发生来自古巴的导弹进攻，加拿大将履行其在北约及北美空防司令部中的责任。迪芬贝克虽然表示支持美国，但是担心肯尼迪的激烈行为将会把世界推向毁灭，因此在解决危机的具体办法上与之发生了分歧。此外，迪芬贝克政府也迟迟不随同美国采取一致军事行动。
约翰·迪芬贝克 外交混乱
1962年10月22日美国宣布它在北美空防司令部的部队进入三级警戒状态。按照加美 “北美空防协定”的规定，加拿大应于美国发出警报后两小时内发出同样警报，并使其空防部队进入戒备状态。但迪芬贝克既没有下令发布警报，也没有按照美国的要求，把核导弹弹头安装到伏都截击机和波马克反轰炸机上。在23日上午召开的加拿大内阁会议上，国防部长道格拉斯·哈克尼斯力主加拿大应随美国之后立即发布警报，迪芬贝克坚决反对，并说：“一个警报会不适当地使人民陷于恐慌之中。我们应该等待并观望事态的发展。”至危机后期，迪芬贝克迫于形势的转变和国内压力，态度逐步发生转变。24日下午，加拿大政府宣布其北美空防部队进入警戒状态。在次日众议院会议上，迪芬贝克总理给予美国更多政治支持，政策调门发生显著变化。他说：“正如以往每一个北美人所认为的那样，苏维埃的导弹对美国和加拿大来说确实是一种威胁。” 加拿大政府“准备支持美国”，但同时“将尽可能地寻求运用非战争的方式来解决这些问题，避免出现挑衅行为”，因为“加拿大的目的是尽量减缓紧张局势”。他还指出，迫切需要解决的问题是，“不仅要避免冲突，而且要找到和平解决来自苏维埃新挑战的途径”。迪芬贝克也认同了肯尼迪的观点，即苏联在古巴的导弹是进攻性的，应予以拆除。当严重的危机过去之后，加拿大最终站在了美国这一边。
约翰·迪芬贝克 外交混乱
迪芬贝克政府在古巴导弹危机中的表现招致国内外的尖锐批评。英国首相麥美倫讥讽迪芬贝克是盟国领导人中“惟一的懦夫”。美国对加拿大在危机中既不执行也不表态的消极立场十分不满，《华盛顿邮报》专栏作家批评说，“与其他盟国相比，加拿大表现出无精打采的样子”；“迪芬贝克的迟钝使美国面对潜在的来自北极的进攻，大片土地成为无防区”；“加拿大妨碍了美国的行动计划，并增加了战争的危险性”。就连加拿大国内一些人，如联合防卫部长皮埃尔·塞维涅及保守党官员达尔顿·坎普等，也对迪芬贝克的举措颇有微辞，认为他的优柔寡断损害了加拿大的形象。尽管如此，迪芬贝克政府在古巴导弹危机期间的“迟钝”反应，客观上有助于减缓极端紧张的对峙状态。
一波未平，一波又起。哥伦比亚河水源开发问题又把迪芬贝克推向了国家计划与大陆主义二难选择的困境。哥伦比亚河是北美第四大河，发源于加拿大，经美国流入太平洋。长期以来，该河丰富的水利资源被拱手送给美国人以换取美方对不列颠哥伦比亚省开发计划的支持。退役后担任国际联席委员会加方主席的麦克诺顿将军对此深感忧虑，呼吁建立加拿大自己的水电工程。联邦政府从国家利益出发企图独自开发该河水源，但此举遭到美国政府和哥伦比亚省政府的联合抵制。最后还是加拿大联邦政府作出让步。1961年1月签订的哥伦比亚河条约规定美、加两国合作开发该河水电资源，大陆主义又一次占了上风。
迪芬贝克当政时期，加拿大在对外政策上经常陷入混乱。无论是他亲自主持外交事务，还是由两位外交部长先后处理对外关系，都少有建树。保守党政府疏远美国亲近英国的倾向使其在美、英双方都失去了支持。加之保守党新领导人与旧有的公务员班底合不来，更降低了加拿大在外交上的效率。
约翰·迪芬贝克 内政失败
迪芬贝克在内政方面所制定的政策富有民族主义，并且注重实用性。他增加了老年人的养老金和其他形式的政府帮助，特别是对西部农产品的价格补贴。尽管在自由党统治时期加拿大经济增长很快，但大草原和太平洋沿岸等西部地区却受益甚少。迪芬贝克上台后十分热衷于解决西部所面临的经济问题。西部地区是加拿大主要农业区。粮食生产过剩的问题多少年来一直困扰着这里的农场主。迪芬贝克当政后，加拿大农业获得了令人惊喜的机会，通过特殊信贷方式建立了一项大胆的贸易政策，为加拿大小麦打开了潜力巨大的中国市场（当时中国正处于三年自然灾害，不得不进口加拿大小麦）。此外，迪芬贝克政府还制订了“农业恢复与发展法案”，通过改变边缘地区农场的经营范围，初步解决了加拿大长期被忽视的乡村贫困问题。
约翰·迪芬贝克 内政失败
迪芬贝克政府的其它措施还包括：增加社会福利；建立国家能源委员会，监督能源的使用；完成了南萨斯喀彻温水坝工程；以及为开发北部而实行的公路建设计划。
迪芬贝克向偏远落后地区和社会中下层倾斜的经济政策触怒了多伦多和蒙特利尔的实业界。1957年选举中曾是保守党的支持者，现却转向自由党一边反对迪芬贝克。对保守党政府更具有破坏性的打击是它与加拿大银行总裁詹姆斯·科因发生的争执。科因是个坚强的经济民族主义者。他曾告诫加拿大人，由于美国资本输入的结果，他们将失掉对自己工业和自然资源的控制。如果他们愿意维持自己国家整体和自决权，他们必须学会“依靠自己的财力生活”。迪芬贝克尽管对科因的经济民族主义立场持同情态度，但却担心科因的想法实现会损害加拿大的社会福利计划，因此在实业界压力下要求科因辞职。科因拒不服从。政府向众议院提交的宣布解除科因职务的议案却被参议院拒绝。1961年7月科因自动退休才结束了这起影响极坏的风波。这一插曲暴露了保守党政府经济政策的混乱不堪，并加剧了该政府长期没能解决的财政困境和金融危机。
一些具有更重要意义的改革计划，如新边疆开发，要求在通往加拿大北部修建庞大的铁路系统以促进北部的发展，却由于政府的经济状态不力而遭到失败。加上1957年保守党上台后适逢资本主义世界普遍性的经济衰退，致使加拿大财政赤字不断增大，外债累累，加元贬值。迪芬贝克对此一筹莫展，无计可施，令加拿大人民大为失望。
约翰·迪芬贝克 辞职下野
1963年，政府迫使迪芬贝克辞职，阿芙洛箭式喷气飞机项目的取消是他失败的象征。迪芬贝克听从他的顾问的意见，认为由加拿大自行设计并制造战斗机最终会导致花费太高，因而取消了这一项目，这样就造成了1.4万工人失业。历史学家至今还对这一决定有争议，担忧可以肯定的事是，对于一个民族主义的领导人来说，这的确是一个重大的政治失误。他为此付出下台的代价。莱斯特·皮尔逊成为新总理。
约翰·迪芬贝克 晚年生活
保守党下野后一直为争夺领导权问题所困扰，约翰·迪芬贝克并不甘心放弃对该党的领导权，连续平息了几起内部的不满与反抗。直到1967年，反对势力齐集多伦多，重新审察党的领导权问题。迪芬贝克众叛亲离，新斯科舍总理罗伯特·斯坦菲尔德被选为新的保守党领袖。此后他是一名普通的议员，人民称他为“迪芬长官”。
在他的暮年，他依然继续为他的一个民族和个人的权利奔走活动。他认为加拿大是一个民族，每一个人都应该拥有作为公民平等的权利，这一观点与法裔加拿大人的观点大相径庭，他们认为加拿大是两个民族协调的结果。
1979年8月16日于渥太华逝世，享年83岁。葬于萨斯喀彻温省萨斯卡通迪芬贝克加拿大中心。
约翰·迪芬贝克 评价
迪芬贝克是一位出色的在野党领袖，然而，一旦走入政治舞台的中心，其政治天才却黯然失去光彩。在权利的巅峰上，他暴露出一个执政者的致命弱点：优柔寡断，统治无术。纵然拥有加拿大历史上前所未有的多数席位，却无力制定和实施自己的改革纲领；既不能有力地领导内阁，也不能有效地运转联邦政府机关。迪芬贝克政府在财政经济政策上的失败使之既没有拢住社会中下层人民，又失去了在加拿大社会中最有影响的各个阶层的支持。对保守党政府的不满在美国政府的推波助澜下形成汹涌的潮流，最终导致了迪芬贝克政府的瓦解和垮台。尽管如此，但迪芬贝克总体上依然是一位卓越的政治家。他在1960年制定了加拿大《人权法案》，使得加拿大脱离了英国议会至上的传统，面向美国基于个人权利的有限政府的传统靠近。
约翰·迪芬贝克 参考文献
Diefenbaker, John, , Macmillan of Canada, 1975, ISBN 0-7705-1331-X  含有內容需登入查看的頁面 (link)
Diefenbaker, John, , Macmillan of Canada, 1976, ISBN 0-7705-1443-X  含有內容需登入查看的頁面 (link)
Diefenbaker, John, , Macmillan of Canada, 1977, ISBN 0-7705-1569-X
Kyba, Patrick. and Wendy Green-Finlay, "John Diefenbaker as prime minister," in D. C. Story and R. Bruce Shepard, eds. The Diefenbaker Legacy: Canadian Politics, Law and Society since 1957 (1998): 57–70.
约翰·迪芬贝克 参考文献
Prymak, Thomas, M. "Cold War Clash, New York City, September-October 1960: Comrade Khrushchev vs. 'Dief the Chief'" （页面存档备份，存于）, International History Review, vol. 45, no. 1 (2023), 134-51.
桂江
桂江，是中国广西壮族自治区东北部的一條河流，为西江支流。源于兴安县境的猫儿山。上游源头与长江流域的湘江上源均在兴安城北，由公元前2世纪开凿的灵渠沟通，可以行船。
桂江上游称漓江，沿南岭西南麓南流经桂林市、阳朔、昭平等县，至到平樂三江口與荔浦河、恭城河匯合後稱桂江。沿途纳思勤江、富群河、思良江，流到梧州市入西江。长437公里，流域面积19025平方公里。桂江多激流险滩，浅水船可行至平乐，涨水季节可至桂林。桂江流经石灰岩地区，沿岸多石林岩洞，江水清澈，风景秀丽，为中国著名的旅游区。
莱斯特·皮尔逊
莱斯特·鲍尔斯·「迈克」·皮尔逊，PC，OM，CC，OBE（，1897年4月23日—1972年12月27日），1963年至1968年擔任第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年舉行黨魁選舉，由皮爾遜帶入内閣的當選新任黨魁，並成為總理。此外，由皮爾遜提攜的另外兩名内閣廳長－約翰·內皮爾·特納和－在往後年間也曾先後出任總理。
皮爾遜其後重返學術界，在渥太華的卡爾頓大學就加拿大外交事務作演講。他於1972年去世，遺體葬於魁北克省加蒂諾以北維克菲爾德的麥克拉倫墓園。
关系语义
克里普克语义(也叫做关系语义或框架语义，并经常混淆于可能世界语义)是模态逻辑系统的形式语义，于 1950 年代晚期和 1960 年代早期由索尔·阿伦·克里普克建立。它后来为另一个非经典逻辑，最重要的直觉逻辑所接受。克里普克语义的发现是非经典逻辑开发中重大突破，因为这种逻辑的模型论在克里普克之前实际上是不存在的。
关系语义 模态逻辑的语义
对于我们的目的，模态逻辑的语言由命题变量，读者喜欢的布尔连结词的完备集合(比如 {→,¬} 或 {∨,∧,¬})，和模态算子  (“必然性”)构成。对偶的模态算子  (“可能性”) 定义为一个简写: 。更多背景请参见模态逻辑。
克里普克框架或模态框架是 <W,R> 对，这里的 W 是非空集合，R 是在 W 上的二元关系。W 的元素叫做节点或世界，而 R 叫做可及关系。
克里普克模型是  三元组，这里的  是克里普克框架，而  是在 W 的节点和模态公式之间的如下关系:
我们把  读做 “w 满足 A”，“A 满足于 w”，或 “w 力迫 A”。关系  叫做“满足关系”、“求值关系”或“力迫关系”。注意满足关系由它在命题变量上的值唯一确定。
公式 A 在下列之中是有效的:
我们定义 Thm(C) 为在 C 中有效的所有公式的集合。反过来说，如果 X 是公式的集合，则设 Mod(X) 是使来自 X 的所有公式有效的所有框架的类。
一个模态逻辑(就是说一个公式的集合) L 关于框架的类 C 是可靠的，如果 L⊆Thm(C)。L 关于C 是完备的，如果 L⊇Thm(C)。
关系语义 模态逻辑的语义
语义对于逻辑(就是推理系统)研究是有用的，条件是在语义蕴涵关系忠实的反映语法对应物 -- 推论关系
(可推导性)。所以知道哪个模态逻辑关于哪类克里普克框架是可靠的和完备的，并为它们确定这种类是关键性的。
对于克里普克框架的任何类 C，Thm(C) 是正规模态逻辑；特别是，最小化正规模态逻辑 K 的定理，在所有克里普克模型中都是有效的。不幸的是，逆命题不是一般性成立的: 有克里普克不完备的正规模态逻辑。事实上这不是问题，因为实际中研究的多数模态系统关于由简单条件所描述的框架类是完备的。
正规模态逻辑 L 对应于框架类 C，条件是 C=Mod(L)。换句话说，C 是 L 关于 C 是可靠的最大的框架类；随后 L 是克里普克完备的当且仅当它关于它所对应的类是完备的。
关系语义 模态逻辑的语义
作为一个例子，考虑模式 T : A → A。T 在任何自反的框架 <W,R> 中是有效的: 如果 w A，则 w A，因为 w R w。在另一方面，使 T 有效的框架必须是自反的: 固定 w ∈W，并定义命题变量 p 的满足为如下: 
u p 当且仅当 w R u。那么 w p，所以 w p 于 T，这意味着 w R w 使用了  的定义。我们见到 T 对应于自反的克里普克框架的类。
特征化 L 的对应类经常比证明它的完备性要容易许多，所以对应性充当完备性证明的指导。对应性还用于证实模态逻辑的不完备性: 
假定 L1⊆L2 是对应于同一个框架类的正规模态逻辑，L1 不证明 L2 的所有定理。那么 L1 是克里普克不完备的。例如，模式  生成一个不完备的逻辑，因为它对应于同 GL 一样的框架类(viz. 传递性和逆良基的框架)，但是它不证明 。
在下表中给出常见模态公理和它们对应的类的列表。注意: 公理的名字经常是多变的。
下面是一些常见正规模态逻辑系统的列表。对于其中一些的框架条件是简化了的: 逻辑关于在表中给出的框架类是完备的，但是它们可能对应于更大的一类框架。
关系语义 模态逻辑的语义
对于任何正规模态逻辑 L，我们可以构造一个克里普克模型(称为典范模型)，它且只有它使 L 的定理有效，通过接纳使用极大一致集合作为模型的标准技术。典范克里普克模型扮演的角色类似于在代数语义中的 Lindenbaum–Tarski代数构造。
公式集合 L是一致的，如果从它们、L 的公理和肯定前件中不能推导出矛盾。极大 L一致的集合(简写为 L-MCS)是没有真L一致的超集的 L一致的集合。
L 的典范模型是克里普克模型 <W,R,>，这里的 W 是所有L-MCS，而关系 R 和  为如下:
当且仅当对所有的公式 ，如果  则 ，
当且仅当 。
典范模型是 L 的模型，因为所有的 L-MCS 包含 L 的所有定理。通过佐恩引理，每个 L一致的集合都包含在一个 L-MCS 中，特别是在 L 中不可证明的所有公式都在典范模型中有一个反例。
典范模型的主要应用是完备性证明。例如，K 的典范模型的性质直接蕴含 K 关于所有克里普克框架类的完备性。这个论证不适合任意的 L，因为没有对典范模型的底层框架满足 L 的框架条件的担保。
关系语义 模态逻辑的语义
我们说一个公式或公式的集合 X 关于克里普克的一个性质 P 是典范的，如果
明显的，公式的典范集合的并集自身是典范的。服从前面的讨论，由公式的典范集合公理化的任何逻辑是克里普克完备的和紧致的。
公理 T、4、D、B、5、H、G(和它们的任意组合)都是典范的。GL 和 Grz 不是典范的，因为他们不是紧凑的。公理 M 自身不是规范的(Goldblatt, 1991)，但是组合的逻辑 S4.1(事实上甚至 K4.1) 是典范的。
一般的，给定的公理是否是典范的是不可判定的。不过我们知道一个好的充分条件: H。Sahlqvist 识别了如下广泛的一类公式(现在叫做Sahlqvist公式)
这是一个非常强力的准则；例如，上面列出的典范的所有公理是实际上的(等价于) Sahlqvist 公式。
逻辑拥有有限模型性质(FMP)，如果它关于有限框架的类是完备的。这个概念的主要应用之一是可判定性问题: 它服从 Post定理，有 FMP 的递归公理化的模态逻辑 L 是可判定的，倘若给定的有限框架是否是 L 的模型是可判定的。特别是，有 FMP 的所有的有限可公理化的逻辑都是可判定的。
关系语义 模态逻辑的语义
有各种方法为给定的逻辑建立 FMP。精练并扩展规范模型构造通常就行了，使用工具如过滤或拆分。还有一种可能性，给予免切的相继式演算的完备性证明通常直接产生有限模型。
多数实际上使用的模态系统(包括所有上面列出的)都有 FMP。
在某些情况下，我们可以使用 FMP 来证明逻辑的克里普克完备性: 所有正规模态逻辑关于模態代數的类都是完备的，而有限的模态代数可以变换成克里普克框架。作为例子，Robert Bull 使用这个方法证明了 S4.3 的所有普通扩展都有 FMP，并且是 克里普克完备的。
克里普克语义对有多于一个模态的逻辑有直接的推广。带有  作为必然性算子的集合的语言的 克里普克框架，由对每个 i ∈I 装备上二元关系 Ri 一个非空集合 W构成。满足关系的定义修改为如下:
当且仅当 。
由 Tim Carlson 发现的简化的语义，经常用于多模态可证明性逻辑。Carlson 模型是结构 <W,R,{Di}i∈I,⊩>，带有一个单一的可及关系 R，和给每个模态的子集 Di ⊆ W。满足性定义为
当且仅当 。
Carlson 模型比通常的多模态克里普克模型易于形象化和使用；但是，克里普克完备的多模态逻辑是 Carlson 不完备的。
关系语义 直觉逻辑的语义
直觉逻辑的克里普克语义服从和模态逻辑的语义同样的原理，但是它使用了满足的不同的定义。
直觉克里普克模型是一个三元组 ，这里的  是偏序(也有说是预序) 克里普克框架，而  满足下列条件:
直觉逻辑关于它的克里普克语义是可靠的和完备的，并且它有 FMP。
设 L 是一阶语言。L 的克里普克模型是三元组 <W,≤,{Mw}w∈W>，这里的 <W,≤> 是直觉克里普克框架，Mw 是 w ∈W 每个节点的(经典) L-结构，而下列相容性条件只要在 u ≤ v 时都是成立的:
给出经由 Mw 的元素的变量求值 e，我们定义满足关系 w A[e]:
这里的 e(x→a) 是给予 x 值 a 的求值，在其他方面一致于 e。
作为独立开发的层论的一部分，在 1965 年左右认识到克里普克语义密切相关于在 topos论中对存在量化的处理。就是对一个层的截面的存在性的'局部'示象是一种'可能性'的逻辑。因为这种开发是很多人的工作，比之于理论更合于概念上洞察的天性，归与荣誉不是很容易的。Kripke-Joyal 语义这个名称经常用做这种联系。
关系语义 模型构造
同在经典的模型论中一样，有从其他模型构造一个新的克里普克模型的方法。
在克里普克语义中天然的同态叫做p-态射(它是伪满射的简写，但这个术语很少用)。克里普克框架 <W,R> 和 <W’,R’> 的 p-态射是一个映射
f:W → W’ 满足
克里普克模型 <W,R,> 和 <W’,R’,’> 的 p-态射是它们的底层框架的 p-态射 f:W → W’，它满足
对于任何命题变量 p，w p 当且仅当 f(w) ’p。
P-态射是特殊种类的双仿(bisimulation)。一般的说，在框架 <W,R> 和 <W’,R’> 之间的
双仿是关系 B ⊆ W × W’，它满足下列 “zig-zag” 性质:
模型的双仿是对保持原子公式的力迫的补充要求:
对于任何命题变量 p，如果 w B w’，则 w p 当且仅当 w’ ’p。
从这个定义我们得到的关键性质是模型的双仿(所以也是 p-态射)保持所有公式的满足性，而不只是命题变量。
关系语义 模型构造
我可以使用拆分(unravelling)把克里普克模型变换成树。给出一个模型 <W,R,> 和固定的节点 w0 ∈ W，我们定义一个模型 <W’,R’,’>，这里的 W’ 是所有有限序列 s=<w0,w1,...,wn> 的集合，使得对于所有 i<n  和 s p，wi R wi+1 当且仅当对于所有变量 p，wn p。定义可及关系 R’ 变化；在最简单的情况下我们置
<w0,w1,...,wn> R’ <w0,w1,...,wn,wn+1>,
但是很多应用需要这个关系的自反与/或传递闭包，或类似的变更。
过滤是 p-态射的一个变种。设 X 是在采纳子公式(subformulas)下闭合的公式的集合。模型 <W,R,> 的 X-过滤是从W 到模型 <W’,R’,’> 的映射 f，使得
得到了 f 保持来自 X 的所有公式的满足性。在典型的应用中，我们把 f 采纳为在W 在下列关系上对份额的投影
u ≡X v 当且仅当对于所有 A ∈X，u A 当且仅当 v A。
同在拆分的情况下一样，定义可及关系在份额变化上。
关系语义 一般框架语义
克里普克语义的主要缺陷是存在克里普克不完备逻辑和完备但不紧致的逻辑。可以使用来代数语义的想法，通过对克里普克装备限制可能求值的集合的额外结构来修正。这引发了一般框架语义。
关系语义 历史和术语
克里普克语义不是克里普克首创的，以上述方式给出的基于使求值相对于节点的语义早于克里普克的工作许久:
尽管克里普克语义的根本思想在克里普克首次发表之前就广为流传了，克里普克 关于模态逻辑的工作仍可恰当的当作是开拓性的。最重要的是，克里普克是第一个为模态逻辑证明了完备性定理的人，并且克里普克识别了最弱的正规模态逻辑。
尽管克里普克的工作有开创性贡献，很多模态逻辑学家反对术语 克里普克语义，因为这是对先驱们做的重要贡献的失礼。反对另一个最广泛使用的术语可能世界语义的理由是它不适合应用于不是可能性和必然性的模态，比如在认识或道义逻辑中。他们喜欢术语关系语义或框架语义。
盧恩字母
盧恩字母（英语：）又稱路尼字母、如尼字母或北欧字母，在占卜和電子遊戲領域則更多的稱之為「盧恩符文」，是一类已灭绝的字母，諸多北歐民族都使用過它來記錄資訊，其中尤其以維京人最具代表性。
它的使用範圍廣泛遍佈於斯堪的納維亞半岛与不列颠群岛。斯堪的纳维亚半岛所用的盧恩文字被稱作弗薩克文（Futhark），不列顛島所用的盧恩文字被稱作弗托克文（Futhorc），來源自其字母表前六個字母。
到了中世纪晚期的歐洲，北欧的語言和文字都被嚴重的拉丁字母化，盧恩字母喪失了日常溝通的功能之後，反而更加往神秘學的方向發展，盧恩符文作為占卜、祭祀用的符咒功能被一直保留，在基督教霸權不太嚴重的北歐國家中依然被頻繁使用。即使到了現代，這種符咒化的文字也被大量運用在和北歐、維京人主體相關的各類電影影集和電子遊戲中。此外历史上纳粹德国党卫队曾根据卢恩字母编造神秘符文，至今依旧在新纳粹团体中流行。
盧恩字母 来源
卢恩（rune）来自日耳曼语（rūn），希臘語的意義爲“秘密”，实际上是一种咒文。它的来源和北欧神话中的奥丁息息相关。
传说，奧丁是智慧知識之神，他曾經倒吊在世界之树上九天九夜，《賢者之歌》中記到：
于是，奥丁取得了盧恩文字（）的智慧和奥秘。盧恩是一种咒文，只要将它刻在木、石、金属甚或任何材料上就能得到无穷的威力。諾倫三女神（）把这种文字记载的命运刻在黄金宝盾上。
盧恩字母 歷史
至今發現最早的盧恩文字定期为西元二世纪左右，随著基督教傳入北歐，盧恩字母逐漸被拉丁字母取代。公元六世纪左右，盧恩字母在中歐消失；公元十一世纪左右也在斯堪地那維亞半島消失，但在斯堪地那維亞半島，盧恩字母還常常被用在裝飾圖案上。盧恩符文曾是古老歐洲民族如維京、日耳曼、塞爾特、和盎格魯薩克遜所廣泛使用的字母。盧恩已存在數千年之久，有些古老符文曾出現在世界上的古代洞穴壁畫中。
三種最著名的盧恩字母是：
後弗薩克文進一步被分成：
後弗薩克文字進一步再發展成：
盧恩字母 日常用途
盧恩文字在日常生活的應用如同文字記載，也被當時人們運用於飾品及建築。另外，古代歐洲僧侶曾將其視為與神明溝通之工具。
盧恩文字會被用在巫術中。
盧恩字母 當代應用
蓝牙的标志是盧恩字母 （Hagall，ᚼ）和 （Bjarkan，ᛒ）的组合，也就是藍牙哈拉爾（）的首字母HB的合写。
以古早傳下來的，將刻上了盧恩字母的石頭、樹、金屬、玻璃等物件，全部擲出之後挑出一個並且唸咒的方式。不過，現今一般的作法，改以將全部的盧恩字母放在袋中，一邊默想問題，一邊抓出一個盧恩字母來作為回答。另外，近來也常出現抽取印製在紙上的字母卡這種方式。
盧恩字母 盧恩字母編碼
支援盧恩文範圍的Unicode字型包括免費的Junicode、Free Mono、Code2000、Caslon Roman，以及收費的Everson Mono、TITUS Cyberbit Basic等。
乔·克拉克
查尔斯·约瑟夫·“”·克拉克 PC CC AOE（英語：，1939年6月5日—），加拿大政治人物，1979年-80年間為第十六任加拿大总理。他於1972年首次出任加拿大國會下議院議員，1976年當選加拿大進步保守黨黨魁，1979年帶領該黨贏取少數政府，就任總理時為39歲，是加拿大歷史上最年輕的總理。少數政府於同年末倒台，而進步保守黨則於1980年大選落敗，克拉克的總理任期遂告結束；他再於1983年進步保守黨黨魁選舉中敗予布賴恩·馬爾羅尼。
進步保守黨在馬爾羅尼領導下再度執政，期間克拉克曾於聯邦內閣中擔任外交事務國務秘書。他從1993年起暫別政壇，1998年復出並再度出任進步保守黨黨魁，2000年起再任下議院議員。克拉克於2003年離任黨魁，而隨著進步保守黨和加拿大聯盟於同年末合併成新的聯邦保守黨，他亦於2004年離任下議員並淡出政壇。
乔·克拉克 早年生活、涉足政治
乔·克拉克於亞伯達省高河鎮出生，父親為《高河時報》（）出版商，母親婚前則任法語教師。他就讀高河中學時曾任學生會主席，並編輯該校的學生報，中學畢業後曾於《卡加利先驅報》（）的體育版當暑期工。他此後到愛民頓的亞伯達大學修讀政治學，期間活躍於校園活動，曾任該校學生報編輯和辯論會成員。
克拉克在大學時期亦開始涉足政治，擔任亞伯達大學的保守派協會副主席。他於1958年參與拉澤特（）角逐亞伯達進步保守黨黨魁的競選活動，又於1960年組織示威，抗議當時亞伯達省的執政社會信用黨政府未有提供足夠撥款興建學生宿舍。他於同年從亞伯達大學獲取政治學學士學位，翌年獲執政聯邦進步保守黨政府聘請，為其撰寫講稿和傳單、安排媒體訪問和籌備會議。
乔·克拉克 早年生活、涉足政治
他於1962年到新斯科舍省市的戴爾豪斯大學修讀法律，翌年則轉讀温哥华不列颠哥伦比亚大学法學院。他兩度出任聯邦進步保守黨的全國學生聯會主席，在卑詩省期間亦曾效力該省保守黨黨魁富爾頓（）。然而他的法學院成績因此受到拖累，而他亦有感法學沉悶，因此放棄該學位並返回亞伯達大學修讀政治學碩士，並曾於1965年-67年間任職該校的政治學講師。他繼續參與亞伯達進步保守黨活動，並成為該黨的活動籌備總監。
他於1967年首次參選公職，在當年省選角逐亞伯達省議會的卡加利南選區省議員議席，但以462票之差落敗。克拉克後於同年協助富爾頓角逐聯邦進步保守黨黨魁職位；斯坦菲爾德（）最終當選該黨黨魁，並聘請克拉克出任其行政助理。
他於1973年從亞伯達大學獲取政治學碩士學位，同年與作家和律师莫林·麦克提尔（）結婚。兩人育有一名女儿凯瑟琳；她是美术历史学研究生，就读于多伦多大学，从事公共关系和广播职业。
乔·克拉克 晉身國會、當選黨魁
克拉克於1972年再度參選，在當年聯邦大選代表進步保守黨角逐亞伯達省的洛磯山選區國會下議院議席，擊敗尋求連任的自由黨候選人當選下議院議員，首次晉身國會，並從1973年起擔任進步保守黨的青年事務評議員。他於1974年聯邦大選在洛磯山選區連任下議員，同年末改任進步保守黨的環境事務評議員。斯坦菲爾德於同年8月宣布辭任黨魁後，部分黨員游說克拉克參選。經過深思熟慮並復習法語後，克拉克於1975年10月宣布角逐黨魁。
黨魁選舉定於1976年2月舉行。面對瓦格納（）和麥當奴（）等重量級候選人，外界早期並未看好克拉克的勝算。然而他在首輪投票後出乎意料地排行第三，僅次於瓦格納和馬爾羅尼；在次輪投票他的得票更升至第二多。有見自己選情不妙，麥當奴於次輪投票後棄選，並鼓勵她的支持者轉投同屬紅色托利派的克拉克。克拉克亦獲其他棄選的紅色托利派候選人支持，遂於第四輪投票以65票之差險勝瓦格納，當選進步保守黨黨魁，兼任加拿大官方反對黨領袖。
乔·克拉克 晉身國會、當選黨魁
當時克拉克在國内知名度不高；他當選黨魁翌日《多倫多星報》頭條稱他為「誰？」（），與政治魅力甚濃的總理和自由黨黨魁杜魯多比較下更相形見絀。縱雖如此，克拉克著手整頓黨内架構，以求平息自年代已現的黨内爭鬥。他引入行政黨團會議，以便定出策略在下議院内集中攻擊自由黨施政。1977年下議院辯論時段引入電視轉播，亦讓觀眾見識克拉克質詢杜魯多時的強硬作風，評論有指克拉克的表現偶然更勝杜魯多。進步保守黨於1977年11月進行黨魁檢討，克拉克獲黨員支持留任。
乔·克拉克 出任總理
及至1979年，自由黨已連續執政16年。在失業率、通脹和政府赤字皆高企的局面下，選民求變殷切。杜魯多希望自由黨在多數政府任期末段能重建選民支持，因此待任期將近終結才請示總督舒禮雅解散國會並舉行聯邦大選。當年2月進行的民調顯示，自由黨和進步保守黨的支持度分別為39%和38%。競選期間克拉克集中於國內經濟狀況，抨擊自由黨施政不善，並承諾進步保守黨若當選將削減徵税和政府開支。
進步保守黨在該屆大選贏取136席，多於自由黨的114席。安大略省95個議席中的57席由進步保守黨候選人勝出，為該黨致勝關鍵之一。然而進步保守黨離多數政府地位尚差六席，只能以少數政府姿態上台執政。克拉克本人的洛磯山選區在這次大選前解散，他遂改到新成立的耶洛黑德選區（）競逐連任。他於1979年6月4日（即其40歲生日前一天）宣誓就任總理，成為加國歷來最年輕的總理，以及首位生於加拿大西部的總理。
乔·克拉克 出任總理
克拉克的少數政府需與其他政黨（如持有6席的社會信用黨或持有26席的新民主黨）合作才能保著執政地位；社信黨其中一名下議員賈内爾（）其後轉投進步保守黨，但該黨仍需另外五席才可達致多數地位。縱雖如此，克拉克仍以進步保守黨仿佛擁有多數議席的姿態掌政，並未與任何政黨達成執政聯盟或其他合作協議。另一方面，克拉克的進步保守黨政府雖於1979年5月當選，但下議院待同年10月才復會，是加拿大聯邦成立以來為期最長的下議院休會時期。
進步保守黨於競選期間承諾減稅，但在1979年12月11日公布的財政預算中則提出增加汽油稅，增幅為每加侖18。社信黨的五名下議員要求取消增加汽油稅，但未被財長高士比接納。自由黨和新民主黨亦不支持該份預算案，而新民主黨的財政評議員李博則於預算案中加入附帶動議，指執政黨已失去下議院信任。下議院於同月13日表決，自由黨和新民主黨合共139票支持不信任動議，社信黨五名下議員則棄權。進步保守黨其中三名議員則抱恙或在國外公幹而缺席，該黨因此只持有133票。動議獲下議院通過，克拉克的少數政府遂告倒台。