Papers Accepted for Presentation
1 | Prasanta S. Bandyopadhyay, R Venkata Raghavan, Don Wallace Dcruz and Gordon Brittan, Truths about Simpson's Paradox: Saving the Paradox from Falsity |
2 | Hans van Ditmarsch, Sophia Knight and Aybüke Özgün, Arbitrary Announcements on Topological Subset Spaces |
3 | Soma Dutta, Benjamin R. C. Bedregal and Mihir Kr. Chakraborty, Some instances of graded consequence in the context of interval-valued semantics |
4 | Jie Fan and Hans van Ditmarsch, Neighborhood Contingency Logic |
5 | Sujata Ghosh, Tamoghna Halder, Khyati Sharma and Rineke Verbrugge, Backward and forward induction: Bridging vantages of empirical and formal studies |
6 | Miika Hannula, Hierarchies in inclusion logic with lax semantics |
7 | Meenal Katarnikar, Investigation into the Nature of Syadvada (the Jaina theory) as the Alternative System of Logic |
8 | Md. Aquil Khan, A Modal Logic for Non-deterministic Information Systems |
9 | Minghui Ma, Katsuhiko Sano, Francois Schwarzentruber and Fernando R. Velázquez-Quesada, Tableaux for non-normal public announcement logic |
10 | Rohit Parikh and Aránzazu San Ginés Ruiz, A pragmatistic approach to propositional knowledge based on the successful behavior of belief |
11 | Venkat Parvatam, Reasoning about Concepts: A Modal Logic Approach |
12 | Alexander Schimpf and Jan-Georg Smaus, Büchi Automata Optimisations Formalised in Isabelle/HOL |
13 | Jaron Schorr, Nyāya's logical model for Ascertaining Sound Arguments |
14 | Paul Schweizer, Negative Existentials and Non-denoting Terms |
15 | Sourav Tarafder, Ordinals in an algebra-valued model of a paraconsistent set theory |
16 | Alena Vencovska, An Extension of Carnap's Continuum to Binary Predicates |
17 | Yanjing Wang, Representing Imperfect Information of Procedures with Hyper Models |
18 | Yun Zhang and Minghui Ma, Intuitionistic Public Announcement Monotonic Modal Logic |
Downloads