8th Indian Conference on Logic and Its Applications (ICLA 2019) | www.gmachineinfo.com

会议文集

文集名	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