Mosaic Workshop 2023

MOSAIC 2023 invites submissions on a variety of topics on non-classical logics and their applications, with special emphasis on modal substructural logics.

We invite contributions on relevant aspects of non-classical logics, such as:

  • Proof Theory and complexity;
  • Algebraic Semantics;
  • Relational frames and structural properties;
  • Coalgebras, Correspondence theory;
  • Fixpoint logics;
  • Logics for reasoning about norms, time, preferences, uncertainty;
  • Automated Deduction;
  • Applications of non-classical logics.

The workshop is an event of the RISE-MSCA project MOSAIC.

Workshop Webpage