掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Indian Conference on Logic and Its Applications
Indian Conference on Logic and Its Applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Instantial Relevance in Polyadic Inductive Logic
机译:
多亚奇电感逻辑中的瞬间相关性
作者:
Jurgen Landes
;
Jeff Paris
;
Alena Vencovska
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
关键词:
Instantial Relevance;
Spectrum Exchangeability;
Inductive Logic;
Probability Logic;
Uncertain Reasoning;
2.
Towards Decidability of Conjugacy of Pairs and Triples
机译:
朝着对和三元组共轭的可辨
作者:
Benny George Kenkireth
;
Samrith Ram
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
3.
A General Setting for the Pointwise Investigation of Determinacy
机译:
关于决定性的一般设置
作者:
Yurii Khomskii
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
4.
Gautama - Ontology Editor Based on Nyaya Logic
机译:
Gautama - 基于Nyaya Logic的Ontology编辑器
作者:
G. S. Mahalakshmi
;
T. V. Geetha
;
Arun Kumar
;
Dinesh Kumar
;
S. Manikandan
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
关键词:
Indian logic;
Nyaya Sastra;
NORM;
Ontology;
5.
Knowledge, Games and Tales from the East
机译:
来自东方的知识,游戏和故事
作者:
Rohit Parikh
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
6.
A Para Consistent Fuzzy Logic
机译:
Para一致的模糊逻辑
作者:
Esko Turunen
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
关键词:
Mathematical fuzzy logic;
Para consistent sentential logic;
MV-algebra;
7.
The Art of Non-asserting: Dialogue with Nagarjuna
机译:
非断言的艺术:与Nagarjuna对话
作者:
Marie-Helene Gorisse
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
8.
Machine Checking Proof Theory: An Application of Logic to Logic
机译:
机器检查证明理论:逻辑应用于逻辑
作者:
Rajeev Gore
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
9.
A Two-Dimensional Hybrid Logic of Subset Spaces
机译:
子集空间的二维混合逻辑
作者:
Yi N. Wang
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
关键词:
Hybrid logic;
Two-sorted hybrid language;
Logic of subset spaces;
Gentzen system for hybrid logic;
10.
A Unified Framework for Certificate and Compilation for QBF
机译:
QBF的证书和编译的统一框架
作者:
Igor Stephan
;
Benoit Da Mota
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
11.
Connection Matrices for MSOL-Definable Structural Invariants
机译:
用于MSOL-可定义的结构不变的连接矩阵
作者:
Johann Makowsky
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
12.
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming
机译:
原因差异差异缺陷探索争论游戏的正式定义
作者:
G. S. Mahalakshmi
;
T. V. Geetha
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
关键词:
Indian logic;
Nyaya Sastra;
Reason fallacies;
Defect;
Argumentation;
13.
From Philosophical to Industrial Logics
机译:
从哲学到工业逻辑
作者:
Moshe Y. Vardi
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
14.
An Analytic Logic of Aggregation
机译:
分析逻辑的聚合
作者:
Patrick Girard
;
Jeremy Seligman
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
关键词:
Preference logic;
Lexicographic aggregation;
Hybrid modal logic;
Sequent calculus;
Analytic proof theory;
15.
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic
机译:
格子值逻辑和晶格值型号逻辑的代数研究
作者:
Yoshihiro Maruyama
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
16.
Some Second Order Set Theory
机译:
一些二阶设定理论
作者:
Joel David Hamkins
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
17.
Game Quantification Patterns
机译:
游戏量化模式
作者:
Dietmar Berwanger
;
Sophie Pinchinat
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
18.
Extensive Questions From Research Agendas to Interrogative Strategies
机译:
从研究议程到疑问策略的广泛问题
作者:
Emmanuel J. Genot
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
19.
Decisions, Actions, and Games: A Logical Perspective
机译:
决策,行动和游戏:逻辑视角
作者:
Johan van Benthem
会议名称:
《Indian Conference on Logic and Its Applications》
|
2009年
20.
Infinite Games and Uniformization
机译:
无限游戏和统一化
作者:
Wolfgang Thomas
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
21.
Four Corners - East and West
机译:
四个角落 - 东西和西
作者:
Graham Priest
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
关键词:
Catuskoti;
Buddhist logic;
Nagarjuna;
First Degree Entailment;
Many-valued logic;
Relational semantics;
22.
A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic
机译:
关于纳撒利亚的多亚辅助逻辑中的不变原理的说明
作者:
Jeff B. Paris
;
Alena Vencovska
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
关键词:
Nathanial's Invariance Principle;
Symmetry;
Polyadic Inductive Logic;
Probability Logic;
Logical Probability;
Rationality;
23.
Semantics Based on Conceptual Spaces
机译:
基于概念空间的语义
作者:
Peter Gardenfors
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
24.
Logic in the Community
机译:
社区中的逻辑
作者:
Jeremy Seligman
;
Fenrong Liu
;
Patrick Girard
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
25.
Sensible Semantics of Imperfect Information On a Formal Feature of Meanings
机译:
关于含义形式特征的不完美信息的明智语义
作者:
Pietro Galliani
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
26.
The Logic of Campaigning
机译:
竞选逻辑
作者:
Walter Dean
;
Rohit Parikh
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
27.
A Modal Logic for Multiple-Source Tolerance Approximation Spaces
机译:
多源公差近似空间的模态逻辑
作者:
Md. Aquil Khan
;
Minghui Ma
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
28.
Contextual Coalitional Games
机译:
上下文外立游戏
作者:
Patrick Doherty
;
Tomasz Michalak
;
Jacek Sroka
;
Andrzej Szalas
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
29.
First-Order Inquisitive Pair Logic
机译:
一阶好奇对逻辑
作者:
Katsuhiko Sano
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
30.
The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift
机译:
从Boole完成现代逻辑的出现的逻辑的数学分析对Frege's Begriffsschrift的数学分析
作者:
Priyedarshi Jetli
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
关键词:
Boole;
Frege;
Conditional;
Modus ponens;
Propositional calculus;
Quantifiers;
Function and argument;
Axioms;
31.
On Fuzzy Sets and Rough Sets from the Perspective of Indiscernibility
机译:
从难以辨证的角度看模糊套和粗糙集
作者:
Mihir K. Chakraborty
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
32.
Ultrafilter Extensions of Models
机译:
超滤型号的延伸
作者:
Denis I. Saveliev
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
33.
Becoming Aware of Propositional Variables
机译:
意识到命题变量
作者:
Hans van Ditmarsch
;
Tim French
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
34.
Reasoning about Protocol Change and Knowledge
机译:
关于协议变更和知识的推理
作者:
Yanjing Wang
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
35.
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity
机译:
命题动态逻辑的随机解释:富有症状
作者:
Ernst-Erich Doberkat
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
36.
A Qualitative Approach to Uncertainty
机译:
对不确定性的定性方法
作者:
Sujata Ghosh
;
Fernando R. Velazquez-Quesada
会议名称:
《Indian Conference on Logic and Its Applications》
|
2011年
37.
Constructive Decision Theory
机译:
建设性决策理论
作者:
Lawrence E. Blume
;
David A. Easley
;
Joseph Y. Halpern
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
38.
On Kripke's Puzzle about Time and Thought
机译:
关于时间和思想的Kripke的拼图
作者:
Rohit Parikh
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
39.
A Note on Axiomatisations of Two-Dimensional Modal Logics
机译:
关于二维模态逻辑的公理化的注意事项
作者:
Agi Kurucz
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
40.
Moving Up and Down in the Generic Multiverse
机译:
在通用多层上升和下降
作者:
Joel David Hamkins
;
Benedikt Lowe
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
41.
Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System
机译:
模糊预订,模糊拓扑和模糊过渡系统
作者:
S. P. Tiwari
;
Anupam K. Singh
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
42.
Forcing Axioms, Finite Conditions and Some More
机译:
强制公理,有限条件等等
作者:
Mirna Dzamonja
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
关键词:
Forcing;
Proper;
Semiproper;
Iteration;
Support;
43.
Probabilistic IF Logic
机译:
概率IF逻辑
作者:
Gabriel Sandu
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
44.
Agent-Time Epistemics and Coordination
机译:
代理时间认识学和协调
作者:
Ido Ben-Zvi
;
Yoram Moses
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
45.
Noninterference for Intuitionist Necessity
机译:
直觉的必要性
作者:
Radha Jagadeesan
;
Corin Pitcher
;
James Riely
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
46.
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms
机译:
用部分术语的平等和逻辑削减entzen的序列演算的消除
作者:
Franco Parlamento
;
Flavio Previale
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
关键词:
Sequent Calculus;
Equality;
Cut Elimination;
47.
Dynamic Epistemic Logic for Channel-Based Agent Communication
机译:
基于频道的代理通信的动态认知逻辑
作者:
Katsuhiko Sano
;
Satoshi Tojo
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
48.
Subset Space Logic with Arbitrary Announcements
机译:
子集空间逻辑,具有任意通知
作者:
Philippe Balbiani
;
Hans van Ditmarsch
;
Andrey Kudinov
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
49.
Yablo Sequences in Truth Theories
机译:
真理理论的Yablo序列
作者:
Cezary Cieslinski
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
关键词:
Truth;
Yablo's paradox;
Omega-liar;
50.
Bisimulation and Coverings for Graphs and Hypergraphs
机译:
图形和超图的分发和覆盖
作者:
Martin Otto
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
51.
Logic of Non-monotonic Interactive Proofs
机译:
非单调互动证明的逻辑
作者:
Simon Kramer
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
关键词:
Agents as proof- and signature-checkers;
Constructive Kripke-semantics;
Interpreted communication;
Multi-agent distributed systems;
Interactive and oracle computation;
Proofs as sufficient evidence;
52.
Subset Space Public Announcement Logic
机译:
子集空间公共公告逻辑
作者:
Yi N. Wang
;
Thomas Agotnes
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
关键词:
Subset space logic;
Epistemic logic;
Public announcement logic;
Expressivity;
Arbitrary announcements;
Topology;
53.
Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
机译:
多价逻辑,模糊逻辑和评分后果:比较评估
作者:
Soma Dutta
;
Sanjukta Basu
;
Mihir Kr. Chakraborty
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
54.
Public Announcements for Non-omniscient Agents
机译:
非无关代理的公告
作者:
Fernando R. Velazquez-Quesada
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
55.
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
机译:
构建基于古典或直觉逻辑的上下文限制的剪切免费搜索系统
作者:
Bjorn Lellmann
;
Dirk Pattinson
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
56.
The Birth of Proof: Modality and Deductive Reasoning
机译:
证据诞生:偶尔和演绎推理
作者:
Adriane Rini
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
关键词:
History of logic;
Necessity;
Consequence;
Aristotle;
Syllogistic;
Modality;
57.
Indiscrete Models: Model Building and Model Checking over Linear Time
机译:
不置于模型:模型建设和模型检查线性时间
作者:
Tim French
;
John McCabe-Dansted
;
Mark Reynolds
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
58.
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge
机译:
基于TableAux的单粒性线性时间同步时间认知逻辑与交互时间和知识的基于Tableaux的决策方法
作者:
Mai Ajspur
;
Valentin Goranko
会议名称:
《Indian Conference on Logic and Its Applications》
|
2013年
59.
Satisfaction Classes via Cut Elimination
机译:
通过裁员消除满意度课程
作者:
Cezary Ciesliński
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
techniques;
formal proof theory;
construction;
60.
Sequent Calculi for Normal Update Logics
机译:
正常更新逻辑的搜索结算
作者:
Katsuhiko Sano
;
Minghui Ma
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
property;
sequent;
sequent calculi;
61.
Public Announcements for Epistemic Models and Hypertheories
机译:
认证模型和超理论的公开公告
作者:
Nenad Savic
;
Thomas Studer
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Modal logic;
Public announcements;
Epistemic models;
Hypertheories;
62.
Propositional Modal Logic with Implicit Modal Quantification
机译:
具有隐式模态量化的命题模态逻辑
作者:
Anantha Padmanabha
;
R. Ramanujam
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Term modal logic;
Implicitly quantified modal logic;
Bisimulation invariance;
Bundled fragment;
63.
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5
机译:
用于拓扑准布尔代数5的有限嵌入性财产
作者:
Zhe Lin
;
Mihir Kumar Chakraborty
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
structures;
rough algebras;
algebras;
64.
Towards a Constructive Formalization of Perfect Graph Theorems
机译:
迈向完美图定理的建设性形式化
作者:
Abhishek Kr Singh
;
Raja Natarajan
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
adding;
axiom;
Weak Perfect Graph Theorem;
65.
A Modal Aleatoric Calculus for Probabilistic Reasoning
机译:
概率推理的模态梯形微积分
作者:
Tim French
;
Andrew Gozzard
;
Mark Reynolds
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Probabilistic modal logic;
Proof theory;
Multi-agent systems;
66.
Infinite Liar in a (Modal) Finitistic Setting
机译:
INFINITATINE骗子(模态)有限的设置
作者:
Michal Tomasz Godziszewski
;
Rafal Urbaniak
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Axiomatic theories of truth;
Paradoxes;
Yablo's paradox;
Finitism;
Potential infinity;
67.
The Undecidability of F03 and the Calculus of Relations with Just One Binary Relation
机译:
F03的不可逃号和与一个二进制关系的关系差异
作者:
Yoshiki Nakamura
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
First-order logic;
The calculus of relations;
Undecidability;
68.
Revisiting the Generalized Los-Tarski Theorem
机译:
重新审视广义LOS-TATSKI定理
作者:
Abhisekh Sankaran
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Los-Tarski theorem;
k-hereditary;
k-ary cover;
Chain;
69.
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks
机译:
数据流框架中表达式的Herbrand等价的修订点特征
作者:
Jasine Babu
;
Karunakaran Murali Krishnan
;
Vineeth Paleri
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Herbrand equivalence;
Data flow framework;
Fix-point;
70.
Model Theory for Sheaves of Modules
机译:
模型理论的模块
作者:
Mike Prest
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Model theory;
Sheaves;
Multisorted;
Modules;
71.
Logic Without Language
机译:
没有语言的逻辑
作者:
Rohit Parikh
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
inferences;
decisions;
perceived facts;
72.
Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results
机译:
使用模态fixpoint逻辑指定程序属性:结果调查
作者:
Martin Lange
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
favour;
specification;
natural;
73.
Logics for Rough Concept Analysis
机译:
粗糙概念分析的逻辑
作者:
Giuseppe Greco
;
Peter Jipsen
;
Krishna Manoorkar
;
Alessandra Palmigiano
;
Apostolos Tzimoulis
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Rough set theory;
Formal Concept Analysis;
Modal logic;
Lattice-based logics;
Algebras for rough sets;
Proper display calculi;
74.
Unification in Modal Logic
机译:
模态逻辑统一
作者:
Philippe Balbiani
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
Modal logics;
Unification problem;
Elementary unification;
Unification with constants;
Computability of unification;
Unification type;
75.
Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey
机译:
一阶逻辑可解断碎片中的传递和等价:调查
作者:
Ian Pratt-Hartmann
会议名称:
《Indian Conference on Logic and Its Applications》
|
2019年
关键词:
First-order logic;
Transitivity;
Equivalence;
Complexity;
意见反馈
回到顶部
回到首页