Proof-theoretic aspect of various logics for knowledge and belief are investigated. The method of labelled sequent calculi is applied to dynamic epistemic logic and to the analysis of the Fitch paradox of knowability.

Proof theory of epistemic logics / P. Maffezioli. - (2012).

Proof theory of epistemic logics

MAFFEZIOLI, PAOLO
2012

Abstract

Proof-theoretic aspect of various logics for knowledge and belief are investigated. The method of labelled sequent calculi is applied to dynamic epistemic logic and to the analysis of the Fitch paradox of knowability.
2012
P. Minari
ITALIA
P. Maffezioli
File in questo prodotto:
File Dimensione Formato  
DottoratoTesi.pdf

accesso aperto

Tipologia: Tesi di dottorato
Licenza: Open Access
Dimensione 775.96 kB
Formato Adobe PDF
775.96 kB Adobe PDF

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/680290
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact