ICLA 2023

10th Indian Conference on Logic and its Applications


Indian Institute of Technology Indore, Image source Nalanda Auditorium

Home Programme Invited Speakers Call for Papers Accepted Papers Important Dates Registration Committee Contact About Indore




List of papers accepted for presentation in ICLA 2023

Bornali Paul and Sandip Paul. Fuzzy Free Logic with Dual Domain Semantics
Qian Chen and Minghui Ma. Modal Logic of Generalized Separated Topological Spaces
Hao Wu and Minghui Ma. An Infinity of Intuitionistic Connexive Logics
Ineke van der Berg, Andrea De Domenico,Giuseppe Greco, Krishna Balajirao Manoorkar, Alessandra Palmigiano and Mattia Panettiere. Labelled calculi for the logics of rough concepts
Manidipa Sanyal and Prabal Kumar Sen.. A New Dimension of Imperative Logic
Jeny Jacob and Manoj Changat.. Segment transit function of the induced path function of graphs and its first-order definability
Fan He. Multiple-valued Semantics for Metric Temporal Logic
Masiur Sardar.. Quasi-Boolean based models in Rough Set theory: A case of Covering
Hao Wu and Minghui Ma. Relational Semantics for Normal Topological Quasi-Boolean Logic
Debirupa Basu. Critique of MIRA: Some suggestions
Ramchandra Phawade, Tephilla Prince and Sheerazuddin S. L_UCS^1: A Monodic Logic for Bounded Model Checking of Unbounded Client-Server Systems

News and updates