Logic List Mailing Archive

CfR: Applications of Logic, 2 December, Bartislava (Slovakia)

Dear Colleagues,
The Institute of Philosophy of the Slovak Academy of Sciences will host the
 workshop "Applications of Logic" on December 2, 2024. The workshop aims at
 gathering a group of international researchers working in an independent w
ay on the use of logic in various domains of reasoning, including: normativ
e theories, economics, argumentation theory, probability theory, metaphysic
s, philosophy of language, naturallanguage semantics, conditionals and s
et theory.

The full workshop program is specified at the bottom of this message. If yo
u would like to participate in the workshop, please send an email to the fo
llowing address by November 29:
matteo.pascucci@savba.sk

With best regards,
Matteo Pascucci

APPLICATIONS OF LOGIC - Bratislava - December 2, 2024
10.00-10.20 welcome coffee break
10.20 -10.30 Introduction10.30-11.10 Elio La Rosa (Ludwig Maximilian Univer
sity Munich), "Unrestricted Connexivity in Choice-functional Frames, over C
lassical Logic"
11.10-11.50 Maja Malec (University of Ljubljana),"Metaphysical Modality 
and Possible Worlds Semantics"
11.50-12.10 coffee break
12.10-12.50 Alexander Linsbichler (Johannes Kepler University Linz), "Forma
l Methods in
(Austrian) Economics: a Revisionist Account of Carl Menger's Position"
12.50-13.30 Milos Kosterec (Slovak Academy of Sciences), "The central incoh
erence in TIL"
13.30-14.40 lunch break
14.40-15.20 Igor Sedlr (Czech Academy of Sciences), "Probability and mod
al logic"
15.20-16.00 ZuzanaRybakov (University of Ostrava), "Formulation
 of Polish Logical Terminology"
16.00-16.20 coffee break
16.20-17.00 Amitayu Banerjee(Alfrd Rnyi Institute of Mathematics),
 "Remarks on Brooks'
Theorem for infinite graphs (with and without the Axiom of Choice)"
17.00-17.40 Luca San Mauro (University of Bari), "On the complexity of infi
nite argumentation"
17.40-18.00 Final thoughts



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