An Extension of the Ehrenfeucht-Fraiesse Game for First Order Logics Augmented with Lindstrom Quantifiers

机译：Ehrenfeucht-Fraiesse游戏的扩展，用于使用Lindstrom量词增强的一阶逻辑

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We propose an extension of the Ehrenfeucht-Fraisse game able to deal with logics augmented with Lindstrom quantifiers. We describe three different games with varying balance between simplicity and ease of use.

机译：我们提出了Ehrenfeucht-Fraisse游戏的扩展，该游戏能够处理用Lindstrom量词增强的逻辑。我们描述了三种不同的游戏，它们在简单性和易用性之间取得了平衡。

著录项

来源
《Fields of logic and computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday》|2015年|226-236|共11页
会议地点 Berlin(DE)
作者
Simi Haber; Saharon Shelah;
展开▼
作者单位

Bar-Ilan University, 5290002 Ramat-Gan, Israel;

The Hebrew University of Jerusalem, 91904 Jerusalem, Israel,Rutgers, Piscataway, NJ 08854-8019, USA;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Locality and modular Ehrenfeucht-Fraiesse games [J] . Achim Blumensath Journal of Applied Logic . 2012,第1期

机译：局域性和模块化的Ehrenfeucht-Fraiesse游戏
2. A Lindstrom theorem in many-valued modal logic over a finite MTL-chain [J] . Fuzzy sets and systems . 2020,第Juna1期

机译：有限MTL链上多值模态逻辑中的Lindstrom定理
3. First-Order Modal Logic: Frame Definability and a Lindstrom Theorem [J] . Zoghifard R., Pourmahdian M. Studia Logica . 2018,第4期

机译：一阶模态逻辑：帧定定能力和LINDSTROM定理
4. An Extension of the Ehrenfeucht-Fraisse Game for First Order Logics Augmented with Lindstrom Quantifiers [C] . Simi Haber, Saharon Shelah EACSL Annual Conference on Computer Science Logic . 2015

机译：ehrenfeucht-fraisse游戏的延伸，为一阶逻辑增强了lindstrom量词
5. Game On: Massively Multiplayer Online Games (MMOG) as Tools to Augment Teaching and Learning [D] . Bawa, Papia. 2017

机译：游戏：大型多人在线游戏（MMOG）作为增强教学的工具
6. Digital Attention-Related Augmented-Reality Game: Significant Correlation between Student Game Performance and Validated Clinical Measures of Attention-Deficit/Hyperactivity Disorder (ADHD) [O] . Neha U. Keshav, Kevin Vogt-Lowell, Arshya Vahabzadeh, 2019

机译：与数字注意力相关的增强现实游戏：学生游戏表现与注意力缺乏/多动症（ADHD）的有效临床指标之间的显着相关性
7. An extension of the Ehrenfeucht-Fraisse game for first order logics augmented with Lindstrom quantifiers [O] . Haber, Simi, Shelah, Saharon 2015

机译：Ehrenfeucht-Fraisse游戏的延伸，用于一阶逻辑增加了Lindstrom量词

An Extension of the Ehrenfeucht-Fraiesse Game for First Order Logics Augmented with Lindstrom Quantifiers

摘要

著录项

相似文献

相关主题

期刊订阅