Externí odkazy

MOSAIC Modalities in Substructural Logics: Theory, Methods and Applications

[WWW] 2021 - 2024

Modální logiky jsou formální systémy, rozšiřující expresivitu klasické logiky o možnost usuzovat o "modech" pravdivosti prostřednictvím modalit. Navrhovaný projekt se zaměřuje na systematické zkoumání modálních logik, založených na logikách substrukturálních, které jsou obecně deduktivně slabší než logika klasická. Projektu se soustředí také na aplikace substrukturálních modálních logik za hranicemi matematické logiky, zejména v reprezentaci znalostí, právním usuzování, soukromí a bezpečnosti dat a logické analýze jazyka. Jedná se o 4-letý projekt rámce H2020-MSCA-RISE-2020: Research and Innovation Staff Exchange.