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.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.