ICLA

Keyphrases

Publications

2023

R. Ramanujam
Big Ideas from Logic for Mathematics and Computing Education. ICLA (2023)
Hao Wu, Minghui Ma
An Infinity of Intuitionistic Connexive Logics. ICLA (2023)
Mihir Kumar Chakraborty
A Note on the Ontology of Mathematics. ICLA (2023)
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Labelled Calculi for the Logics of Rough Concepts. ICLA (2023)
Sandra Müller
Determinacy Axioms and Large Cardinals. ICLA (2023)
Masiur Rahaman Sardar
Quasi-Boolean Based Models in Rough Set Theory: A Case of Covering. ICLA (2023)
Shikha Singh, Kamal Lodaya, Deepak Khemani
Two Ways to Scare a Gruffalo. ICLA (2023)
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
Labelled Calculi for Lattice-Based Modal Logics. ICLA (2023)
Hao Wu, Minghui Ma
Relational Semantics for Normal Topological Quasi-Boolean Logic. ICLA (2023)
Jeny Jacob, Manoj Changat
Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability. ICLA (2023)
Supratik Chakraborty
Boolean Functional Synthesis: From Under the Hood of Solvers. ICLA (2023)
Qian Chen, Minghui Ma
Modal Logic of Generalized Separated Topological Spaces. ICLA (2023)
Fan He
Multiple-Valued Semantics for Metric Temporal Logic. ICLA (2023)
Manidipa Sanyal, Prabal Kumar Sen
A New Dimension of Imperative Logic. ICLA (2023)
Bornali Paul, Sandip Paul
Fuzzy Free Logic with Dual Domain Semantics. ICLA (2023)

volume 13963, 2023

Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings ICLA 13963 (2023)

2019

volume 11600, 2019

Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings ICLA 11600 (2019)

2017

volume 10119, 2017

Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings ICLA 10119 (2017)