1st WITCH

First Workshop on Interdisciplinary Topics in Consequence and Hypothetical reasoning.

July 21st to 23rd, 2025, from 1:30pm to 6pm.

Selvino Assmann room, UFSC, Florianópolis.

---

The First Workshop on Interdisciplinary Topics in Consequence and Hypothetical reasoning aims to bring together researchers working on logic across a variety of disciplines. The workshop’s primary focus is the rigorous exploration of consequence and hypothetical reasoning from diverse perspectives.

Our central objective is to foster a collaborative and intellectually stimulating environment—one where participants can share ongoing work, engage in forward-looking discussions, and build meaningful connections. We hope to facilitate the discovery of synergies between different methodologies and viewpoints, encouraging innovative responses to the complex challenges posed by reasoning.

We are convinced that the cross-pollination of ideas among philosophy, mathematics, computer science, and linguistics will significantly deepen our understanding of logic and its wide-ranging applications.

---

Program	July 21st	July 22nd	July 23rd
1:30pm-2:10pm	Guilherme Toledo: Theory combination, an overview	Uiara Nunes: Free choice effect and the distribution requirement	Jéssica Melo: From Influence to Rupture: Quine’s role in the debate on logical anti-exceptionalism
2:10pm-2:50pm	Guilherme Toledo: Theory combination, an overview	Daniel Laureano: Some Medieval Modal Conjectures in First Order Modal Logic	Mikael Bombassaro: The Pressupositions of tense-logics
2:50pm-3:30pm	Guilherme Toledo: Theory combination, an overview	Gustavo H. Damiani: Varying Domain Models for Hybrid Logics	Rafael Ongaratto: Epistemic Paraconsistent Logics
3:30pm-4pm	Break	Break	Break
4pm-4:40pm	Karina Roggia: “Too theoretical” – thinking about logic in Computer Science	Caio Silvano: Why adding modalities to a quantum logic is possibly a good idea	Luiz Gustavo Cordeiro: Quotients of first-order relational structures
4:40pm-5:20pm	Elian Babireski: On modalities and effectful computations	Miguel Nunes: Obtaining Modal Paraconsistent Logics by Means of Combinations of Logics	Vithor Kraisch: Formalizing First Order Logic with equality in Isabelle/HOL
5:20pm-6pm	Matheus Rui: Considerations about Epistemic Logic with Quantification	Rodrigo Stefanes: Dynamic Logic and Non-rigid designators	Helena Tannuri: Implementing a library for the LFI1 logic in Rocq

---

Organizers

---

E-mail: <witch.organizers@gmail.com>