HOME

Date: 16-17 June 2021
Venue: Institut für Logic and Computation, TU Wien, Austria.
Invited speakers: Alessio Guglielmi, Dale Miller, Valeria de Paiva, Elaine Pimentel
Organizers: Agata Ciabattoni, Tim Lyon, Nicola Olivetti, Revantha Ramanayake
Note: The Seventh TICAMORE meeting will be held virtually.

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.