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 available as:
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
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.
Document type
Book Section
Creators
Keywords
epistemic modalities
quantified epistemic logic
Subjects
DOI
Deposit date
12 Sep 2013 10:50
Last modified
01 Oct 2013 10:14
URI
Other metadata
Document type
Book Section
Creators
Keywords
epistemic modalities
quantified epistemic logic
Subjects
DOI
Deposit date
12 Sep 2013 10:50
Last modified
01 Oct 2013 10:14
URI
Downloads
Downloads
Staff only: