NEW! View slides in Program tab

Date: 14-16 March 2017
Venue: Wolfgang Pauli Institute - Oskar-Morgenstern-Platz 1, 1090 Vienna. 8th floor (room No. 08.135). Austria.

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.