Search CORE

244 research outputs found

A Uniform Completeness Theorem for Quantified Modal Logics

Author: Corsi Giovanna
Publication venue
Publication date: 21/08/2013
Field of study

Almae Matris Studiorum Campus

"Necessary for"

Author: Corsi Giovanna
Publication venue
Publication date: 21/08/2013
Field of study

Almae Matris Studiorum Campus

A New Approach to Epistemic Logic

Author: Corsi Giovanna
Publication venue
Publication date: 21/08/2013
Field of study

Almae Matris Studiorum Campus

"La logica dell'infinito" di Henri Poincare', 1912.

Author: Corsi Giovanna
Publication venue
Publication date: 22/07/2009
Field of study

Almae Matris Studiorum Campus

Esercizi Tarski's world prima parte

Author: Corsi Giovanna
Publication venue
Publication date: 19/10/2017
Field of study

Almae Matris Studiorum Campus

Test autovalutazione formalizzazioni dic 2017

Author: Corsi Giovanna
Publication venue
Publication date: 11/12/2017
Field of study

Almae Matris Studiorum Campus

Forma normale prenessa

Author: Corsi Giovanna
Publication venue
Publication date: 16/12/2017
Field of study

Almae Matris Studiorum Campus

Tarski's world I

Author: Corsi Giovanna
Publication venue
Publication date: 15/10/2014
Field of study

Almae Matris Studiorum Campus

La logica modale della dimostrabilità

Author: Corsi Giovanna
Publication venue
Publication date: 27/03/2017
Field of study

Almae Matris Studiorum Campus

…

core

core