The paper outlines a generalisation of the awareness-based epistemic semantics by Fagin and Halpern. Awareness is construed as a relation between agents and pieces of information instead of formulas. The main motive for introducing the generalisation is that it shows substructural logics to be a natural component of information-based epistemic logic: substructural logics can be seen as describing the logical behaviour of pieces of information. Substructural epistemic logics are introduced and some of their properties are discussed. In addition, extensions of substructural epistemic logics invoking group-epistemic and dynamic modalities are sketched. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Sedlár, I. (2013). Information, awareness and substructural logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8071 LNCS, pp. 266–281). Springer Verlag. https://doi.org/10.1007/978-3-642-39992-3_23
Mendeley helps you to discover research relevant for your work.