#
**Abstracts Accepted for Presentation**

**Abstracts Accepted for Presentation**

1 | Manidipa Sanyal, Paraconsistency - a non-deviant system |

2 | Debirupa Basu, Pure Imperative Arguments and their Validity |

3 | Anahit Chubaryan and Armine Chubaryan, Comparative analysis of proof complexities for strongly equal tautologies in some proof systems of different logics |

4 | Abhisekh Sankaran, Bharat Adsul and Supratik Chakraborty, A Generalization of the {\L}o{\'s}-Tarski Preservation Theorem |

5 | Cameron Freer, Computable invariant measures and algorithmically random structures |

6 | Jorge Cely, Applications of motivic integration to the fundamental lemma. |

7 | Inkyo Chung, Problems for Dummett's and Prawitz's Proof-Theoretic Accounts of Validity |

8 | Alexander P. Kreuzer, On iteration principles between Σ1- and Σ2-induction |

9 | Jayanta Sen and Anirban Saha, Connection between Linear logic and Rough logic |

10 | Minghui Ma and Zhe Lin, RESIDUATED BASIC LOGIC |

11 | Yaron Shorr, Uddyotakara's logical model for constructing sound arguments |

12 | Sebastian Enqvist and Sumit Sourabh, Bisimulation for topological coalgebras |

13 | Emmanuel Genot and Justine Jacot, Game Semantics: A Cognitive Approach |

14 | Yanjing Wang, Beyond "knowing that": non-standard epistemic logics |

15 | Mani A, Probabilistic vs Rough Dependence |

16 | Purbita Jana and Mihir Chakraborty, Categorical relationships of fuzzy topological systems on fuzzy sets with fuzzy topological spaces on fuzzy sets and underlying algebras: A step towards many valued geometric logic |

17 | Siddhartha Gadgil and Venkata Hanumanta Prathamesh Turaga, Knots Braids and First Order Logic |

18 | Junguk Lee, Computation of H_1 in a circle with a distance notion |

19 | Woosik Hyun, Gödel’s Philosophy of Mathematics: From Epistemology to Ontology |

20 | Ranjan Mukhopadhyay, Validity and Novelty |

21 | Tamoghna Halder, Investigating the Types of Strategic Reasoners through an Empirical Study |

22 | Dmitrii Smelianskiy, Effectivity properties of intuitionistic set theory extended by various constructive principles |

23 | Hyeungjoon Kim, Preservation of NTP_2 and strongness under the expansion by a dense/co-dense unary predicate |

24 | Norbert Gratzl and Olivier Roy, On the relation between the logics of belief and knowledge |

25 | Rohit Parikh and Yunqi Xue, Expert Influence in a Community |

26 | Ningyuan Yao and Anand Pillay, minimal subflows for definably amenable groups in o-minimal theories |

27 | Sankha Basu and Stephen Simpson, Mass problems and intuitionistic higher-order logic |

28 | Priyedarshi Jetli, An Alternative Tarskian Demonstration of Liar’s Antinomy without Double Negation |

29 | Gayatri Panicker, Venkata Krishna Kanduru and Purandar Bhaduri, A study on if-then-else over a ternary logic |

30 | A V Sreejith and Kamal Lodaya, Counting quantifiers and linear arithmetic on word models |

31 | Satoru Suzuki, Logic of Qualitative Conditional Probability and Nonstandard Probability |

32 | Murali Ramachandran, How and Why I arrived at a Topsy Turvy Account of Even If |

33 | Soma Dutta, A binary relation generating the notion of consistency: classical and fuzzy contexts |