长垣产业园区科技文献服务平台
主页
文献资源
外文期刊
外文会议
中文期刊
专业机构
起重机械
智能制造
高级检索
关于我们
版权声明
使用帮助
会议文集
文集名
Logic and Its Applications
会议名
8th Indian Conference on Logic and Its Applications (ICLA 2019)
中译名
《第八届逻辑及其应用印度会议》
会议日期
March 1-5, 2019
会议地点
Delhi, India
出版年
2019
馆藏号
330139
题名
作者
出版年
Unification in Modal Logic
Philippe Balbiani
2019
Propositional Modal Logic with Implicit Modal Quantification
Anantha Padmanabha; R. Ramanujam
2019
Infinite Liar in a (Modal) Finitistic Setting
Michal Tomasz Godziszewski; Rafal Urbaniak
2019
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5
Zhe Lin; Mihir Kumar Chakraborty
2019
Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results
Martin Lange
2019
A Modal Aleatoric Calculus for Probabilistic Reasoning
Tim French; Andrew Gozzard; Mark Reynolds
2019
Public Announcements for Epistemic Models and Hypertheories
Nenad Savic; Thomas Studer
2019
Revisiting the Generalized Los-Tarski Theorem
Abhisekh Sankaran
2019
Model Theory for Sheaves of Modules
Mike Prest
2019
Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey
Ian Pratt-Hartmann
2019
The Undecidability of F03 and the Calculus of Relations with Just One Binary Relation
Yoshiki Nakamura
2019
Satisfaction Classes via Cut Elimination
Cezary Cieslinski
2019
Sequent Calculi for Normal Update Logics
Katsuhiko Sano; Minghui Ma
2019
Logics for Rough Concept Analysis
Giuseppe Greco; Peter Jipsen; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis
2019
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks
Jasine Babu; Karunakaran Murali Krishnan; Vineeth Paleri
2019
Logic Without Language
Rohit Parikh
2019
Towards a Constructive Formalization of Perfect Graph Theorems
Abhishek Kr Singh; Raja Natarajan
2019
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
机械工业信息研究院 2018-2024