博弈语义
概述
Lorenzen和Kuno Lorenz的主要动机是为直觉逻辑找到一种博弈论(他们的术语是“对话式”Dialogische Logik)语义。Blass首先指出在博弈语义和线性逻辑之间的联系。这个路线进一步由Samson Abramsky、Radhakrishnan Jagadeesan、Pasquale Malacaria和独立的由Martin Hyland和Luke Ong发展，对合成性加以特别强调，就是递归的在语法上定义策略。使用博弈语义，上面提及的作者们解决了长期存在的为可计算函数的编程语言定义完全抽象模型的问题。从此，博弈语义成为各种编程语言的完全抽象的语义模型，导致了软件模型检查的软件验证的新的语义制导的方法。 [1]Lorenzen和Kuno Lorenz的主要动机是为直觉逻辑找到一种博弈论(他们的术语是“对话式”Dialogische Logik)语义。Blass首先指出在博弈语义和线性逻辑之间的联系。这个路线进一步由Samson Abramsky、Radhakrishnan Jagadeesan、Pasquale Malacaria和独立的由Martin Hyland和Luke Ong发展，对合成性加以特别强调，就是递归的在语法上定义策略。使用博弈语义，上面提及的作者们解决了长期存在的为可计算函数的编程语言定义完全抽象模型的问题。从此，博弈语义成为各种编程语言的完全抽象的语义模型，导致了软件模型检查的软件验证的新的语义制导的方法。
量词
博弈语义的基础性考虑已经被Jaakko Hintikka和Gabriel Sandu更加强调，特别是为了友好独立逻辑(IF逻辑，更加新近的友好信息逻辑)，它是带有分支量词的逻辑。复合性原理被认为对这些逻辑失败，所以Tarski主义的真理定义不能提供合适的语义。
要解决这个问题，量词被给予博弈论意义，全称量词和存在量词表示一个游戏者从这个域做的一个选择。在全称情况下，给游戏者的自然名字是“证伪者”；在存在情况下，是“证实者”。注意一个单一的反例证伪一个全称量化陈述，而一个单一的例子足够证实一个存在量化陈述。Wilfrid Hodges提议了复合语义并证明了它等价于给IF-逻辑的博弈语义。基础性考虑已经推动了其他人的工作，比如Japaridze的可计算性逻辑。 [1]
热门专栏
热门词条
应收账款
区域货币
区间估计
金融危机
资本成本
CPI（Consumer Price Index）
汇率
资产
经济
美元
单向定单
租赁期
外汇通
服务
外汇佣金
SME
ISO
认可
增量成本
什一税
CFO
MIT
加工
销售
MG金融集团
股价反弹
抽签偿还
股利收入
技术
空头陷阱
资本
REF
市场
中国股市
中小企业
备付金率
美国
两会
价格
吊空
指数
股灾
葡萄牙币
调至市价
pt
清算
电子汇兑
税粮
下降三角形
外汇
FDI
Writer
银行
投资
管理
阴烛
MACD
width
冲账
Theta
短期同业拆借
货币
peg
外汇交易法
金融中介理论
企业
艾略特波段理论的含义
消费发展战略
黄金
巴塞尔资本协议
贴现现金流
联系汇率制度
拔档
美国贝勒大学
产品
汇差清算率
延期付款汇票
短期国际商业贷款
Exposure
集中竞价
计期汇票
金融
标准普尔（S&P）
公司
不完全竞争市场理论 (金融)
正利差
分期付款汇票
软通货
出口物价指数
选择权买方
资金
百分比回撤
无记名汇票最低报价戴维·凯特标准·普尔 500指数抵押品持平德国工业产值德国消费者物价指数成本协同效益
股票
非农就业人口
交易
道琼斯公用事业平均指数
持平
指示汇票
产品竞争力
财务指标 盈利能力比率
德国伊弗研究所景气调查
外汇实盘交易方式
外汇实盘交易指令
国际收支差额