HOME

Date: 5-6 October 2020
Venue: Seminar room at FRIIAM, Campus St-Charles, 2nd floor. Marseilles
Invited speakers: Wesley Fussner, Dov Gabbay, Marianna Girlando, Rajeev Goré, Emiliano Lorini, Xavier Parent, Lutz Strassburger, Leon Van der Torre
Organizers: Charles Grellois, Nicola Olivetti, Vincent Risch, Luigi Santocanale

Note: The workshop will be help in hybrid form, where some participants are physically present and others are online.

TICAMORE Aim and Scope

The overall aim of the Ticamore project is to systematically study the relationships between internal and external calculi for several families of important logics (classical, intuitionistic and epistemic modal logics, substructural logics, bunched implication logics and their modal extensions, conditional logics). Further aims include the construction of new internal calculi for logics of interest with the intention of investigating properties including decidability and complexity, conservativity, axiomatisations and interpolation; the development of prototype implementations of various calculi for countermodel generation and practical tools to automate the translation of proofs between calculi.