Logic and Logical Philosophy 21 (1):33-51 (2012)

Authors
Krystyna Misiuna
University of Warsaw
Abstract
We consider modal epistemic and doxastic logics as intuitively inadequate logics of information, and we outline a modal system of the operator being informed that which avoids inconsistency with our intuitive concept of information. The system has modal structure of the normal modal logic K4, and is sound and complete on the class of all transitive frames. We compare this logic with Floridi’s KTB information logic, and we consider a possibility of extending our system to a dynamic logic
Keywords dynamic logic  Kripke model  doxastic logic  information  epistemic logic  completeness
Categories (categorize this paper)
DOI 10.12775/LLP.2012.003
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,078
Through your library

References found in this work BETA

Knowledge and the Flow of Information.F. Dretske - 1989 - Trans/Form/Ação 12:133-139.
Knowledge and the Flow of Information.Fred I. Dretske - 1981 - Revue Philosophique de la France Et de l'Etranger 175 (1):69-70.
A Mathematical Theory of Communication.Claude E. Shannon - 1948 - Bell System Technical Journal 27:379–423.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

O pewnej logice informacji.Krystyna Misiuna - 2011 - Filozofia Nauki 19 (1).
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Is There a Logic of Information?Gregory Wheeler - 2015 - Journal of Theoretical and Applied Artificial Intelligence 27 (1):95-98.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
Reasoning About Information Change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.

Analytics

Added to PP index
2013-11-24

Total views
412 ( #23,385 of 2,498,897 )

Recent downloads (6 months)
1 ( #421,180 of 2,498,897 )

How can I increase my downloads?

Downloads

My notes