A New Approach to Epistemic Logic

Corsi, Giovanna ; Tassi, Gabriele (2014) A New Approach to Epistemic Logic. DOI 10.6092/unibo/amsacta/3746. In: Logic, Reasoning and Rationality. A cura di: Meheus, Joke ; Weber, Herik ; Wouters, Dietlinde. Springer, .
Full text disponibile come:
[thumbnail of Epistemic_Corsi_Tassi_Ghent.pdf]
Anteprima
Documento PDF
Licenza: Creative Commons Attribution Non-commercial 3.0 (CC BY-NC 3.0)

Download (330kB) | Anteprima

Abstract

A new language for epistemic logic is introduced in which the epis- temic operators are of the form j x : x1 : : : xnj with the intended read- ing \x knows of x1 : : : xn that ...". Analogously we can express \t knows of t1 : : : tn that ... ", where t; t1 : : : tn are terms. An advantage of this approach is that we can quantify on the agents, \every y knows of x1 : : : xn that A" or \some expert knows of t1 : : : tn that A" can easily be expressed. The semantics we present for this language is a generalization of the transition semantics, called epistemic transition semantics in which the possible worlds are states of affairs compatible with the epistemic state of some agent. A calculus is presented and shown to be complete with respect to epistemic transition semantics.

Abstract
Tipologia del documento
Estratto da libro
Autori
AutoreAffiliazioneORCID
Corsi, Giovanna
Tassi, Gabriele
Parole chiave
epistemic modalities quantified epistemic logic
Settori scientifico-disciplinari
DOI
Data di deposito
12 Set 2013 10:50
Ultima modifica
01 Ott 2013 10:14
URI

Altri metadati

Statistica sui download

Statistica sui download

Gestione del documento: Visualizza il documento

^