BayLogic - DynamicLogic (Re)Loaded

The Dynamic Logics (Reloaded) project has been selected as a STIC-AmSud project for the years 2024 and 2025 (postponed to 2026), as a collaboration between international research teams.

Talks

• Bruno Lopes (IC/UFF)
  Truth-tables for Propositional Intuitionistic Logic (paper)
• Carlos Areces (Universidaded Nacional de Córdoba)
  A Tableau Calculus for Hybrid XPath with Data
• Edward Hermann Haeusler (DI/PUC-Rio)
  On Quantum Certificates for Tautologies in Minimal Propositional Logic
• Fenrong Liu (Tsinghua University)
  A Quick Introduction to Research Topics at Tsinghua
• Fengxiang Cheng (University of Amsterdam)
• Mario Benevides (IC/UFF)
  Towards Efficient Fragment of PDL (paper)