Information, awareness and substructural logics

In Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz, Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071). Springer. pp. 266-281 (2013)
  Copy   BIBTEX

Abstract

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.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,506

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
An Outline of a Substructural Model of BTA Belief.Igor Sedlar - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):160-170.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Epistemic models, logical monotony and substructural logics.Mikaël Cozic - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser, The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 11--23.
Synthesized substructural logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.

Analytics

Added to PP
2015-12-21

Downloads
25 (#975,871)

6 months
9 (#444,746)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Igor Sedlár
Czech Academy of Sciences

Citations of this work

Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.

Add more citations

References found in this work

No references found.

Add more references