Information, awareness and substructural logics

In Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz (eds.), 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



    Upload a copy of this work     Papers currently archived: 100,607

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.
Epistemic models, logical monotony and substructural logics.Mikaël Cozic - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 11--23.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Synthesized substructural logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.

Analytics

Added to PP
2015-12-21

Downloads
17 (#1,138,631)

6 months
3 (#1,464,642)

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