Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus allowing to reason about modes of truth

Project

Overview

Contributor

GERLA BRUNELLA   Scientific Manager  

Representatives

AUCIELLO RAFFAELE   Administrative  

Leading department

Term type

Progetti di ricerca UE - Programmi Quadro

Financier

European Commission - Research Executive Agency

Leader

Agencia Estatal Consejo Superior de Investigaciones Cientificas (CSIC)

Partner (3)

UNIVERSITAT DE BARCELONA
Università degli Studi dell'Insubria
Università degli Studi di SALERNO

Total Contribution (assigned) University (EUR)

4,600€

Date/time interval

September 1, 2021 - August 31, 2025

Project duration

48 months

Research Fields

Concepts (2)

Keywords

Modal logics
No Results Found