Embedded Files
March 13
"Classical recapture through modal logic" by Joao Marcos (UFSC)
March 20
"Classical recapture through modal logic" by Joao Marcos (UFSC)
March 27
"Classical recapture through modal logic" by Joao Marcos (UFSC)
April 3
(Holidays)
April 10
There is no meeting this week: Workshop on Truth and Recapture (April 9).
April 17
There is no RG meeting this week: Double WIP.
April 24
"Multiset consequence relations" by Damian Szmuc
May 1
(Holidays)
May 8
"Multiset consequence relations" by Damian Szmuc
May 15
"Multiset consequence relations" by Damian Szmuc
May 22
There is no meeting this week: Workshop on Proof Theory
May 29
"Multiset consequence relations" by Damian Szmuc
June 5
"Conditionals and consequence relations" by Edson Bezerra
June 12
"Conditionals and consequence relations" by Edson Bezerra
June 19
"Conditionals and consequence relations" by Edson Bezerra
June 26
"Conditionals and consequence relations" by Edson Bezerra
July 3
"The logic of entailment and its history" by Mariela Rubin
July 10
(Holidays)
July 17
"The logic of entailment and its history" by Mariela Rubin
July 24
"The logic of entailment and its history" by Mariela Rubin
July 31
"The logic of entailment and its history" by Mariela Rubin
August 7
There is no meeting this week: XV Workshop on Philosophical Logic
August 14
Discussion of Mancosu, Galvan, and Zach's An Introduction to Proof Theory (Chs. 1, 5 and 6). Led by Lucas Rosenblatt.
August 21
Discussion of Mancosu, Galvan, and Zach's An Introduction to Proof Theory (Ch. 7). Led by Camila Gallovich.
August 28
Discussion of Mancosu, Galvan, and Zach's An Introduction to Proof Theory. Led by Camila Gallovich (Ch. 7 - Cont.) and Victor Valderrama (Ch. 8).
September 4
Discussion of Mancosu, Galvan, and Zach's An Introduction to Proof Theory. Led by Victor Valderrama (Ch. 8 - Cont.) and Jonathan Erenfryd (Ch. 9).
September 11
"Introduction to Non-deterministic matrices" by Bruno Da Ré
September 18
"Non-deterministic matrices and sequent calculi" by Bruno Da Ré
September 25
"Non-deterministic matrices and modal sequent calculi" by Bruno Da Ré
October 2
"Non-deterministic matrices: final remarks" by Bruno Da Ré
October 9
"The Logic of Fast and Slow Thinking" (Berto/Solaki/Smets)
October 16
"Reasoning with negations" (Berto/Restall)
October 23
LLMs and Transitive Reasoning
"Conditional and modal reasoning in large language models". Holliday, W. H., Mandelkern, M., & Zhang, C. E. (2024, November). Conditional and modal reasoning in large language models by Pablo Vazquez Solano
October 30
LLMs and Transitive Reasoning
"Logicbench: Towards systematic evaluation of logical reasoning ability of large language models" Parmar, M., Patel, N., Varshney, N., Nakamura, M., Luo, M., Mashetty, S., ... & Baral, C. (2024, August). by Nanu
November 6
LLMs and Transitive Reasoning
"Benchmarking LLM Competence on Logical Inference over Probability Operators" Hasan, N., Greff, J., & Grissom II, A. (2026) by Tomás Gomez
November 13
Workshop on AI: LLMs, Reasoning, Mind and Natural Language.
November 20
TBA Joaquín Toranzo
November 27
December 4
December 11
December 18
Page updated
Google Sites
Report abuse