Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

A modal logic of information
  • Home
  • /
  • A modal logic of information
  1. Home /
  2. Archives /
  3. Vol. 21 No. 1 (2012): March /
  4. Articles

A modal logic of information

Authors

  • Krystyna Misiuna University of Warsaw

DOI:

https://doi.org/10.12775/LLP.2012.003

Keywords

information, epistemic logic, doxastic logic, Kripke model, completeness, dynamic logic

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.

References

Bar-Hillel, Y., 1953–55, “Information and content: A semantic analysis”, Synthese 9: 299–305.

van Benthem, J., 2009, “Actions that make us know”, pages 129–146 in: New Essays on the Knowability Paradox, J. Salerno (ed.), Oxford: Oxford University Press.

van Benthem, J., and M. Martinez, 2008, “The stories of logic and information”, pages 217–280 in: Philosophy of Information, P. Adriaans and J. van Benthem (eds.), Amsterdam: Elsevier.

Dretske, F., 1981, Knowledge and the Flow of Information, Cambridge, MA: MIT Press.

Dretske, F., 2008, “Epistemology and information”, pages 29–47 in: Philosophy of Information, P. Adriaans and J. van Benthem (eds.), Amsterdam: Elsevier.

Dunn, J.M., 2008, “Information in computer science”, pages 581–608 in: Philosophy of Information, P. Adriaans and J. van Benthem (eds.), Amsterdam: Elsevier.

Fetzer, J.H., 2004, “Information. Does it have to be true?”, Minds and Machines 14: 223–229.

Floridi, L., 2006, “The logic of being informed”, Logique et Analyse 196: 433–460.

Hintikka, J., 1962, Knowledge and Belief, Ithaca: Cornel University Press.

Misiuna, K., 2010, “O wartości prawdy” (“On the value of truth” in Polish), Przegląd Filozoficzny 73: 197–216.

Shannon, C.E., 1948, “A mathematical theory of communication”, Bell System Technical Journal 27: 379–423 and 623–656.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2012-03-15

How to Cite

1.
MISIUNA, Krystyna. A modal logic of information. Logic and Logical Philosophy. Online. 15 March 2012. Vol. 21, no. 1, p. 33–51. [Accessed 17 June 2025]. DOI 10.12775/LLP.2012.003.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 21 No. 1 (2012): March

Section

Articles

Stats

Number of views and downloads: 730
Number of citations: 1

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

information, epistemic logic, doxastic logic, Kripke model, completeness, dynamic logic
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop