Substructural and modal logics

Most active in this area

• LA TROBE UNIVERSITY

  Australian university contributing specialist expertise in mathematical logic, nanomaterial safety informatics, digital law, and community health to European research consortia.

  “Sustained involvement across SYSMICS (syntax-semantics methods), CHiPS (structure preservation), and MOSAIC (modalities in substructural logics) spanning 2016-2026.”

  PrimaryAU7 projects
• UNIVERSITY OF DENVER COLORADO SEMINARY

  US research university contributing expertise in mathematical logic and political science to European MSCA mobility programmes.

  “Core contributor to both SYSMICS (2016-2019) and MOSAIC (2021-2026), focusing on proof theory, residuated lattices, Kripke semantics, and duality theory.”

  PrimaryUS5 projects
• The Regents of New Mexico State University

  US land-grant university contributing specialist expertise in substructural/modal logics and gypsum-soil ecosystem ecology to MSCA-RISE staff-exchange consortia.

  “Partner in both SYSMICS (2016-2019) and its successor MOSAIC (2021-2026), covering proof theory, residuated lattices, Kripke semantics and applied logic.”

  PrimaryUS3 projects
• USTAV INFORMATIKY AV CR

  Czech Academy institute specializing in mathematical logic, proof theory, and formal reasoning with emerging applications in computational linguistics and algorithms.

  “Central theme in both SYSMICS (syntax-semantics connections) and MOSAIC (modalities in substructural logics with applications).”

  PrimaryCZ3 projects
• UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE

  Brazilian federal university offering tropical South Atlantic marine climate expertise and formal mathematical logic capacity to European research consortia.

  “UFRN is a partner in MOSAIC (2021–2026), an MSCA-RISE project on modalities in substructural logics covering proof theory, residuated lattices, Kripke semantics, duality theory, and coalgebras.”

  PrimaryBR2 projects