首页>外文会议>Indian conference on logic and its applications

Indian conference on logic and its applications

召开年：2017
召开地：Kanpur(IN)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Conversation and Games

机译：对话与游戏
- 作者：Nicholas Asher;Soumya Paul
- 会议名称：《Indian conference on logic and its applications》 | 2017年
- Strategic reasoning;
- Conversations;
- Dialogues;
- Infinite games;
- Epistemic game theory;
2.Ramsey Theory on Trees and Applications

机译：拉姆齐树木与应用理论
- 作者：Natasha Dobrinen
- 会议名称：《Indian conference on logic and its applications》 | 2017年
3.Automata, Logic and Games for the A-Calculus

机译：A-微积分的自动机，逻辑和游戏
- 作者：C.-H. Luke Ong
- 会议名称：《Indian conference on logic and its applications》 | 2017年
4.Semantics and Proof Theory of the Epsilon Calculus

机译：Epsilon演算的语义和证明理论
- 作者：Richard Zach
- 会议名称：《Indian conference on logic and its applications》 | 2017年
5.Neighbourhood Contingency Bisimulation

机译：邻域偶发模拟
- 作者：Zeinab Bakhtiari;Hans van Ditmarsch;Helle Hvid Hansen
- 会议名称：《Indian conference on logic and its applications》 | 2017年
6.The Complexity of Finding Read-Once NAE-Resolution Refutations

机译：查找一次性NAE解决方案引用的复杂性
- 作者：Hans Kleine Buening;Piotr Wojciechowski;K. Subramani
- 会议名称：《Indian conference on logic and its applications》 | 2017年
- Read-once;
- NAE-SAT;
- Refutation;
- Optimal length refutation;
7.Knowing Values and Public Inspection

机译：认识价值和公共检查
- 作者：Jan van Eijck;Malvin Gattinger;Yanjing Wang
- 会议名称：《Indian conference on logic and its applications》 | 2017年
- Knowing what;
- Bisimulation;
- Public announcement logic;
8.Random Models for Evaluating Efficient Buechi Universality Checking

机译：评估高效Buechi通用性检查的随机模型
- 作者：Corey Fisher;Seth Fogarty;Moshe Vardi
- 会议名称：《Indian conference on logic and its applications》 | 2017年
9.A Substructural Epistemic Resource Logic

机译：亚结构的认知资源逻辑
- 作者：Didier Galmiche;Pierre Kimmel;David Pym
- 会议名称：《Indian conference on logic and its applications》 | 2017年
10.Deriving Natural Deduction Rules from Truth Tables

机译：从真值表导出自然推导规则
- 作者：Herman Geuvers;Tonny Hurkens
- 会议名称：《Indian conference on logic and its applications》 | 2017年
11.A Semantic Analysis of Stone and Dual Stone Negations with Regularity

机译：规则的石头和双重石头否定的语义分析
- 作者：Arun Kumar;Mohua Banerjee
- 会议名称：《Indian conference on logic and its applications》 | 2017年
- Perp semantics;
- Regular double stone algebras;
12.Achieving While Maintaining: A Logic of Knowing How with Intermediate Constraints

机译：在维护的同时实现：具有中级约束知识的逻辑
- 作者：Yanjun Li;Yanjing Wang
- 会议名称：《Indian conference on logic and its applications》 | 2017年
13.Peirce's Sequent Proofs of Distributivity

机译：皮尔斯的分布证明
- 作者：Minghui Ma;Ahti-Veikko Pietarinen
- 会议名称：《Indian conference on logic and its applications》 | 2017年
- Peirce's rule;
- Distributivity;
- Sequent calculus;
- Alpha graphs;
14.On Semantic Gamification

机译：语义游戏化
- 作者：Ignacio Ojea Quintana
- 会议名称：《Indian conference on logic and its applications》 | 2017年
15.Ancient Indian Logic and Analogy

机译：古代印度逻辑与类比
- 作者：Jeff B. Paris;Alena Vencovska
- 会议名称：《Indian conference on logic and its applications》 | 2017年
16.Definability of Recursive Predicates in the Induced Subgraph Order

机译：诱导子图顺序中递归谓词的可定义性
- 作者：Ramanathan S. Thinniyam
- 会议名称：《Indian conference on logic and its applications》 | 2017年
17.Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic

机译：Halpern-Shoham逻辑的混合号角片段的计算复杂性
- 作者：Przemyslaw Andrzej Walega
- 会议名称：《Indian conference on logic and its applications》 | 2017年
- Interval logic;
- Hybrid logic;
- Computational complexity;
18.Preface

机译：前言
- 作者：Sujata Ghosh;Sanjiva Prasad
- 会议名称：《Indian conference on logic and its applications》 | 2017年