ICLA 2021

9th Indian Conference on Logic and its Applications



About the artist: V.S. Gaitonde (1924-2001), Image source (Courtesy: sothebys.com)


Home Programme Invited Speakers Panel discussions Call for Papers Accepted Papers Important dates Registration Committee Contact



Programme

The times mentioned below are all in Indian Standard Time (IST).
IST = GMT + 5 hours 30 minutes (e.g., 1400 IST = 0830 GMT).

March 4, 2021 (Thursday)
14:00 - 15:00 Invited talk: Agata Ciabattoni (Bio)
Agata Ciabattoni is Full Professor at the Faculty of Informatics of the Vienna University of Technology. In 2011 she has been awarded a START prize, the highest Austrian award for early career researchers, for her project None classical proofs: Theory, Applications and Tools.

Normative reasoning in Mīmāṃsā: A deontic logic approach
Normative statements, which involve concepts such as obligation and prohibition, are enormously important in a variety of fields—from law and ethics to artificial intelligence. Reasoning with and about them requires deontic logic, which is a quite recent area of research. By contrast, for more than two millennia, one of the most important systems of Indian philosophy focused on analyzing normative statements. Mīmāṃsā, as it is called, looks at these statements found in the Vedas, the sacred texts of Hinduism, and interprets them by explaining precisely what course of action they require. In my talk I will discuss connections and synergies between Mīmāṃsā and deontic logic. The results I am going to present arise from a collaboration between logicians, sanskritists and computer scientists.
(Slides)
Chair: S P Suresh
15:00 - 15:30 BREAK and Meet on Gather
15:30 - 17:00 Panel on logic education
Moderator:
Serafina Lapenta (Bio)
Serafina Lapenta obtained her PhD in mathematical logic in 2015 under the supervision of Antonio Di Nola. Her research activity mainly focuses on many-valued logic, working on Łukasiewicz logic from the different points of view given by functional analysis, polyhedral geometry, decision theory and general algebra. She is currently a researcher at University of Salerno, working on the project "A logical approach to probability". She has also been involved in outreaching activities, aimed at general public and high school students, focusing on the logical aspects of teaching mathematics.

Other Panelists:
- Viviane Durand-Guerrier (Bio):
Viviane Durand-Guerrier is an Emeritus Professor at the University of Montpellier (France). She is a member of the IMAG (Institut Montpelliérain Alexander Grothendieck). Her main research interest is the study of the relationships between logic, language, argumentation, proof and mathematics teaching and learning from primary school to university. She is the coordinator of the INDRUM network (International Network for Didactic Research in University Mathematics).
The place of logic in school curricula and advocacy for logic at school
A common view is that the learning of mathematics at school is sufficient to develop the logical skills required by advanced mathematics studies. However there is research based-evidence that it is not the case. On another side, several authors acknowledge that teaching logic in separate module does not necessarily improve students’ mathematical reasoning. This lead to introduce elements of logic inside the mathematics curriculum and to propose activities aiming to make students experience the intertwining between mathematics contents and logical skills. I will provide some examples of such activities, for class and for teacher training.
(Slides)
- François Schwarzentruber (Bio):
TBA
Use of tools in teaching logic
Logic is the root of computer science and has many direct applications: database, program design and verification, architecture, constraint solving, theorem proving, machine learning, etc. In this talk, we will make a tour on existing tools that shows the applicability of logics, and thus could motivate students to study logic. We then show how tools can be used for students to grasp theoretical foundations of logic. We will then discuss some guidelines for the future of tools for teaching logic.
(Slides)
- John Slaney (Bio):
TBA
Introductory logic: opportunity and challenge
This is a talk from my personal perspective, drawing on the experience of teaching elementary logic to university students. One of the main pedagogic difficulties we face is the diversity of backgrounds of our students: it is hard to pitch the course simultaneously to philosophy, mathematics and computing majors, and with the increasing popularity of logic this diversity of backgrounds is also increasing. The online tool 'Logic for Fun’ is intended to appeal to students across the range of disciplinary backgrounds, introducing them to the art of using the resources of first order logic to express and solve problems. I describe the tool and report briefly on the experience of using it over ten years of introductory logic courses.
17:00 - 17:30 BREAK and Meet on Gather
17:30 - 18:30 Invited talk: Thomas Schwentick (Bio)
Thomas Schwentick works in several areas where Mathematical Logic meets Computer Science, particularly in Database Theory. He often studies questions that concern the expressiveness of logical languages together with the computational complexity of related algorithmic problems. He has been a professor for Theoretical Computer Science at TU Dortmund University (Germany) since 2005. He graduated in Mathematics at the Johannes Gutenberg University in Mainz (Germany), where he also finished his PhD and his habilitation. Before he moved to his current position, he had professor positions in Jena and Marburg. He currently serves as president of the European Association for Computer Science Logic.

Dynamic Complexity: Basics and recent directions

In most real-life databases data changes frequently and thus makes efficient query answering challenging. Auxiliary data might help to avoid computing query answers from scratch all the time. One way to study this incremental maintenance scenario is from the perspective of dynamic algorithms with the goal to reduce (re-) computation time.

Another option is to investigate it from the perspective of logic. Since first-order logic corresponds to the core of the standard database query language SQL, one naturally arrives at the question which queries can be answered/maintained dynamically with first-order predicate logic (DynFO) [1,2]. This approach has been termed "dynamic complexity" in the literature [1].

The talk gives an introduction into dynamic complexity and presents and discusses old and recent methods and results [3,4,5,6,7,8].

[1] Sushant Patnaik and Neil Immerman. Dyn-FO: A parallel, dynamic complexity class. J. Comput. Syst. Sci., 55(2):199--209, 1997.

[2] Guozhu Dong and Jianwen Su. Incremental and decremental evaluation of transitive closure by first-order queries. Inf. Comput., 120(1):101--106, 1995.

[3] Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume: Reachability Is in DynFO. J. ACM 65(5): 33:1-33:24 (2018)

[4] Thomas Schwentick, Nils Vortmeier, Thomas Zeume: Dynamic Complexity under Definable Changes. ACM Trans. Database Syst. 43(3): 12:1-12:38 (2018)

[5] Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume: A Strategy for Dynamic Programs: Start over and Muddle through. ICALP 2017.

[6] Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume: Reachability and Distances under Multiple Changes. ICALP 2018: 120:1-120:14

[7] Thomas Schwentick, Nils Vortmeier, Thomas Zeume: Sketches of Dynamic Complexity. SIGMOD Rec. 49(2): 18-29 (2020)

[8] Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume: Work-sensitive Dynamic Complexity of Formal Languages. CoRR abs/2101.08735 (2021), to appear in FoSSaCS 2021

(Slides)
Chair: Anuj Dawar
18:30 - 20:30 BREAK and Meet on Gather
20:30 - 21:30 Invited talk: Adnan Darwiche (Bio)
Adnan Darwiche is a professor and former chairman of the computer science department at UCLA. He directs the Automated Reasoning Group, which focuses on symbolic and probabilistic reasoning and their applications to machine learning. Professor Darwiche is Fellow of AAAI and ACM. He is a former editor-in-chief of the Journal of Artificial Intelligence Research (JAIR) and author of "Modeling and Reasoning with Bayesian Networks," by Cambridge University Press. His group’s YouTube Channel can be found here.

Reasoning about what was learned
The traditional role of logic in AI has been to represent and reason with categorical knowledge about the world, putting it in competition with other formalisms such as probabilistic reasoning that deals with uncertainty and machine learning that relies on learning from data instead of explicit knowledge. The landscape has been changing recently with logic playing a broader role that complements these formalisms. For example, logic and symbolic manipulations have been providing a computational foundation for probabilistic reasoning and new approaches have been emerging for learning from a combination of categorical knowledge and data. In this talk, I will briefly review these additional roles and then focus on the use of logic for meta reasoning about what was learned. This role of logic has been facilitated by new advances that compile the input-output behavior of some machine learning systems into logical representations, allowing one to explain the decisions made by these systems, reason about their robustness and validate some of their properties (e.g., whether they are biased or monotonic).
(Slides)
Chair: Wiebe van der Hoek
March 5, 2021 (Friday)
14:00 - 15:00 Invited talk: Marta Kwiatkowska (Bio)
Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of model checking for probabilistic systems, focusing on automated techniques for verification and synthesis from quantitative specifications. She led the development of the PRISM model checker, the leading software tool in the area and winner of the HVC Award 2016. Probabilistic model checking has been adopted in diverse fields, including distributed computing, wireless networks, security, robotics, healthcare, systems biology, DNA computing and nanotechnology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska is the first female winner of the Royal Society Milner Award, winner of the BCS Lovelace Medal and was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm. She won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a coinvestigator of the EPSRC Programme Grant on Mobile Autonomy. Kwiatkowska is a Fellow of the Royal Society, Fellow of ACM, EATCS and BCS, and Member of Academia Europea.

Probabilistic model checking for strategic equilibria-based decision making
Software faults have plagued computing systems since the early days, leading to the development of methods based on mathematical logic, such as proof assistants or model checking, to ensure their correctness. The rise of AI calls for automated decision making that incorporates strategic reasoning and coordination of behaviour of multiple autonomous agents acting concurrently and in presence of uncertainty. Traditionally, game-theoretic solutions such as Nash equilibria are employed to analyse strategic interactions between multiple independent entities, but model checking tools for scenarios exhibiting concurrency, stochasticity and equilibria have been lacking. This lecture will focus on a recent extension of probabilistic model checker PRISM-games, which supports quantitative reasoning and strategy synthesis for concurrent multiplayer stochastic games against temporal logic that can express coalitional, zero-sum and equilibria-based properties. Game-theoretic models arise naturally in the context of autonomous computing infrastructure, including user-centric networks, robotics and security. Using illustrative examples, this lecture will give an overview of recent progress in probabilistic model checking for stochastic games and highlight challenges and opportunities for the future.
(Slides)
Chair: Prakash Saivasan
15:00 - 15:30 BREAK and Meet on Gather
15:30 - 17:00 Contributed talks
- Isabella McAllister and Patrick Girard. AGM Belief Revision About Logic (Slides)
- Abhisekh Sankaran. Feferman-Vaught decomposition for prefix classes of first order logic (Slides)
- Sayantan Roy. On the Characterizations of Tarski-type and Lindenbaum-type Logical Structures (Slides)
- Antonio Di Nola, Serafina Lapenta and Giacomo Lenzi. Dualities and logical aspects of Baire functions (Slides)
- Nikolay Bazhenov. On computability-theoretic properties of Heyting algebras (Slides)
- Sreehari K and Kamal Lodaya. Plenitude (Slides)
Chair: Sourav Chakraborty
17:00 - 17:30 BREAK and Meet on Gather
17:30 - 18:30 Contributed talks
- Jie Fan, Davide Grossi, Barteld Kooi, Xingchi Su and Rineke Verbrugge. Commonly Knowing Whether (Slides)
- Hans van Ditmarsch, Didier Galmiche and Marta Gawek. An Epistemic Separation Logic with Action Models (Slides)
- Masanobu Toyooka and Katsuhiko Sano. Analytic Multi-Succedent Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic (Slides)
- Santiago Jockwich Martinez, Sourav Tarafder and Giorgio Venturi. Quotient models for a class of non-classical set theories (Slides)
Chair: Md. Aquil Khan
18:30 - 20:30 BREAK and Meet on Gather
20:30 - 21:30 Invited talk: Julia Knight (Bio)
Julia Knight grew up in Logan, Utah. When she was in her first year of high school, in 1957, Russia gave to the scientific community in the U.S. a huge gift — Sputnik. Suddenly, funding increased, and everyone with interest and ability in science and mathematics was encouraged to study these things. She majored in mathematics at Utah State. For graduate school, she went to Berkeley, a tremendously exciting place for mathematics, and for the social atmosphere. Her advisor was Robert Vaught. Julia Robinson was also a mentor. She started off in model theory. As a model theorist, Julia Knight especially liked problems that involved constructing models. Later, she switched to computability theory. She still likes problems that involve constructing models. She has been on the faculty at Notre Dame since 1977. She has been an advisor to 18 students who have completed the PhD, with one more likely to finish next year. During the past 20 years, she has been involved in a series of NSF grants aimed at fostering collaboration among researchers in computability from the U.S., Russia, Kazakhstan, and, more recently, Bulgaria. The joint work that has resulted from these grants, and the friendships that she now has with international collaborators, mean a great deal to her. She is the current president of Association for Symbolic Logic.

Describing structures and classes of structures

The talk will provide an overview of notions and results related to the following:

- describing a specific countable structure, up to isomorphism,

- describing a class of countable structures, closed under isomorphism,

- classifying the members of a given class, giving invariants that distinguish the members from each other, up to isomorphism.

The notions and results will all be illustrated with examples involving familiar kinds of mathematical structures -- groups, fields, graphs.

(Slides)
Chair: Amit Kuber
March 6, 2021 (Saturday)
14:00 - 15:00 Invited talk: Hans van Ditmarsch (Bio)
Hans van Ditmarsch is a senior researcher at CNRS (the French National Research Organization), and based at LORIA in Nancy, where he is heading the research team CELLO (Computational Epistemic Logic in LOrraine). He has for a long time been affiliated to IMSc (Institute for Mathematical Sciences), in Chennai. His research is on the dynamics of knowledge and belief, information-based security protocols, modal logics, and combinatorics. He has been the recipient of an ERC (European Research Council) starting grant Epistemic Protocol Synthesis, and he has been an editor of the Journal of Philosophical Logic. He is an author of 'Dynamic Epistemic Logic', an editor of the 'Handbook of Epistemic Logic', and an author of the puzzle book 'One Hundred Prisoners and a Light Bulb'.

Dynamic epistemic logic for distributed computing - asynchrony and concurrency
We will present some recent work on asynchrony and concurrency in dynamic epistemic logics (DEL), building on foundations in distributed computing and combining threads in dynamic logics and temporal epistemic logics. One way to model asynchrony in DEL is to reasoning over histories of actions of different length. Within DEL there has been work on asynchronous protocol-generated forests along different depths of trees (older work by Witzel and others, recent work by Pinchinat and others), and hovering in between DEL and PDL there is more recent work applied to gossip protocols by Apt and others, and vD and others. An entirely different emerging thread involving histories of different length is within combinatorial topology, namely DEL-motivated modellings of algorithms in distributed computing such as the immediate snapshot algorithm, by Rajsbaum and others. A different kind of DEL asynchrony involves separating in the logical language the sending and receiving of messages, such as announcements. We present recent proposals by Knight and others, and Balbiani and others. Topics of interest there are axiomatization, reduction (elimination of dynamic modalities) and complexity, and also generalizations to communications between intersecting subgroups of agents building on older work involving Mukund, and Ramanujam. A modelling solution wherein knowing a proposition is identified with acknowledging receipt can be demonstrated by, what else, the Muddy Children problem. Finally, the Muddy Children problem also perfectly illustrates issues with concurrency in DEL: the action of n muddy children not stepping forward because none of them know whether they are muddy, is always modelled as the public announcement of a conjunction with n conjuncts. Should this not be a concurrent action with n components?
(Slides)
Chair: Helle Hvid Hansen
15:00 - 15:30 BREAK and Meet on Gather
15:30 - 17:00 Panel on logic and experimental studies: A new paradigm or contradiction in terms?
Moderator:
Torben Braüner (Bio)
Torben Braüner is professor (mso) in Computer Science at Roskilde University, Denmark. He received the Danish higher doctorate dr.scient. 2009. PhD in Computer Science 1996 from University of Aarhus. His main research interest is logic and the application of logic in computing as well as philosophy and psychology. He is particularly interested in non-classical logics (mainly modal and hybrid logics). He has received grants from the Danish Natural Science Research Council and the Velux Foundation.
(Slides)
Other Panelists:
- Nina Gierasimczuk (Bio):
Nina Gierasimczuk, Ph.D., is an Associate Professor in Logic at the Department of Applied Mathematics and Computer Science (Technical University of Denmark) and a Visiting Fellow at the Institute for Logic, Language and Computation (University of Amsterdam). Her main research interests lie in the logical aspects of learning in both single- and multi-agent context, and involve learning theory, modal logic, and computability theory. Her current projects focus on symbolic learning in artificial intelligence in the context of action models, belief revision, multi-agent systems, and social networks. She is also interested in the coordination mechanisms involved in natural language evolution and in the role of logic and logical modelling in cognitive science. For more information see her website: http:/ninagierasimczuk.com/
Approximate number sense and semantic universals: an experimental simulation study
Languages vary in their systems of categories but the variation is constrained by several well-defined properties called universals. Explanations thereof have been sought in universal constraints of human cognition, communication, complexity, and pragmatics. In this walk we examine whether the perceptual constraints of approximate number sense (ANS) contribute to the development of two universals in the semantic domain of quantities: monotonicity and convexity. Using a state-of-the-art multi-agent language-coordination model, with the perceptual layer of agents substituted by the ANS, we evolve communicatively usable quantity terminologies. We compare the degrees of convexity and monotonicity of languages evolving with and without ANS. The results suggest that ANS supports the development of monotonicity and, to a lesser extent, convexity. This is a joint work with Dariusz Kalociński, Franciszek Rakowski and Jakub Uszyński. It was generously supported by N.G.’s National Science Centre Poland grant no. 2015/19/B/HS1/03292.
(Slides)
- Paula Quinon (Bio):

Paula Quinon is an assistant professor at the Department of Administration and Social Sciences of the Warsaw University of Technology, affiliated with the Chair of Philosophy and Ethics in Business and with International Center for Formal Ontology Paula Quinon's expertise includes philosophy of mathematics, philosophy of language, epistemology, logic, and cognitive science; she also holds a Master of Fine Arts degree.

Her research is in the philosophy of mathematics, in particular she studies the concept of natural number and other arithmetic concepts such as "arithmetic function", "recursive function", "computation", "computability", "encoding", "equality", "identity", and "infinity". For example, according to computational structuralism, to formulation of which Paula Quinon contributed significantly in her PhD, Tennenbaum’s theorem suggests that the concept of natural number and the concept of computation are strongly and inextricably intertwined.

The core cognition paradigm and foundations of logic, arithmetic, and computation

Spelke in “Core knowledge” (2000) put forward the idea that complex cognitive skills and concepts can be based on a set of “building block” systems (called also “core knowledge” or “core cognition” systems) that emerge early in human ontogeny, play an important role in phylogeny of concepts, and are detected in non-human animals. Humans combine representations from these systems and build new complex concepts. I call the “core cognition paradigm” a framework that commits to the view that the conceptual content of a concept is scaffolded on core cognition.

The concept of natural number has been studied extensively within this paradigm and it has been established that the ability to subitize up to four elements, the ability to approximate quantities without counting, and the counting routine, play important roles in the formation and acquisition of the concept of natural number. A similar endeavor is currently being undertaken with respect to logically complex representations (such as logical connectives, logical rules, or quantifiers) and to computational representations (such as computable functions).

Regardless of which building blocks will be disclosed as playing a role in the formation of mature complex representations, both in logic and in computation, it will be interesting to answer the question of whether the core cognition paradigm can in any way help in understanding the nuances of formal concepts.


- Niels Taatgen (Bio):
Niels Taatgen is professor in Cognitive Modeling, and the director of the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence. His work focusses on building models of human cognition in the areas of skill acquisition, time perception, multitasking and knowledge transfer. He received and ERC startin grant on the topic of multitasking in 2012, and was elected Teacher of the Year of the University of Groningen in 2015.
Cognitive architectures and predictive models
Cognitive architectures are formal systems that allow building simulations of human intelligent behavior. They encompass constraints derived from human cognition, such as memory, attention and decision making. Cognitive architectures are used to build cognitive models of particular cognitive phenomena, either to explain existing empirical data, or to make predictions about new data. I will illustrate this with an example in which we successfully predicted a bottleneck in human multitasking.
(Slides)
17:00 - 17:30 BREAK and Meet on Gather
17:30 - 18:30 Contributed talks
- Harshit Bisht and Amit Kuber. Aggregating Relational Structures (Slides)
- Patrick Blackburn, Torben Braüner and Julie Lundbak Kofod. A Note on Hybrid Modal Logic with Propositional Quantifers (Slides)
- Deepak D'Souza and Raveendra Holla. Equivalance of Pointwise and Continuous Semantics of FO with Linear Constraints (Slides)
- Deepak D'Souza and Raj Mohan Matteplackel. A Clock-Optimal Hierarchical Monitoring Automaton for MITL (Slides)
Chair: Mohua Banerjee
18:30 - 20:30 BREAK and Meet on Gather
20:30 - 21:30 Music Session: Instrumental
- Hans van Ditmarsch on Cello
- François Schwartzentruber on Piano
- Sourav Tarafder on Ghatam
- Amit Kuber on Keyboard
Chair: Sujata Ghosh
March 7, 2021 (Sunday)
14:00 - 15:00 Invited talk: Maria Aloni (Bio)
Maria Aloni is Associate Professor at the ILLC and Department of Philosophy of the University of Amsterdam. Her primary research interests lie in the areas of formal semantics and pragmatics, philosophical logic and philosophy of language. She was the PI of two Innovational Research Incentives Scheme Projects (VENI and VIDI) funded by the Dutch Organization for Scientific Research. Her VIDI project investigated indefinite forms cross-linguistically exploring the hypothesis that their variety in meaning has emerged from historical processes of conventionalisation of originally pragmatic inferences. She is associate editor of the Journal of Semantics, since 2009; member of the editorial board of Semantics and Pragmatics, since 2007, and elected member of the Academia Europaea in 2020. She also edited (with Paul Dekker) the Cambridge Handbook of Formal Semantics, which appeared in 2016. In 2001 her PhD thesis on quantification under conceptual covers won the E. W. Beth Dissertation Prize awarded by the Association for Logic, Language and Information (FoLLI).

A logic for pragmatic intrusion

In a state-based modal logic, formulas are interpreted with respect to sets of possible worlds rather than individual worlds. In my talk I will present a bilateral version of a state-based modal logic motivated by linguistic phenomena at the semantics-pragmatics interface, including phenomena of free choice.

In free choice inferences conjunctive meanings are derived from disjunctive sentences contrary to the prescriptions of classical logic:

You may eat pizza or pasta => You may eat pizza and you may eat pasta.

Free choice inferences present a challenge to the canonical divide between semantics and pragmatics. They are not validities in classical modal logic and although they are derivable by conversational principles, they lack other characteristic properties of canonical pragmatic inferences, they are often non-cancellable, they are sometimes embeddable and their processing time has been shown to equal that of literal interpretations.

In my bilateral state-based modal logic free choice and related inferences are derived by allowing pragmatic principles intrude in the recursive process of meaning composition. Contrary to most existing accounts where free choice inferences are viewed as special cases of quantity implicatures, the relevant pragmatic principle in our logic-based approach will be a version of Grice's Maxim of Quality.

(Slides)
Chair: Fenrong Liu
15:00 - 15:30 BREAK and Meet on Gather
15:30 - 16:30 Invited talk: Nick Bezhanishvili (Bio)
Nick Bezhanishvili obtained his PhD in 2006 from the ILLC (Institute for Logic, Language and Computation), University of Amsterdam, under the supervision of Professors Dick de Jongh and Yde Venema. He held postdoctoral positions at the University of Leicester (2006--2008), Imperial College London (2008--2012), and Utrecht University (2012--2013). Since 2014, Nick holds an Assistant Professorship at the ILLC. He is currently the president of the Dutch Association for Logic and Philosophy of Sciences. Nick has more than 80 publications in the top journals, refereed conference proceedings, and book chapters in his area of research, which is centered on applications of algebraic and topological methods in the study of non-classical logics (such as modal and intuitionistic logics). An important feature of this work is the theory of Stone-like dualities, which gives rise to topological and geometric semantics for intuitionistic and modal logics.

Polyhedral modal logic
Spatial logic studies various spatial structures though the prism of logic. The celebrated McKinsey-Tarski theorem states that if we interpret modal diamond as closure and hence modal box as interior, then S4 is the modal logic of any dense-in-itself metric space. In particular, this implies that the modal logic of each Euclidean space is S4. However, we can distinguish the logics of Euclidean spaces of different dimensions by restricting the valuation to polyhedral subsets, resulting in polyhedral semantics of modal logic. In this talk I will discuss this semantics in detail including some recent axiomatization and completeness results. I will also review some applications of this approach.
(Slides)
Chair: Soma Dutta
16:30 - 17:00 Contributed talks (Poster Session)
- Purbita Jana. L-Topology via Generalised Geometric Logic (Poster)
- Jieting Luo, Beishui Liao and John-Jules Meyer. Reasoning about the Robustness of Self-organizing Multi-agent Systems (WIP) (Poster)
- Anantha Padmanabha. Relative Expressive Powers of First Order Modal Logic and Term Modal Logic (Poster)
- Bama Srinivasan and Ranjani Parthasarathi. Multiple Task Specification inspired from Mīmāṃsā for Reinforcement Learning Models (Work in Progress) (Poster)
17:00 - 17:30 BREAK and Meet on Gather
17:30 - 18:30 ALI General Body Meeting
Chair: Sanjiva Prasad
18:30 - 19:15 Contributed talks
- Prosenjit Howlader and Mohua Banerjee. Double Boolean Algebras with Operators (Slides)
- Kaibo Xie and Jialiang Yan. A Logic for Instrumental Desire (Slides)
- Rohit Parikh. Covid-19 and Knowledge Based Computation (Slides)
Chair: Kamal Lodaya
19:15 - 20:30 BREAK and Meet on Gather
20:30 - 21:30 Music Session: Vocal
- Soma Dutta
- Amit Kuber
- Mohua Banerjee
- Abhisekh Sankaran
Chair: R. Ramanujam

News and updates