Logic List Mailing Archive

CfP: 3rd Workshop on Relating Logic, within: 22.-26. September 2025, Toruń (Poland)

###CfP###

3rd Workshop on Relating Logic

Toruń, Poland, September (during Polish Congress of Logic), 2025

The Workshop follows the conference Polish Congress of Logic organized by the Polish Association of Logic and Philosophy of Science, which will take place on September 22-26, 2025, at the Nicolaus Copernicus University in Toruń.

Webpage of PCL: https://logika.net.pl/language/en/call-for-papers/

***
What is relating logic?

Relating logic is any logic in which, when determining the truth conditions of complex sentences, the relation that binds the sentence is taken into account due to the existence of various types of
connections: content connection (analyticity, relevance, etc.), causality, temporal order, preference order, etc. See Jarmużek and Paoli 2021, 2022, Klonowski 2021, cf. Fazio and Mascella 2023.

The paradigmatic example of relating logic is Richard Epstein's content relationship logic (see Epstein 1979, 1990, cf. Dunn 1972, Gӓrdenfors 1978):
+ relatedness logics: S and R,
+ dependence logics: D, DD, EEq.
Logic D is another formulation of Parry's demodalized analytic implication logic, which was defined by Jon Michael Dunn (logic DAI).  
See Dunn 1972, cf. Ferguson 2017, Ledda, Paoli and Pra Baldi 2019, Zamperlin 2025.

Other examples:
+ logic of free choice permission operators defined by relating
implication (see Glavanicova et al. 2023),
+ logic of `brings it about that' operators defined by relating
conjunction (see Jarmużek et al. 2024),
+ Boolean connexive logic (see Jarmużek and Malinowski 2019).

***
Keynote speakers

Davide Fazio (University of Teramo)
Francesco Paoli (University of Cagliari) Andrew Tedder (Ruhr University Bochum)

***
Scope

Any papers related to relating logic are welcome. Topics of interest include (but are not limited to) the following:

- model theory of relating logic,
- proof theory for relating logic,
- algebraic interpretations of relating logic,
- modal extensions of relating logic,
- applications of relating semantics,
- axiomatization of logics defined through relating semantics,
- relating semantics as an alternative semantics for logic,
- philosophical logic defined by relating semantics (reduction of various logical connectives to relating connectives),
- comparison of relating semantics with other formal semantics,
- the combination of relating semantics with other formal semantics,
- philosophical foundations of relating logic,
- history of relating logic,
- other related topics (dependence logic, set-assignment semantics, etc.)

***
Submission

Please send your submission to the email address:  
ptlifn.sekretarz@gmail.com with the note: WRL3.

***
Important dates

Paper submission deadline: 25 June, 2025 Notification of results: 30 June, 2025
Workshop: September (during PCL), 2025

***
Workshop organizers

Mateusz Klonowski (Nicolaus Copernicus University in Toruń) Jacek Malinowski (Polish Academy of Sciences)

###CfP###

Sincerely yours,
Mateusz Klonowski

Department of Logic
Faculty of Philosophy and Social Sciences Nicolaus Copernicus University in Toruń Poland http://www.home.umk.pl/~mateusz.klonowski/

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php