Chair: Ana Sokolova

• 16:00: Marianna Girlando, Marianela Morales. MOILab: towards a labelled theorem prover for intuitionistic modal.
• 16:20: Mariela Rubin. “Probabilistic coherence and bilateralism”.
• 16:40: Sonia Marin, Luiz Carlos Pereira, Elaine Pimentel, Emerson Sales. “Ecumenical modal logic”.
• 17:00: Sara L. Uckelman. “What Problem Did Ladd-Franklin (Think She) Solve(d)?”.
• 17:20: Kristin Yvonne Rozier. “Temporal Logic Satisfiability From Specification Debugging to Benchmark Generation”.