2nd Workshop on Relating Logic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Cagliari, Italy, 22–23 July 2022

 Friday, 22.07

9.00-9.15

Opening

Jacek Malinowski

 

9.15-10:15

Alessandro Giordani

Relating Semantics for Explicit Epistemic Logic

Invited talk

Francesco Paoli

(chairman)

10.15-11.00

Tomasz Jarmużek

Few Remarks on Axiomatization of Relating Properties

Francesco Paoli

(chairman)

11.00-11.30

Coffee break

 

 

11.30-12.15

Daniela Glavaničová,

Matteo Pascucci

Truth in Fiction and Relating Logic 

(online)

Francesco Paoli

(chairman)

12.15-13.00

Piotr Kulicki

Logic of Agency and Relating Semantics

Francesco Paoli

(chairman)

13.00-14.30

Lunch break

 

 

14.30-15.30

Hitoshi Omori 

On Relating Semantics and Connexive Logic

Invited talk

Davide Fazio

(chairman)

15.30-16.15

Nils Kürbis

Relating Semantics with Incompatibility

Davide Fazio

(chairman)

16.15-16.45

Coffee break

 

 

16.45-17.30

Luis Estrada-González, 

Mateusz Klonowski

Boolean Connexive Logic and Content Relationship

(online)

Davide Fazio

(chairman)

17.30-18.15

Ricardo Arturo Nicolás Francisco

Reconsidering Superconnexivity in Boolean Connexive Logics

(online)

Davide Fazio

(chairman)

18.15-19.00

Aleksander Parol

Relating Semantics in Application to Boolean Connexive Logics Closed Under Negation and Demodalization

(online)

Davide Fazio

(chairman)

 

Saturday, 23.07

9.15-10.15

Marek Nasieniewski 

On Compatible Propositional Systems

Invited talk

Jacek Malinowski

(chairman)

10.15-11.00

Andrzej Indrzejczak

Relating Logics - Cut-Free Formalization and the Interpolation Theorem

Jacek Malinowski

(chairman)

11.00-11.30

Coffee break

 

 

11.30-12.15

Maria Martínez-Ordaz

Abductivism About Relating Logics: The Case of Scientific Understanding

(online)

Jacek Malinowski

(chairman)

12.15-13.00

 Tomasz Jarmużek 

Non-Orthodox and Orthodox Strategies in Tableau Metatheory for Relating Logic

Jacek Malinowski

(chairman)

13.00-13.15

Closing

 

 

 

2nd Workshop on Relating Logic ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Cagliari, Italy, 22–23 July 2022