Abstracts Accepted for Presentation

1Manidipa Sanyal, Paraconsistency - a non-deviant system
2Debirupa Basu, Pure Imperative Arguments and their Validity
3Anahit Chubaryan and Armine Chubaryan, Comparative analysis of proof complexities for strongly equal tautologies in some proof systems of different logics
4Abhisekh Sankaran, Bharat Adsul and Supratik Chakraborty, A Generalization of the {\L}o{\'s}-Tarski Preservation Theorem
5Cameron Freer, Computable invariant measures and algorithmically random structures
6Jorge Cely, Applications of motivic integration to the fundamental lemma.
7Inkyo Chung, Problems for Dummett's and Prawitz's Proof-Theoretic Accounts of Validity
8Alexander P. Kreuzer, On iteration principles between Σ1- and Σ2-induction
9Jayanta Sen and Anirban Saha, Connection between Linear logic and Rough logic
10Minghui Ma and Zhe Lin, RESIDUATED BASIC LOGIC
11Yaron Shorr, Uddyotakara's logical model for constructing sound arguments
12Sebastian Enqvist and Sumit Sourabh, Bisimulation for topological coalgebras
13Emmanuel Genot and Justine Jacot, Game Semantics: A Cognitive Approach
14Yanjing Wang, Beyond "knowing that": non-standard epistemic logics
15Mani A, Probabilistic vs Rough Dependence
16Purbita 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
17Siddhartha Gadgil and Venkata Hanumanta Prathamesh Turaga, Knots Braids and First Order Logic
18Junguk Lee, Computation of H_1 in a circle with a distance notion
19Woosik Hyun, Gödel’s Philosophy of Mathematics: From Epistemology to Ontology
20Ranjan Mukhopadhyay, Validity and Novelty
21Tamoghna Halder, Investigating the Types of Strategic Reasoners through an Empirical Study
22Dmitrii Smelianskiy, Effectivity properties of intuitionistic set theory extended by various constructive principles
23Hyeungjoon Kim, Preservation of NTP_2 and strongness under the expansion by a dense/co-dense unary predicate
24Norbert Gratzl and Olivier Roy, On the relation between the logics of belief and knowledge
25Rohit Parikh and Yunqi Xue, Expert Influence in a Community
26Ningyuan Yao and Anand Pillay, minimal subflows for definably amenable groups in o-minimal theories
27Sankha Basu and Stephen Simpson, Mass problems and intuitionistic higher-order logic
28Priyedarshi Jetli, An Alternative Tarskian Demonstration of Liar’s Antinomy without Double Negation
29Gayatri Panicker, Venkata Krishna Kanduru and Purandar Bhaduri, A study on if-then-else over a ternary logic
30A V Sreejith and Kamal Lodaya, Counting quantifiers and linear arithmetic on word models
31Satoru Suzuki, Logic of Qualitative Conditional Probability and Nonstandard Probability
32Murali Ramachandran, How and Why I arrived at a Topsy Turvy Account of Even If
33Soma Dutta, A binary relation generating the notion of consistency: classical and fuzzy contexts